• 1700 Citations
1995 …2021

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.

  • 2 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

    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

    1 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

    11 Scopus citations

    Collapsible Contracts: Fixing a Pathology of Gradual Typing

    Feltey, D., Greenman, B., Scholliers, C., Findler, R. & St Amour, V., 2018, Proceedings of the ACM on Programming Languages 2018. Vol. 2 (OOPSLA). 133

    Research output: Chapter in Book/Report/Conference proceedingConference contribution