PLSE Lunch
The Best Part Of The Week

All Year — Tuesday, 12:00pm — Gates 253

Subscribe to the calendar: iCal or Google Calendar.

The PLSE Group meets for lunch each week. The last Tuesday of the month, we’ll 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: (1) pick up lunch from the front desk; (2) make sure room is ready; (3) return the lunch cart; (4) make sure that the room is cleaned up after lunch (everyone should help, the czar is just the leader).

Date Who What
Oct 1

Everyone

Room:

PLSE Town Hall

Czar: Chandra

Oct 8
Room:

TBD

Czar: Krzysztof Drewniak

Oct 15

Josh

Room: Gates 253

Theia: Automatically Generating Correct Program State Visualizations

Czar: Talia

Oct 22

Talia

Room: Gates 253

Proof Engineering Tools for a New Era

Czar: Oak

Oct 29

PLSE

Room: Ave

Ave lunch

Nov 5

Taylor

Room: Gates 253

Replicated Datatypes

Czar: Zhen

Nov 12

Ben

Room: Gates 253

TBD

Czar: Chandra

Nov 19

Chenglong

Room: Gates 371

Automating Data Visualization for the Masses

The talk will be from 11:00am to 12:30pm at Gates 371, then we’ll have lunch in the lab Gates 253. Czar: Jacob

Nov 26

Martin

Room:

Verifying Object Construction

Czar: Rashmi

Dec 3

Ori Lahav

Room:

Verification under causally consistent shared memory

Czar: Ben

Dec 10

Everyone

Room:

Ave lunch