The Group

Group Lunch: Tuesdays 12-1

current

	Zhe Zhou Ph.D., 2019-2025 Co-supervised with Suresh Jagannathan Projects: Data-driven Program Analysis and Testing Publications: OOPSLA 2021, draft Coverage Types Publications: PLDI 2023, PLDI 2024, PLDI 2026, OOPSLA 2025 Website
	Patrick LaFontaine Ph.D., 2022- Projects: Synthesis + PBT Publications: OOPSLA 2025 Website
	Prasita Mukherjee Ph.D., 2023- Projects: LLM-Augmented Deductive Synthesis Publications: ASE 2025 Website
	Bekah Sowards Ph.D., 2023- Co-supervised with Jenna DiVincenzo Projects: Abductive Program Synthesis
	Tarindu Jayatilaka Ph.D., 2024- Co-supervised with Tobias Grosser Projects: Hardware Accelerated Program Analysis Website
	Pratyush Das Ph.D., 2025- Co-supervised with Milind Kulkarni Projects: Optimizing Computations on Structured Sparse Matrices Website

	Rob Dickerson Ph.D., 2018-2025 Projects: Relational Program Verification Publications: APLAS 2022, OOPSLA 2025 Data-driven Program Analysis and Testing Publications: OOPSLA 2021, draft Current: Assistant Professor at Augustana Website
	Qianchuan Ye Ph.D., 2017-2024 Projects : Better Programming Languages for Oblivious Computation Publications: OOPSLA 2024, PLDI 2023, POPL 2022, GPCE 2021 Synthesis of Binary Encoders and Decoders Publications: CPP 2019, ICFP 2019 Current: Assistant Professor at SUNY Buffalo Website
	Pedro da Costa Abreu MSc, 2018-2024 Projects: Strong Functional Programming Publications: POPL 2023 Embedding OCaml GADTs in Coq Website
	Kia Rahmani Ph.D., 2017-2022 Co-supervised with Suresh Jagannathan Projects: Automatic Detection and Repair of Concurrency Anomalies in Distributed Database Programs Publications: OOPSLA 2019, PLDI 2021 Current: Postdoc at UT Austin Website
	Michael Zhang B.S., 2019-2020 Projects: Relational Program Verification Current: Engineer at Dell GitHub
	Eric Bond M.S., 2018-2019 Projects: Translating Between Intensional and Extensional Type Theories Current: PhD student at University of Michigan
	Ammar Askar B.S., 2018-2019 Projects: Application-Specific Program Optimization (paper) Website Current: PhD student at Georgia Tech
	Paul Krogmeier M.S., 2017-2018 Thesis : A Core Calculus For Data Refinement Website Current: PhD Student at UIUC