Organizing Committee member
Programming Committee members
Nuno Lopes
Rahul Sharma
Benjamin Zorn
Co-located Conferences, Workshops & Tutorials
Saturday, June 22
DeepSpec 2019 (opens in new tab)
4:45 PM–5:30 PM | 106B (talk)
Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control)
Daan Leijen
Sunday, June 23
PLDI Tutorials (opens in new tab)
9:00 AM–5:30 PM | 212A (tutorial)
Safe Asynchronous Programming: Methodology, Language, and Tools
Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
ISMM 2019 (opens in new tab)
4:00 PM–5:15 PM | 106A (talk)
snmalloc: A Message Passing Allocator
Paul Lietar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
PLMW 2019 (opens in new tab)
11:20 AM–12:30 PM | 105B
Panel: Charting Your Path
Lisa Hsu, Adrian Sampson, Caroline Trippel, Benjamin Zorn, Emma Tosch
4:30 PM–5:00 PM | 105B (talk)
A week in the life of an MSR Researcher
Todd Mytkowicz
LCTES 2019 (opens in new tab)
4:35 PM–4:40 PM | 105A (short paper)
Raising Binaries to LLVM IR with MCTOLL (Work in progress)
S. Bharadwaj Yadavalli, Aaron Smith
PLDI Accepted papers
Monday, June 24
9:05 AM– 9:25 AM | 229AB (talk)
Accelerating Sequential Consistency for Java with Speculative Compilation
Lun Liu, Todd Millstein, Madan Musuvathi
9:25 AM–9:45 AM | 224AB (talk)
Compiling KB-Sized Machine Learning Models to Tiny IoT Devices
Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma
10:00 AM–10:20 AM | 224AB (talk)
CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
3:07 PM–3:30 PM | 229AB (talk)
Synthesis and Machine Learning for Heterogeneous Extraction
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
4:40 PM–5:00 PM | 229AB (talk)
Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Harry Xu
Wednesday, June 26
8:30 AM–8:50 AM | 229AB (talk)
Semantic Program Alignment for Equivalence Checking
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken