Grants per year
Personal profile
Education/Academic qualification
PhD, Rice University
… → 2002
Computer Science, Mathematics, BS, Carnegie Mellon University
… → 1995
Research interests
- Contracts
- Program development environments
- Programming languages
- Tools to help semantics engineers
Fingerprint
Dive into the research topics where Robby Findler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Grants
- 9 Finished
-
-
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
Findler, R., Belknap, S. M. & West, D. P.
9/1/15 → 8/31/18
Project: Research project
-
Participant Support Costs for CI-EN: Collaborative: Run Your Research with Redex
8/1/14 → 7/31/17
Project: Research project
-
Research Output
-
Sound and Complete Concolic Testing for Higher-order Functions
You, S. H., Findler, R. B. & Dimoulas, C., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 635-663 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Does blame shifting work?
Lazarek, L., King, A., Sundar, S., Findler, R. B. & Dimoulas, C., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 65.Research output: Contribution to journal › Article › peer-review
Open Access -
Dynamic property caches: A step towards faster JavaScript proxy objects
Serrano, M. & Findler, R. B., Feb 22 2020, CC 2020 - Proceedings of the 29th International Conference on Compiler Construction. Pouchet, L-N. & Jimborean, A. (eds.). Association for Computing Machinery, Inc, p. 108-118 11 p. (CC 2020 - Proceedings of the 29th International Conference on Compiler Construction).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
A calculus for esterel
Florence, S. P., You, S. H., Tov, J. A. & Findler, R. B., Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 61.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
A calculus for Esterel: if can, can. if no can, no can
Florence, S. P., You, S-H., Tov, J. A. & Findler, R., 2019, Proceedings of the ACM on Programming Languages: POPL 2019. Vol. 3. 61Research output: Chapter in Book/Report/Conference proceeding › Conference contribution