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.

  • 4 Similar Profiles
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Functional programming Engineering & Materials Science
Object oriented programming Engineering & Materials Science
Students Engineering & Materials Science
Interoperability Engineering & Materials Science
Linguistics Engineering & Materials Science
Timing circuits 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

5/1/164/30/17

Project: Research project

programming
career
computer science
student
travel
Computer programming languages
Computer science
Software design
DSL
Software reliability
Computer programming languages
Costs
Semantics
Static analysis
Students
Computer programming languages
Semantics
Static analysis
Students
Testing

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

Semantics
Nuclear power plants
Wire
Networks (circuits)
2 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

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

7 Citations (Scopus)

A programmable programming language

Felleisen, M., Findler, R., Flatt, M., Krishnamurthi, S., Barzilay, E., McCarthy, J. & Tobin-Hochstadt, S., Mar 1 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

Pathology
Costs
Redundancy
Experiments