• 1716 Citations
19952020

Research output per year

If you made any changes in Pure these will be visible here soon.

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 Robert Findler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Grants

ICFP PLMW support 2016

Findler, R.

National Science Foundation

5/1/164/30/17

Project: Research project

  • Research Output

    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 proceedingConference 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. 61

    Research output: Chapter in Book/Report/Conference proceedingConference 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 journalArticle

  • 4 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 journalArticle

    2 Scopus citations

    A programmable programming language

    Felleisen, M., Findler, R., Flatt, M., Krishnamurthi, S., Barzilay, E., McCarthy, J. & Tobin-Hochstadt, S., Mar 2018, In : Communications of the ACM. 61, 3, p. 62-71 10 p.

    Research output: Contribution to journalArticle

    14 Scopus citations