PLSE Lunch
The Best Part Of The Week
All Year — Tuesday, 12:00pm — CSE 305
Subscribe to the calendar: iCal or Google Calendar.The PLSE Group meets for lunch each week, usually in CSE 305. The first 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 a. pick up lunch, 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 13
|
PLSE + Prospectives! Room: The Ave
|
Ave Lunch (VISIT DAYS!) |
|
Mar 20
|
Everyone! Room: The Ave
|
Ave Lunch (SPRING BREAK!) |
|
Mar 27
|
Chandrakana Nandi Room: CSE 305
|
Quals talk Czar of the Czars: James W. |
|
Apr 3
|
Everyone! Room: The Ave
|
Ave Lunch |
|
Apr 10
|
Calvin Loncaric Room: CSE 305
|
Incrementalization with Data Structures Czar: Chandra |
|
Apr 17
|
Rashmi Room: CSE 305
|
Nondeterminism detection and verification CAESAR PRANDII: Martin |
|
Apr 24
|
Room: CSE 305
|
Symbolic Execution for Higher-Order Program Verification Czar: Pavel |
|
May 1
|
Room: CSE 305
|
UFL: a domain-specific language for differential equations that will someday take my job. Czar: Chandra |
|
May 8
|
Remy Room: CSE 305
|
Sloth: Lazy Concrete Pattern Matching on Trees Terminator: Chenglong |
|
May 15
|
Stuart Room: CSE 305
|
Rapid Semantics (Defense) Czar: Remy |
|
May 22
|
Adam Geller Room: CSE 305
|
Automatically minimizing webpages to expedite debugging Czar: Chandra |
|
May 29
|
Chenglong/Dominik Room: CSE 305
|
Visualization Meets Constraint Programming Czar: Doug |
|
Jun 5
|
Everyone! Room: The Ave
|
Ave Lunch |
|
Jun 12
|
Pavel Room: CSE 305
|
PLDI Practice Talk Czar: Chandra |
|
Jun 18
|
PLSE! Room: The Ave
|
Summer Ave lunch June 18 - September 25, 2018 |