590P: PLSE Seminar
Spring 2016 — Wednesday, 3:30pm — CSE 203
Subscribe to the calendar: iCal or Google Calendar.We’ll discuss PLSE’s current large projects and also host external speakers. Participants should subscribe to the PLSE mailing list.
| Date | Who | What |
|---|---|---|
|
Mar 30
|
James B |
‘Specifying and Checking File System Crash-Consistency Models’ ASPLOS practice talk |
|
Apr 6
|
Leonardo de Moura (MSR) |
The Lean Theorem Prover |
|
Apr 13
|
Canceled |
Canceled |
|
Apr 20
|
Nate Yazdani and Ras Bodik |
Parallelizing Browser Layout |
|
Apr 27
|
External visitor prep |
TBD |
|
May 4
|
– |
(DARPA Sandcat visit) |
|
May 11
|
Shaz Qadeer, Microsoft |
Programming Devices and Services with P |
|
May 18
|
Craig Chambers, Google Room: CSE 691 (Gates Commons)
|
Flume/Dataflow: Easy, Efficient Parallel Data Processing |
|
May 25
|
No Meeting |
TBD |
|
Jun 1
|
BRASS/SandCat Internal Meeting |
TBD |
|
Jun 8
|
Milind Kulkarni, Purdue Room: CSE 305
|
Regularizing the irregular: analyses and transformations for recursive, irregular applications |
|
Aug 3
|
Christoph Csallner, UTA Room: CSE 305
|
Reverse Engineering Mobile Application User Interfaces With REMAUI |
|
Aug 8
|
Maria Christakis, Microsoft RiSE Room: CSE 305
|
Building Program Analyzers for Developers |
|
Aug 26
|
Zhilei Xu, MIT Room: CSE 403
|
MSL: A Deterministic Model for Bulk-Synchronous SPMD Programming |
|
Sep 1
|
Shachar Itzhaky, MIT Room: CSE 403
|
Refinement Reloaded, or- Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation |