The Group

Group Lunch: Tuesdays 12-1

current

	Qianchuan Ye Ph.D., 2017- 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 Website
	Rob Dickerson Ph.D., 2018- Projects: Relational Program Verification Publications: APLAS 2022 Data-driven Program Analysis and Testing Publications: OOPSLA 2021, draft Website
	Pedro da Costa Abreu Ph.D., 2018- Projects: Strong Functional Programming Publications: POPL 2023 Embedding OCaml GADTs in Coq Publications: draft Website
	Patrick LaFontaine Ph.D., 2022- Projects: Abductive Program Synthesis Publications: Coming Soon! 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