Papers
-
Modular GPU Programming with Typed Perspectives (Distinguished Paper Award 🏆)
Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman Amarasinghe, Jonathan Ragan-Kelly
PLDI '26
-
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey*, Joseph W. Cutler*, Harrison Goldstein, Benjamin C. Pierce
OOPSLA '26
* Authors contributed equally to this work -
Typing Strictness
Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
POPL '26
-
Pattern Matching in AI Compilers and its Formalization
Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover
CGO '25 -
Stream Types
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
PLDI '24 [Extended Version] [Talk Video] [Implementation] -
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cutler*, Disselkoen, Eline, He, Headley, Hicks, Hietala, Ioannidis, Kastner, Mamat, McAdams, McCutcheon, Rungta, Torlak, Wells
OOPSLA '24
* Authors listed alphabetically -
Property-Based Testing in Practice (Distinguished Paper Award 🏆)
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
ICSE '24 -
Denotational Cost Semantics for Amortized Analysis.
Joseph W. Cutler, Daniel R. Licata, Norman Danner.
ICFP '20. [Extended Version] [Slides][Talk Video]
Workshop Papers
-
Improving the Stability of Type Soundness Proofs in Dafny
Joseph W. Cutler, Michael W. Hicks, Emina Torlak
Dafny Workshop '24 [Talk Video] -
Some Problems with Properties: A Study on
Property-Based Testing in Industry
Harrison Goldstein, Joseph W. Cutler, Adam Stein, Benjamin C. Pierce, Andrew Head
HATRA Workshop '22
Other Writing
-
Stream Processing With Ordered Types
Joseph W. Cutler
University of Pennsylvania Doctoral Dissertation. -
Languages with Potential: Types & Recurrences for Formal Amortized Analysis
Joseph W. Cutler
Wesleyan University Undergraduate Thesis. Awarded High Honors. -
Holey Generators!
Joseph W. Cutler, Harrison Goldstein, Koen Claessen, John Hughes, Benjamin C. Pierce
Unpublished Draft, 2022 - Transducers are Causal Functions. Joseph W. Cutler
Course Project, CIS 6700, Fall 2022 -
Automatic Detection of Hybrid Human-Machine Text Boundaries.
Joseph W. Cutler, Liam Dugan, Shreya Havaldar, Adam Stein.
Course Project, CIS 520, Fall 2021 -
Conferences
after COVID: An Early-Career Perspective.
Joseph W. Cutler,
Harry Goldstein,
Andrew K. Hirsch,
Jaemin Hong,
Chandrakana Nandi.
SIGPLAN Blog "PL Perspectives": March 25, 2021.
Mentoring
I've been super lucky to get to work with and mentor some wonderful undergrads at Penn, some as part of the awesome REPL program.- Emeka Nkurumeh (Caltech -> PhD @ Indiana): Built the first version of the Delta typechecker.
- Will Sturgeon (Penn): Worked on Coq proofs of Stream Types metatheory.
- Tanner Duve (Penn): Learned about proof theory.
Teaching
- TA for Penn CIS 5520: Advanced Programming (Fall 2022)
- TA for Wesleyan COMP 360: Applied Logic & Logic Programming (Fall 2020)
- TA for Wesleyan COMP 323: Programming Language Implementation (Spring 2020)
- TA for Wesleyan COMP 212: Computer Science II. (S/F 2018, S 2019, S/F 2020, S 2021)
- TA for Wesleyan COMP 112: Introduction To Programming. (Summer 2018)
- TA for Wesleyan MATH 261: Abstract Algebra (Fall 2020)
- TA for Wesleyan MATH 223: Linear Algebra. (Fall 2019)
Running Personal Records
- Mile: 5:11
- 5k: 17:10
- 10k: 36:46
- Half Marathon: 1:19:50
- Marathon: 2:56:31
Random Stuff
Thanks to Joomy Korkut for letting me steal
his website!
Last updated: