PLSE (Virtual) Lunch
The Best Part Of The Week

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