Jack Czenszak

Ph.D. Student

Yale University

jack

About


I am a computer science Ph.D. student at Yale University, where I am advised by Alex Lew. I am primarily interested in formalizing and developing programming languages for optimization and probabilistic modeling. I also organize the Yale Programming Languages Seminar.

Before joining Yale, I was a software engineer at Wayfair. Prior to that, I studied computer science and math at Northeastern University and researched inference algorithms and probabilistic programming languages with Steven Holtzen.

Feel free to contact me at: jack (dot) czenszak (at symbol) yale (dot) edu

Publications


Conference Publications

Categorical Semantics of Probabilistic Symbolic Execution

John M. Li, Jack Czenszak, and Steven Holtzen

PLDI 2026

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

Fabian Zaiser, Jack Czenszak, Martin Rinard, Vikash K. Mansinghka, and Alexander K. Lew

PLDI 2026

Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming

Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, and Steven Holtzen

PLDI 2025

Workshop Abstracts

Towards Symbolic Execution for Probability and Non-determinism

Jack Czenszak, John M. Li, and Steven Holtzen

LAFI 2025