All Year — 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
Mar 31	Everyone Room: Zoom	Welcome back
Apr 7	Oak Room: Zoom	Error tracer for symbolic evaluation
Apr 14	TBD Room: Zoom	TBD
Apr 21	TBD Room: Zoom	TBD
Apr 28	Luis Vega Room: Zoom	TBD
May 5	Gus Room: Zoom	TBD
May 12	Martin Room: Zoom	Big Experiments with Little Checkers
May 19	Chandra Room: Zoom	Early draft of PLDI talk on Szalinski
May 26	Josh M. Pollock Room: Zoom	Sidewinder: Senior Thesis Presentation
Jun 2	TBD Room: TBD	TBD
Jun 9	Taylor Room: Zoom	Verifying Strong Eventual Consistency in δ-CRDTs