Grants per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
PhD, Rice University
… → 2002
Computer Science, Mathematics, BS, With honors, Carnegie Mellon University
… → 1995
Research interests keywords
- Contracts
- Program development environments
- Programming languages
- Tools to help semantics engineers
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
FMitF: Track II: Contracts for JavaScript
Findler, R. (PD/PI)
6/1/24 → 6/30/26
Project: Research project
-
CISE-ANR: CCF: Retrofit: Bringing Esterel out of its Shell
Findler, R. (PD/PI)
7/1/25 → 6/30/28
Project: Research project
-
CRI: CI-SUSTAIN: Racket on Alternative Platforms
Findler, R. (PD/PI)
Northeastern University, National Science Foundation
9/1/18 → 8/31/22
Project: Research project
-
-
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
Findler, R. (PD/PI), Belknap, S. M. (Co-PD/PI) & West, D. P. (Co-PD/PI)
9/1/15 → 8/31/18
Project: Research project
-
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)
Serrano, M. & Findler, R. B., Aug 15 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, 242.Research output: Contribution to journal › Article › peer-review
Open Access -
Rhombus: A New Spin on Macros without All the Parentheses
Flatt, M., Allred, T., Angle, N., De Gabrielle, S., Findler, R. B., Firth, J., Gopinathan, K., Greenman, B., Kasivajhula, S., Knauth, A., McCarthy, J., Phillips, S., Porncharoenwase, S., Søgaard, J. A. & Tobin-Hochstadt, S., Oct 16 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 242.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations -
Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters
Hoeflich, J., Findler, R. B. & Serrano, M., Oct 31 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, 142.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Sound and Complete Concolic Testing for Higher-order Functions
You, S. H., Findler, R. B. & Dimoulas, C., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 635-663 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
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 Access5 Scopus citations
Datasets
-
icfp2024-sudoku
Findler, R. B. (Contributor) & Serrano, M. (Contributor), ZENODO, Jul 22 2024
DOI: 10.5281/zenodo.12792675, https://zenodo.org/records/12792675
Dataset