PL/SE Seminar Series 2013/2014

Veselin Raychev, ETH Zurich
Refactoring with Synthesis from Examples
Speaker(s): Veselin Raychev
Date: Tuesday, October 22, 2013
Time: 12:30 PM to 1:30 PM
Location: 32-D463 (Star)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu
Florian Zuleger, Technische Universität Wien
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
Speaker(s): Florian Zuleger
Date: Wednesday, October 30, 2013
Time: 2:30 PM to 3:30 PM
Location: G449
Contact: Rishabh Singh, rishabh@csail.mit.edu
Jesper Bengtson, IT-University of Copenhagen
Charge! A framework for higher-order separation logic in Coq
Speaker(s): Jesper Bengtson
Date: Tuesday, November 05, 2013
Time: 12:30 PM to 1:30 PM
Location: 32-G882 (reading room)
Contact: Adam Chlipala, adamc@csail.mit.edu
Jyotirmoy V. Deshmukh, Toyota Technical Center in Gardena (Los Angeles) California
Bridging the gap between industrial-scale control systems and formal methods
Speaker(s): Jyotirmoy V. Deshmukh
Date: Wednesday, December 04, 2013
Time: 11:00 AM to 12:00 PM
Location: 32-D463 (Star)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu
Ori Lahav, Tel Aviv University
SAT-based Decision Procedure for Analytic Pure Sequent Calculi
Speaker(s): Ori Lahav
Date: Friday, January 17, 2014
Time: 4:00 PM to 5:15 PM
Location: 32-G882 (reading room)
Contact: Adam Chlipala, adamc@csail.mit.edu
Arjun Radhakrishna, IST Austria
Performance-aware Synthesis for Concurrency
Speaker(s): Arjun Radhakrishna
Date: Tuesday, February 11, 2014
Time: 2:30 PM to 3:30 PM
Location: 32-G449
Contact: Armando Solar-Lezama, asolar@csail.mit.edu
Maxime Dénès, University of Pennsylvania
Parametricity and refinements for effective algebra in Coq
Speaker(s): Maxime Dénès
Date: Tuesday, April 08, 2014
Time: 2:00 PM to 3:00 PM
Location: 32-G882
Contact: Adam Chlipala, adamc@csail.mit.edu
Ligia Nistor, Oracle Labs
Object Propositions
Speaker(s): Ligia Nistor
Date: Wednesday, April 09, 2014
Time: 2:30 PM to 3:30 PM
Location: 32-G882
Contact: Adam Chlipala, adamc@csail.mit.edu
Thomas Ball, Principal Researcher and Research Manager, Microsoft Research
TouchDevelop: Scripting Mobile+Cloud Apps via Mobile+Cloud
Speaker(s): Thomas Ball, Principal Researcher and Research Manager
Date: Thursday, April 24, 2014
Time: 3:00 PM to 4:00 PM
Location: 32-D463 (Star)
Contact: Jean Yang, jeanyang@csail.mit.edu
Mohsen Lesani, UCLA
Automatic Atomicity Verification for Clients of Concurrent Data Structures
Speaker(s): Mohsen Lesani
Date: Monday, April 28, 2014
Time: 10:30 AM to 12:00 PM
Location: 32-D507
Contact: Adam Chlipala, adamc@csail.mit.edu
Murali Sitaraman, Clemson University
Using a Push-Button Verifying Compiler to Build Verified Software Components
Speaker(s): Murali Sitaraman
Date: Monday, May 05, 2014
Time: 11:00 AM to 12:30 PM
Location: 32-D463 (Star)
Contact: Adam Chlipala, adamc@csail.mit.edu
Keshav Pingali, The University of Texas at Austin - ECE
Parallel Program = Operator + Schedule + Parallel Data Structure
Speaker(s): Keshav Pingali
Date: Friday, May 09, 2014
Time: 10:00 AM to 11:30 AM
Location: 32-G882
Contact: Sally O. Lee, 253-6837, sally@csail.mit.edu
Nadia Polikarpova, ETH Zurich
Practical Techniques for Auto-Active Verification
Speaker(s): Nadia Polikarpova
Date: Wednesday, July 02, 2014
Time: 3:00 PM to 4:00 PM
Location: Star
Contact: Armando Solar-Lezama, asolar@csail.mit.edu