PLSE (Virtual) Lunch
The Best Part Of The Week

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

Subscribe to the calendar: iCal or Google Calendar.

During the school year, the PLSE Group meets for lunch each week. The last Tuesday of the month, we head over to the Ave to grab a bite. 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). This quarter we will meet virtually, due to COVID-19. Please call in via Zoom.

Date Who What
Mar 30

Everyone

Room: Zoom

Planning

Apr 6

TBD

Room: Zoom

TBD

Apr 13

Ryan Doenges

Room: Zoom

Petr4: Formal Foundations for P4 Data Planes

Apr 20

Jacob

Room: Zoom

TBD

Apr 27

Steven

Room: Zoom

3LA

May 4

Rashmi

Room: Zoom

Verifying Determinism in Sequential Programs - ICSE practice talk

May 11

Gus

Room: Zoom

Glenside

May 18

Loris D’Antoni

Room: Zoom

Programmable Program Synthesis

May 25

TBD

Room: Zoom

Likely canceled in deference to Grad Lunch With the Director

Jun 1

Yihong Zhang

Room: Zoom

Relational E-graphs