If you made any changes in Pure, your changes 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.

  • 7 Similar Profiles
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Functional programming Engineering & Materials Science
Object oriented programming Engineering & Materials Science
Interoperability Engineering & Materials Science
Students Engineering & Materials Science
Timing circuits Engineering & Materials Science
Linguistics Engineering & Materials Science

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

Grants 2009 2021

ICFP PLMW support 2016

Findler, R.

National Science Foundation


Project: Research project

computer science
Computer programming languages
Computer science
Software design
Software reliability
Computer programming languages
Static analysis
Computer programming languages
Static analysis

Research Output 1995 2019

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

Nuclear power plants
Networks (circuits)
3 Citations (Scopus)

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

Acoustic waves
1 Citation (Scopus)

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

11 Citations (Scopus)

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

Computer programming languages

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