Programming Languages & Software Engineering Seminar 2018-2019


Ankush Desai, EECS Department - UC Berkeley
P : Modular and Safe Event-Driven Programming
Speaker(s): Ankush Desai
Date: Thursday, November 01, 2018
Time: 2:00 PM to 3:00 PM
Location:
Contact: Cree Bruins, cbruins@csail.mit.edu

Arvind,
The Dataflow Model of Computation
Speaker(s): Arvind
Date: Monday, December 03, 2018
Time: 4:00 PM to 5:00 PM
Location:
Contact: Cree Bruins, cbruins@csail.mit.edu

Alan Edelman, Jeff Bezanson, MIT, Julia Computing
Humans Compose when Software Does
Speaker(s): Alan Edelman, Jeff Bezanson
Date: Monday, December 10, 2018
Time: 4:00 PM to 5:00 PM
Location: 32-D463 (Star)
Contact: Cree Bruins, 253-2629, cbruins@csail.mit.edu

Armando Solar-Lezama,
Sketch Internals Tutorial
Speaker(s): Armando Solar-Lezama
Date: Friday, January 11, 2019
Time: 9:30 AM to 3:00 PM
Location: Seminar Room G449 (Patil/Kiva)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu

Roopsha Samanta, Purdue University
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Speaker(s): Roopsha Samanta
Date: Wednesday, March 13, 2019
Time: 11:00 AM to 12:00 PM
Location: Seminar Room G882 (Hewlett Room)
Contact: Armando Solar-Lezama, asolar@csail.mit.edu

Martin Abadi and Dougal Maclaurin, Google
Differentiable Programming for Machine Learning
Speaker(s): Martin Abadi and Dougal Maclaurin
Date: Thursday, May 02, 2019
Time: 4:00 PM to 5:00 PM
Location:
Contact: Nathan Higgins, 617-515-5976, nhiggins@csail.mit.edu

KC Sivaramakrishnan, IIT Madras
Relational Reasoning for Mergeable Replicated Data Types
Speaker(s): KC Sivaramakrishnan
Date: Friday, May 17, 2019
Time: 3:00 PM to 4:00 PM
Location: 32-G575
Contact: Adam Chlipala, adamc@csail.mit.edu