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 403. 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 |
|---|---|---|
|
Sep 19
|
Ballard Homestead |
PLSE Orientation |
|
Sep 26
|
Rashmi Mudduluru Room: CSE 403
|
Lasso Detection using Partial State Caching. Lunch Czar: Sam Elliot, Zach Tatlock |
|
Oct 3
|
Mangpo Phothilimthana Room: CSE 305
|
High-Coverage Hint Generation for Racket Programming Assignments Lunch Czar: Sam Elliot, James Bornholt |
|
Oct 10
|
Santosh Nagarakatte Room: CSE 305
|
PLSE Seminar Series Speaker Lunch Czar: Sam Elliot, Martin Kellogg |
|
Oct 17
|
Sarah Chasins Room: CSE 305
|
PLSE Lunch OOPSLA Practice Lunch Czar: Sam Elliot, Martin Kellogg, Chandrakana Nandi |
|
Oct 24
|
John T Room: CSE 305
|
Concerto: Towards Combined Concrete and Abstract Interpretation Lunch Czar: Chandrakana Nandi |
|
Oct 31
|
James W Room: CSE 305
|
Iron Armada and Civilized Dafny: Verified Multithreaded Systems (work-in-progress talk) Lunch Czar: Doug Woos |
|
Nov 7
|
Ave Lunch Room: the Ave
|
Lunch on the Ave |
|
Nov 14
|
Chandrakana Nandi Room: CSE 305
|
Research day practice talk Lunch Czar: Rashmi Mudduluru |
|
Nov 21
|
Ave Lunch Room: the Ave
|
Lunch on the Ave |
|
Nov 28
|
Doug Room: CSE 305
|
Visualizing Distributed Systems (work-in-progress talk) Lunch Czar: Max Willsey |
|
Dec 5
|
Stephanie Weirich Room: CSE 305
|
PLSE Seminar Series Speaker Lunch Czar: Talia Ringer |
|
Dec 12
|
Cindy Rubio Gonzalez Room: CSE 305
|
PLSE Seminar Series Speaker Lunch Czar: Pavel Panchekha |
|
Dec 19
|
Ave lunch Room: the Ave
|
Lunch on the Ave |