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