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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Grants
-
CRI: CI-SUSTAIN: Racket on Alternative Platforms
Northeastern University, National Science Foundation
9/1/18 → 8/31/21
Project: Research project
-
-
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
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
-
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 Access -
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
-
How to evaluate the performance of gradual type systems
Greenman, B. E. N., Takikawa, A. S. U. M. U., New, M. S., Feltey, D., Findler, R., Vitek, J. A. N. & Felleisen, M., Jan 1 2019, In: Journal of Functional Programming.Research output: Contribution to journal › Article › peer-review
7 Scopus citations -
A Coq library for internal verification of running-times
McCarthy, J., Fetscher, B., New, M. S., Feltey, D. & Findler, R., Oct 15 2018, In: Science of Computer Programming. 164, p. 49-65 17 p.Research output: Contribution to journal › Article › peer-review
3 Scopus citations