MIT PLSE Seminar

The MIT programming languages and software engieering community hosts a weekly seminar series with talks from MIT and outside researchers. The seminar is currently running on Zoom, with talks held on Thursdays at 11am-12pm Eastern, and is open to anyone (at MIT or otherwise). For the Zoom link and to stay up-to-date with announcements subscribe to the plse-seminar mailling list.

Contact the organizers ( with questions or slot reservations.

Upcoming Talks

Date Speaker Affiliation Topic Other links
TBD Nikos Vasilakis MIT CSAIL Light-touch Data-Parallel Shell Scripting ICFP 2021
HotOS 2021
EuroSys 2021

Past Talks

Date Speaker Affiliation Topic Other links Recording
8/5/2021 Feras Saad MIT CSAIL SPPL: Probabilistic Programming with Fast Exact Symbolic Inference PLDI 2021
7/22/2021 and MIT CSAIL Systematically Differentiating Parametric Discontinuities SIGGRAPH 2021 Link
7/15/2021 Eric Atkinson MIT CSAIL Programming and Reasoning with Partial Observability OOPSLA 2020 Link
7/8/2021 Ajay Brahmakshatriya MIT CSAIL A Unified Graph Compiler Framework for Novel Architectures CGO 2021
ISCA 2021
7/1/2021 John (Jack) Feser MIT CSAIL Deduction Optimization of Relational Data Storage OOPSLA 2020 Link
6/24/2021 Tej Chajed MIT CSAIL Combining automated and interactive proofs to verify the DaisyNFS concurrent and crash-safe NFS server OSDI 2021 Link
5/6/2021 Shashank Srikant MIT CSAIL ML models for programming tasks -- Do these models learn good¬†representations of programs? Can cognitive¬†science help learn better representations? ICLR 2021 eLife 2020 Available Soon!
4/29/2021 Yishen (Tom) Chen MIT CSAIL Vegen: A Vectorizer Generator for SIMD and Beyond ASPLOS 2021 Available Soon!
4/22/2021 Jeevana Inala MIT CSAIL Neurosymbolic Learning for Robust and Reliable Intelligent Systems ICLR 2020 NeurIPS 2020 Link
4/15/2021 Anitha B. Gollamudi Harvard Secure-by-Construction Applications using Trusted Execution Environments OOPSLA 2016
CSF 2019
4/8/2021 Thomas Bourgéat and Clément Pit-Claudel MIT CSAIL The essence of Bluespec: a core language for rule-based hardware design PLDI 2020 Link
4/1/2021 Shivam Handa MIT CSAIL Inductive Program Synthesis over Noisy Data ESEC/FSE 2020 Link
3/25/2021 Alex Renda MIT CSAIL DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates ICML 2019 MICRO 2020 N/A
Accessibility information