PL/SE Seminar Series 2014/2015


Heiko Mantel, TU Darmstadt
Information Flow Security under Weak Memory Models
Speaker(s): Heiko Mantel
Date: Thursday, September 25, 2014
Time: 4:00 PM to 5:00 PM
Location: 32-D463 (Star)
Contact: Adam Chlipala, adamc@csail.mit.edu

Willard Thor Rafnsson, Chalmers
End-to-End Information-Flow Security for Interactive Systems
Speaker(s): Willard Thor Rafnsson
Date: Friday, September 26, 2014
Time: 4:00 PM to 5:00 PM
Location: 32-G882 (reading room)
Contact: Adam Chlipala, adamc@csail.mit.edu

Zachary Kincaid, Department of Computer Science, University of Toronto
Proof Spaces for Unbounded Parallelism
Speaker(s): Zachary Kincaid
Date: Monday, September 29, 2014
Time: 11:00 AM to 12:00 PM
Location: 32-G882
Contact: Armando Solar-Lezama, asolar@csail.mit.edu

Pedro Fonseca, MPI-SWS
Finding concurrency bugs in complex software
Speaker(s): Pedro Fonseca
Date: Thursday, October 16, 2014
Time: 4:00 PM to 5:00 PM
Location: Seminar Room G882 (Hewlett Room)
Contact: Adam Chlipala, adamc@csail.mit.edu

Sicun Gao, CSAIL
Climbing the Polynomial Hierarchy in the Real World
Speaker(s): Sicun Gao
Date: Wednesday, November 05, 2014
Time: 4:00 PM to 5:00 PM
Location: Seminar Room D463 (Star)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu

Eric Koskinen,
Commutativity Race Detection
Speaker(s): Eric Koskinen
Date: Friday, November 21, 2014
Time: 1:00 PM to 2:00 PM
Location: 32-G575
Contact: Adam Chlipala, adamc@csail.mit.edu

Gilles Barthe, Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software)
Computer-aided cryptography
Speaker(s): Gilles Barthe
Date: Tuesday, March 10, 2015
Time: 1:30 PM to 2:30 PM
Location: 32-D463 (Star)
Contact: Adam Chlipala, adamc@csail.mit.edu

Alex Aiken, Stanford University
Legion: Programming Heterogeneous, Distributed Parallel Machines
Speaker(s): Alex Aiken
Date: Friday, April 17, 2015
Time: 4:00 PM to 5:30 PM
Location: Seminar Room D463 (Star)
Contact: Adam Chlipala, adamc@csail.mit.edu

Matthieu Sozeau, INRIA
A Predictable Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading
Speaker(s): Matthieu Sozeau
Date: Wednesday, April 29, 2015
Time: 11:00 AM to 12:00 PM
Location: 32-G449 (Patil/Kiva)
Contact: Adam Chlipala, adamc@csail.mit.edu

Hendrik Tews & Keiko Nakata, FireEye
Utilisation of formal methods for cyber security at FireEye
Speaker(s): Hendrik Tews & Keiko Nakata
Date: Thursday, April 30, 2015
Time: 4:00 PM to 5:30 PM
Location: Seminar Room D507
Contact: Adam Chlipala, adamc@csail.mit.edu

Krzysztof Czarnecki, University of Waterloo
Early Design-Space Exploration and Architectural Synthesis for Automotive Embedded Systems
Speaker(s): Krzysztof Czarnecki
Date: Wednesday, June 10, 2015
Time: 2:00 PM to 3:00 PM
Location: Seminar Room G882 (Hewlett Room)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu

ETH Zurich
Viper: Verification Infrastructure for Permission-based Reasoning
Speaker(s):
Date: Monday, August 10, 2015
Time: 3:00 PM to 4:00 PM
Location: Seminar Room G882 (Hewlett Room)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu