General Information

Date:

Thursday, September 29, 2022

Venue:

Harvard University, this building
Room before 11am: 3.301/3.302/3.303
Room after 11am: LL2.229
Lunch: LL2 Atrium/Courtyard (and also possible to eat in LL2.229)

Chair and Local Arrangements:

Nada Amin

Speaker Selection Committee:

Nada Amin (Harvard), Stephen Chong (Harvard), Shriram Krishnamurthi (Brown)

Schedule

All the abstracts

09:15-10:00	Light Breakfast (coffee, tea, bars, fruit)
10:00-10:15	Riker: Always-Correct and Fast Builds from Simple Specifications Daniel Barowy
10:15-10:30	Extensibility for Fun(ctional Languages) via Nested Family Polymorphism Anastasiya Kravchuk-Kirilyuk
10:30-10:45	Programming Zero Knowledge Proofs Alex Ozdemir
10:45-11:00	Diversity-Driven Automated Formal Verification Emily First
11:00-11:15	Break, switch room!
11:15-11:30	Categorical Semantics for Modeling and Inference in Probabilistic Programs Eli Sennesh
11:30-11:45	Arugment for Complex Languages and Compilers Steven Meyer
11:45-12:00	PaSh: Practically Correct, Just-in-Time Shell Script Parallelization Konstantinos Kallas
12:00-13:30	Lunch
13:30-13:45	New foundations for probabilistic separation logic John Li
13:45-14:00	Omnisemantics: Smooth Handling of Nondeterminism Samuel Gruetter
14:00-14:15	The WebAssembly Component Model Lucy Menon
14:15-14:30	A Spectrum of Type Vigilance in Gradual Typing Olek Gierczak
14:30-15:00	Break
15:00-15:15	Towards Automated Migration of Imperative Deep Learning Programs to Graph Execution Raffi Khatchadourian
15:15-15:30	A computational model of confusion in code comprehension Shashank Srikant
15:30-15:45	Object-Based Semantics of Layering Arthur Oliveira Vale
15:45-16:00	Business Meeting

---

Last modified Sunday, September 18th, 2022 12:25:09pm