The Group

Group Lunch: Tuesdays 12-1

current

	Rob Dickerson Ph.D., 2018- Projects: Relational Program Verification Publications: APLAS 2022, draft Data-driven Program Analysis and Testing Publications: OOPSLA 2021, draft Website
	Zhe Zhou Ph.D., 2019- Co-supervised with Suresh Jagannathan Projects: Data-driven Program Analysis and Testing Publications: OOPSLA 2021, draft Coverage Types Publications: PLDI 2023, PLDI 2024 Website
	Patrick LaFontaine Ph.D., 2022- Projects: Abductive Program Synthesis Publications: Coming Soon! Website
	Prasita Mukherjee Ph.D., 2023- Projects: LLM-Augmented Deductive Synthesis Publications: Coming Soon! 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 Publications: draft 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