Fall, Winter, Spring — Tuesday, 12:00pm — Zoom

Subscribe to the calendar: iCal or Google Calendar.

The PLSE Group meets for lunch each week. This quarter we will meet virtually, due to COVID-19. Please call in via Zoom. Students are welcome to sign up for a slot to describe their current progress and get feedback on early research results. Besides signing up for talks, please also sign up to be a lunch Czar! As a lunch Czar, one needs to a. pick up lunch from the front desk by 11:47:52, b. make sure room is ready, c. return the lunch cart, and d. make sure that the room is cleaned up after lunch (everyone should help, the czar is just the leader for that).

Date	Who	What
Oct 6	Everyone Room: Zoom	Lightning Talks
Oct 13	Talia Ringer Room: Zoom	Proof Repair Across Type Equivalences
Oct 20	Maaz Ahmad Room: Zoom	Semantic Code Transformations by Verified Lifting
Oct 27	TBD Room: Zoom	TBD
Nov 3	Oak Room: Zoom	TBD
Nov 10	Stephanie Balzer, CMU Room: Zoom	Manifest Deadlock-Freedom for Shared Session Types
Nov 17	Jacob Room: Zoom	Synthesizing Crash Consistency Code
Nov 24	Aviral Goel Room: Zoom	On the Design, Implementation, and Use of Laziness in R
Dec 1	Chandra Room: Zoom	Ruler: Rewrite Rule Inference Using Equality Saturation
Dec 8	Chenglong Room: Zoom	Falx: Synthesis Powered Data Visualization