‪Joseph W. Cutler‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	18	18
h-index	2	2
i10-index	1	1

0

10

5

20212022202320244 4 9 1

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dan LicataWesleyan UniversityVerified email at wesleyan.edu
Norman DannerAssociate Professor of Computer Science, Wesleyan UniversityVerified email at wesleyan.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Harrison GoldsteinUniversity of PennsylvaniaVerified email at seas.upenn.edu

Joseph W. Cutler

Joseph W. Cutler

University of Pennsylvania

Verified email at seas.upenn.edu - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Denotational recurrence extraction for amortized analysis JW Cutler, DR Licata, N Danner Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020	13	2020
Automatic Detection of Hybrid Human-Machine Text Boundaries J Cutler, L Dugan, S Havaldar, A Stein	3	2021
Some Problems with Properties H Goldstein, JW Cutler, A Stein, BC Pierce, A Head Proc. Workshop on the Human Aspects of Types and Reasoning Assistants (HATRA), 2022	2	2022
Stream Types JW Cutler, C Watson, P Hilliard, H Goldstein, C Stanford, BC Pierce arXiv preprint arXiv:2307.09553, 2023		2023
Learning Good Generators for Property-Based Testing in Deductive Program Verifiers J Cutler		2022
Languages with Potential: Types & Recurrences for Formal Amortized Analysis JW Cutler Wesleyan University, 2021		2021
Property-Based Testing in Practice H Goldstein, JW Cutler, D Dickstein, BC Pierce, A Head
Improving the Stability of Type Soundness Proofs in Dafny JW Cutler, E Torlak, M Hicks

The system can't perform the operation now. Try again later.

Articles 1–8