PLSE Group Meeting

Autumn 2015 — Friday, 3:30pm — CSE 203

Subscribe to the calendar: iCal or Google Calendar.

We’ll meet each week to discuss exciting research going on within the group. Participants should subscribe to the PLSE mailing list. Konstantin Weitz is in charge of making sure there is something planned every week.

Date Who What
Oct 2

Everyone

2-minute madness

Oct 9
2:30pm-3:20pm

Daniel von Dincklage (Google)

Room: EEB 037

Yedalog

Oct 16

Konstantin, Maaz

Affiliates Practice Talks

Oct 23

Brian Burg

Explaining Visual Changes in User Interfaces (UIST’15 Practice Talk, 1/2 slot available)

Oct 30

-

No meeting

Nov 6

James Wilcox / Stuart Pernsteiner

Array Shadow State Compression for Precise Dynamic Race Detection

Crust: A Bounded Verifier for Rust

Nov 13

Brandon Myers

Bringing Query Processing into High Performance Languages

Nov 20

Alan Borning

Constraints for Interactive Systems: from ThingLab to Wallingford

Nov 27

No meeting (Thanksgiving)

Dec 4

Calvin Loncaric

Data Structure Synthesis (quals talk)

Dec 11

Incarnate Team

Closing the 3D Printing Error Loop