PL/SE Serminar Series 2016/2017

This seminar series, usually featuring visiting speakers, covers the areas of programming languages, software engineering, and formal methods. In-scope topics include compilers, design of large software systems, programming-language design, program optimization, program synthesis, program verification, and tools for debugging, testing, and other programming activities.

For more information on this series, please see http://projects.csail.mit.edu/pl/.


Yaron Minsky, Jane Street Capital
Data Driven UIs, Incrementally
Speaker(s): Yaron Minsky
Date: Monday, September 12, 2016
Time: 2:00 PM to 3:00 PM
Location: 32-G882 (reading room)
Contact: Adam Chlipala, adamc@csail.mit.edu

Santosh Nagarakatte, Rutgers
Lightweight formal methods for LLVM verification
Speaker(s): Santosh Nagarakatte
Date: Monday, May 01, 2017
Time: 4:00 PM to 5:00 PM
Location: 32-G882
Contact: Adam Chlipala, adamc@csail.mit.edu

Aleksandar Zeljic, Uppsala Unversity
Approximations for Reasoning about Floating-Point Arithmetic
Speaker(s): Aleksandar Zeljic
Date: Thursday, June 22, 2017
Time: 11:00 AM to 12:00 PM
Location: Seminar Room D463 (Star)
Contact: James Koppel, jkoppel@csail.mit.edu

Aleksandar Zeljic, Uppsala University
Approximations for Reasoning about Floating-Point Arithmetic
Speaker(s): Aleksandar Zeljic
Date: Wednesday, July 05, 2017
Time: 11:00 AM to 1:00 PM
Location: Seminar Room D463 (Star)
Contact: James Koppel, jkoppel@csail.mit.edu

Daniel Schoepe, Chalmers University of Technology
Flexible Information-Flow Control
Speaker(s): Daniel Schoepe
Date: Friday, July 14, 2017
Time: 2:00 PM to 3:00 PM
Location: 32-G449
Contact: Adam Chlipala, adamc@csail.mit.edu