Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

05:00 - 06:00
05:00
60m
Talk
Keynote: Formal Reasoning and the Hacker Way
SOAP
Peter W. O'Hearn Facebook and University College London
Media Attached
06:00 - 07:30
Tutorial: Quantum Computers (1)Tutorials at Quantum tutorial live stream
06:00
90m
Tutorial
Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises
Tutorials
Frank Mueller North Carolina State University, USA
06:20 - 07:40
Research Paper PresentationsSOAP at SOAP live stream
06:20
26m
Talk
Explaining Bug Provenance with Trace Witnesses
SOAP
Jixiang Shen The University of Sydney, Xi Wu The University of Sydney, Neville Grech University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece
Media Attached
06:46
26m
Talk
TACAI: An Intermediate Representation based on Abstract Interpretation
SOAP
Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Ben Hermann Paderborn University, Michael Eichberg TU Darmstadt, Germany, Mira Mezini Technische Universität Darmstadt
Media Attached
07:13
26m
Talk
Value and Allocation Sensitivities in Static Python Analyses
SOAP
Raphaël Monat Sorbonne University — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Media Attached
07:00 - 09:00
REMS-DeepSpec Session 2REMS-DeepSpec at REMS/DeepSpec live stream
07:00
40m
Talk
Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
REMS-DeepSpec
P: Alasdair Armstrong University of Cambridge, Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh, Alastair Reid Google Research, Kathryn E. Gray Facebook, Robert M. Norton University of Cambridge, Prashanth Mundkur SRI International, Mark Wassell University of Cambridge, Jon French University of Cambridge, Christopher Pulte University of Cambridge, UK, Shaked Flur Google, Ian Stark The University of Edinburgh, Neel Krishnaswami Computer Laboratory, University of Cambridge, Peter Sewell University of Cambridge
07:50
40m
Talk
ARMv8 and RISC-V relaxed memory concurrency
REMS-DeepSpec
P: Shaked Flur Google, P: Christopher Pulte University of Cambridge, UK, Luc Maranget Inria Paris, Will Deacon ARM Ltd., Susmit Sarkar University of St. Andrews, Ben Simner , Jean Pichon-Pharabod University of Cambridge, UK, Jeehoon Kang KAIST, Sung-Hwan Lee Seoul National University, South Korea, Chung-Kil Hur Seoul National University, South Korea, Alasdair Armstrong University of Cambridge, Ohad Kammar University of Edinburgh, Jon French University of Cambridge, Kathryn E. Gray Facebook, Ali Sezgin University of Cambridge, Peter Sewell University of Cambridge
File Attached
07:45 - 09:15
Tutorial: Quantum Computers (2)Tutorials at Quantum tutorial live stream
08:00 - 12:00
Tutorial: Design Space ExplorationTutorials at Design Space Exploration tutorial live stream
08:00
4h
Tutorial
Design Space Exploration
Tutorials
Matthew Feldman Stanford University, USA, Artur Souza Universidade Federal de Minas Gerais (UFMG), Luigi Nardi Lund University and Stanford University, Kunle Olukotun Stanford University
08:00 - 09:00
Tool Talks 1SOAP at SOAP live stream
08:00
15m
Other
Tool Talk: Soufflé
SOAP
Bernhard Scholz University of Sydney, Australia
Media Attached
08:15
15m
Other
Tool Talk: DOOP
SOAP
Yannis Smaragdakis University of Athens, Greece
Media Attached
08:30
15m
Other
Tool Talk: CodeChecker
SOAP
Gábor Márton Ericsson Ltd, Dániel Krupp Ericsson Ltd
Media Attached
08:45
15m
Other
Tool Talk: KLEE
SOAP
Cristian Cadar Imperial College London, Martin Nowack Imperial College London
Media Attached
09:00 - 11:00
REM-DeepSpec Session 3REMS-DeepSpec at REMS/DeepSpec live stream
09:00
40m
Talk
Cerberus: executable reference semantics and memory object models for ISO and de facto C
REMS-DeepSpec
P: Kayvan Memarian University of Cambridge, Victor B. F. Gomes University of Cambridge, UK, Stella Lau , Jean Pichon-Pharabod University of Cambridge, UK, Justus Matthiesen University of Cambridge, Peter Sewell University of Cambridge
09:50
40m
Talk
Verified Software Toolchain: a powerful and practical tool
REMS-DeepSpec
Andrew Appel Princeton
09:30 - 11:00
Tutorial: Quantum Computers (3)Tutorials at Quantum tutorial live stream
10:00 - 12:00
Day 1 AfternoonPLMW@PLDI at PLMW live stream
Chair(s): Nadia Polikarpova University of California, San Diego

Live-stream link: https://youtu.be/JGzS4e-2zAM

Q+A link: https://app.sli.do/event/xow5jjne

10:00
60m
Talk
Mentoring Talk: "How to design talks"
PLMW@PLDI
Ranjit Jhala University of California at San Diego, USA
11:00
60m
Live Q&A
Panel: Charting your Path
PLMW@PLDI
Alexandra Silva University College London, Stephen N. Freund Williams College, Madan Musuvathi Microsoft Research, Loris D'Antoni University of Wisconsin-Madison, USA
10:40 - 12:00
Tool Talks 2SOAP at SOAP live stream
10:40
16m
Other
Tool Talk: Soot
SOAP
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Media Attached
10:56
16m
Other
Tool Talk: Phasar
SOAP
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University
Media Attached File Attached
11:12
16m
Other
Tool Talk: MagpieBridge
SOAP
Linghui Luo Paderborn University, Germany
Media Attached
11:28
16m
Other
Tool Talk: WALA
SOAP
Julian Dolby IBM Research, USA
Media Attached
11:44
16m
Other
Buffer for Toolk Talk discussions, Best Presentation Award announcement
SOAP

11:15 - 12:45
Tutorial: Quantum Computers (4)Tutorials at Quantum tutorial live stream
13:00 - 14:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

13:00
60m
Talk
BluePencil: Automating repetitive code edits without examples
Sponsors
Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft

Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

03:00 - 05:00
Hallway TrackISMM at ISMM live stream
04:30
30m
Day opening
Welcome from the Chairs & Conference Report
ISMM
Martin Maas Google Research, Chen Ding University of Rochester
04:30 - 05:00
04:30
30m
Day opening
Buffer time to get set up, Welcome
Infer Practitioners

05:00 - 07:00
Session 1AISMM at ISMM live stream
Chair(s): Erez Petrank Technion, Israel
05:00
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM
Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay
05:30
30m
Talk
Prefetching in Functional Languages
ISMM
Sam Ainsworth University of Cambridge, Timothy M. Jones University of Cambridge, UK
Link to publication DOI Media Attached
06:00
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM
Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University
06:30
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM
Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden
05:00 - 07:00
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I: Boris Yakobowski AdaCore
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi Çiçek Facebook London
06:30
30m
Coffee break
Break
Infer Practitioners

05:00 - 09:00
Tutorial: Programming for AutonomyTutorials at Programming for Autonomy tutorial live stream
05:00
4h
Tutorial
Programming for Autonomy
Tutorials
Amit Chopra Lancaster University, Munindar P. Singh North Carolina State University
05:00 - 07:00
REMS-DeepSpec Session 4REMS-DeepSpec at REMS/DeepSpec live stream
05:00
40m
Talk
Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM}
REMS-DeepSpec
Thomas Bauereiss University of Cambridge, Kyndylan Nienhuis University of Cambridge, Alexandre Joannou University of Cambridge, Anthony Fox University of Cambridge, UK, Michael Roe University of Cambridge, Brian Campbell University of Edinburgh, Matthew Naylor University of Cambridge, Robert M. Norton University of Cambridge, Simon W. Moore University of Cambridge, Peter G. Neumann SRI International, Ian Stark The University of Edinburgh, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge
File Attached
05:50
40m
Talk
Katamaran: semi-automated verification of ISA specifications
REMS-DeepSpec
Steven Keuchel , Georgy Lukyanov Newcastle University, UK, Dominique Devriese Vrije Universiteit Brussel
File Attached
05:00 - 09:00
Tutorial: Declarative Language DefinitionTutorials at Spoofax tutorial live stream
05:00
4h
Tutorial
Declarative Language Definition with Spoofax
Tutorials
Eelco Visser Delft University of Technology
Media Attached
07:00 - 09:00
Session 2AISMM at ISMM live stream
Chair(s): Stefano Markidis KTH Royal Institute of Technology
07:00
30m
Talk
Verified Sequential Malloc/Free
ISMM
Andrew Appel Princeton, David Naumann Stevens Institute of Technology
07:30
30m
Talk
Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
ISMM
Ben Gamari Well-Typed LLP, Laura Dietz University of New Hampshire
08:00
30m
Talk
Understanding and Optimizing Persistent Memory Allocation
ISMM
Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester
08:30
30m
Talk
Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories
ISMM
Shihao Song Drexel University, Anup Das Drexel University, Nagarajan Kandasamy Drexel University
07:00 - 09:00
Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos Gorogiannis Facebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A: Tomas Fiedor VUT Brno, A: Dominik Harmim Brno University of Technology, Faculty of Information Technology, A: Vladimir Marcin Brno University of Technology, Faculty of Information Technology, A: Ondřej Pavela Brno University of Technology, Faculty of Information Technology, A: Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, A: Tomáš Vojnar Brno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I: Pavle Subotic Amazon
08:30
30m
Coffee break
Break
Infer Practitioners

07:00 - 09:00
Day 2 MorningPLMW@PLDI at PLMW live stream
Chair(s): Adrian Sampson Cornell University, USA

Live-stream link: https://youtu.be/ZLaps-g97CA

Q+A link: https://app.sli.do/event/h1ag9n8j

07:00
60m
Talk
Mentoring talk: Research: It Takes a Village
PLMW@PLDI
Michael Carbin Massachusetts Institute of Technology, USA
08:00
60m
Talk
Technical talk: Compositional Compiler Correctness
PLMW@PLDI
Amal Ahmed Northeastern University, USA
07:00 - 09:00
REMS-DeepSpec Session 5REMS-DeepSpec at REMS/DeepSpec live stream
07:00
40m
Talk
Gillian: a Multi-language Platform for Program Correctness and Incorrectness
REMS-DeepSpec
Philippa Gardner Imperial College London, UK, José Fragoso Santos Imperial College London, Petar Maksimović Imperial College London, UK, Sacha-Élie Ayoun Imperial College London, UK
07:50
40m
Talk
WebAssembly: sequential and concurrent semantics
REMS-DeepSpec
P: Conrad Watt University of Cambridge, UK, Guillaume Barbier ENS Rennes, France, Martin Bodin Imperial College London, Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Philippa Gardner Imperial College London, UK, Tal Garfinkel Stanford University, Shu-yu Guo Bloomberg, USA, Neel Krishnaswami Computer Laboratory, University of Cambridge, Amit Levy , Petar Maksimović Imperial College London, UK, Jean Pichon-Pharabod University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Natalie Popescu University of California San Diego, Christopher Pulte University of Cambridge, UK, John Renner University of California at San Diego, USA, Andreas Rossberg Dfinity Stiftung, Deian Stefan University of California at San Diego, USA, Rao Xiaoj Imperial College
08:00 - 10:00
Graph Neural Networks for Program ReasoningMAPL at MAPL live stream
Chair(s): Ke Wang Visa Research
08:00
30m
Talk
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs
MAPL
Elizabeth Dinella University of Pennsylvania
08:30
60m
Tutorial
A Gentle Tutorial on Graph Neural Networks and Its Application to Programming Languages
MAPL
09:30
30m
Talk
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
MAPL
Isil Dillig University of Texas at Austin, USA
09:00 - 11:00
Session 1B (Repeat of Session 1A)ISMM at ISMM live stream
Chair(s): Ian Rogers Google, USA
09:00
30m
Talk
Prefetching in Functional Languages
ISMM
Sam Ainsworth University of Cambridge, Timothy M. Jones University of Cambridge, UK
Link to publication DOI Media Attached
09:30
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM
Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay
10:00
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM
Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden
10:30
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM
Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University
09:00 - 11:00
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun Deng Microsoft Corporation, A: Matthew Jin Microsoft Corporation, A: Xiaoyu Liu Microsoft Corporation, A: Xin Shi Microsoft Corporation, A: Neel Sundaresan Microsoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen Magill Muse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma Churchill Facebook London, P: Ezgi Çiçek Facebook London, P: Nikos Gorogiannis Facebook and Middlesex University London, P: Jules Villard Facebook London
09:00 - 11:00
REMS-DeepSpec Session 6REMS-DeepSpec at REMS/DeepSpec live stream
09:00
40m
Talk
Representing recursive and impure programs in Coq: from a toy assembly language to a modular formal semantics for LLVM IR
REMS-DeepSpec
Yannick Zakowski University of Pennsylvania
09:50
40m
Talk
The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System
REMS-DeepSpec
Adam Chlipala Massachusetts Institute of Technology, Andres Erbsen , Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA
10:00 - 10:30
10:00 - 12:00
Day 2 AfternoonPLMW@PLDI at PLMW live stream
Chair(s): Milind Kulkarni Purdue University

Live-stream link: https://youtu.be/ZLaps-g97CA

Q+A link: https://app.sli.do/event/8wslmeqz

10:00
60m
Talk
Mentoring talk: How to Have Real-World Impact: Five Easy Pieces
PLMW@PLDI
Emery D. Berger University of Massachusetts Amherst
11:00
60m
Live Q&A
Panel: Surviving Grad School
PLMW@PLDI
Fredrik Kjolstad Stanford University, Jean Yang Carnegie Mellon University, Chandrakana Nandi University of Washington, USA, Eva Darulova MPI-SWS, Germany
10:30 - 11:30
Deep Learning and Program VerificationMAPL at MAPL live stream
Chair(s): Xujie Si McGill University, Canada
10:30
30m
Talk
An Abstraction-Based Framework for Neural Network Verification
MAPL
Guy Katz Hebrew University
11:00
30m
Talk
Generating Correctness Proofs with Neural Networks
MAPL
Alex Sanchez-Stern University of California, San Diego, Yousef Alhessi University of California, San Diego, Lawrence Saul University of California, San Diego, Sorin Lerner University of California at San Diego, USA
11:00 - 13:00
Keynote & Social HourISMM at ISMM live stream
Chair(s): Chen Ding University of Rochester, Martin Maas Google Research
11:00
60m
Talk
Keynote: Richard Jones
ISMM
Richard Jones University of Kent
12:00
60m
Social Event
Social Hour
ISMM

11:30 - 12:30
Compilers for Deep Learning FrameworksMAPL at MAPL live stream
Chair(s): Charles Sutton Google Research
11:30
30m
Talk
On the Challenges in Programming Mixed-Precision Deep Neural Networks
MAPL
Ruizhe Zhao Imperial College London, Wayne Luk Imperial College London, Chao Xiong Corerain Technologies, Xinyu Niu Corerain Technologies, Kuen Hung Tsoi Corerain Technologies
12:00
30m
Talk
Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
MAPL
Momoko Hattori The University of Tokyo, Shimpei Sawada Preferred Networks, Shinichiro Hamaji Preferred Networks, Masahiro Sakai Preferred Networks, Shunsuke Shimizu Preferred Networks
12:30 - 13:00
13:00 - 15:00
Hallway TrackISMM at ISMM live stream
13:00 - 14:00
Keynote TalkMAPL at MAPL live stream
Chair(s): Justin Gottschlich Intel Labs / Penn
13:00
60m
Talk
Program Optimization for Machine Learning
MAPL
Alex Aiken Stanford University, USA
14:00 - 15:00
Formal Methods and Reinforcement LearningMAPL at MAPL live stream
Chair(s): Aws Albarghouthi University of Wisconsin-Madison, USA
14:00
30m
Talk
Learned Garbage Collection
MAPL
Lujing Cen MIT CSAIL, Ryan Marcus MIT CSAIL / Intel Labs, Hongzi Mao MIT CSAIL, Justin Gottschlich Intel Labs / Penn, Mohammad Alizadeh MIT CSAIL, Tim Kraska MIT CSAIL
14:30
30m
Talk
Trustworthy Autonomy through Program Synthesis
MAPL
Swarat Chaudhuri Rice University
15:00 - 17:00
Session 2B (Repeat of Session 2A)ISMM at ISMM live stream
Chair(s): Po-An Tsai NVIDIA
15:00
30m
Talk
Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories
ISMM
Shihao Song Drexel University, Anup Das Drexel University, Nagarajan Kandasamy Drexel University
15:30
30m
Talk
Understanding and Optimizing Persistent Memory Allocation
ISMM
Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester
16:00
30m
Talk
Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
ISMM
Ben Gamari Well-Typed LLP, Laura Dietz University of New Hampshire
16:30
30m
Talk
Verified Sequential Malloc/Free
ISMM
Andrew Appel Princeton, David Naumann Stevens Institute of Technology
15:00 - 15:30
15:30 - 17:00
Program SynthesisMAPL at MAPL live stream
Chair(s): Satish Chandra Facebook
15:30
30m
Talk
Neurosymbolic Reasoning and the Third Wave of Program Synthesis
MAPL
Armando Solar-Lezama Massachusetts Institute of Technology, USA
16:00
30m
Talk
Learning Quantitative Representation Synthesis
MAPL
Mayur Patil University of California, Riverside, Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California, Riverside
16:30
30m
Talk
Towards Human-Like Program Synthesis
MAPL
Rishabh Singh Google Brain
17:00 - 19:00
Hallway TrackISMM at ISMM live stream
17:00
10m
Day closing
Closing Remarks
ISMM
Chen Ding University of Rochester, Martin Maas Google Research
17:00 - 17:30
18:00 - 19:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

18:00
60m
Talk
From stateless functions to stateful applications: Azure Durable Functions
Sponsors
Sebastian Burckhardt Microsoft Research, Konstantinos Kallas University of Pennsylvania

Wed 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

04:45 - 05:00
05:00 - 06:00
05:00
20m
Talk
Typilus: Neural Type Hints
PLDI Research Papers
Miltiadis Allamanis Microsoft Research, Earl T. Barr University College London, UK, Soline Ducousso ENSTA Paris, France, Zheng Gao University College London, UK
05:20
20m
Talk
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
PLDI Research Papers
Jianan Yao Columbia University, USA, Gabriel Ryan Columbia University, USA, Justin Wong Columbia University, USA, Suman Jana Columbia University, USA, Ronghui Gu Columbia University, USA
05:40
20m
Talk
Blended, Precise Semantic Program Embeddings
PLDI Research Papers
Ke Wang Visa Research, Zhendong Su ETH Zurich, Switzerland
06:00 - 07:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

06:00
60m
Talk
Verified Programming with Project Everest
Sponsors
Aymeric Fromherz Carnegie Mellon University, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Nikhil Swamy Microsoft Research
06:20 - 07:40
Networking and HardwarePLDI Research Papers at PLDI Research Papers live stream
Chair(s): Luís Pina University of Illinois at Chicago

YouTube lightning session video

06:20
20m
Talk
NV: An Intermediate Language for Verification of Network Control Planes
PLDI Research Papers
Nick Giannarakis Princeton University, USA, Devon Loehr Princeton University, USA, Ryan Beckett Microsoft Research, USA, David Walker Princeton University, USA
06:40
20m
Talk
Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
PLDI Research Papers
Hongjune Kim Seoul National University, South Korea, Jianping Zeng Purdue University, USA, Qingrui Liu Virginia Tech, USA, Mohammad Abdel-Majeed University of Jordan, Jordan, Jaejin Lee Seoul National University, South Korea, Changhee Jung Purdue University, USA
07:00
20m
Talk
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
PLDI Research Papers
Kiwan Maeng Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University, USA
07:20
20m
Talk
Detecting Network Load Violations for Distributed Control Planes
PLDI Research Papers
Kausik Subramanian University of Wisconsin-Madison, USA, Anubhavnidhi Abhashkumar University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Aditya Akella University of Wisconsin-Madison, USA
07:40 - 08:00
Session 1Ask Me Anything at Ask Me Anything live stream
Chair(s): Benjamin C. Pierce University of Pennsylvania
07:40
20m
Live Q&A
"Ask Me Anything" with Simon Peyton Jones
Ask Me Anything
Simon Peyton Jones Microsoft, UK
08:00 - 09:00
08:00
20m
Talk
Data-Driven Inference of Representation Invariants
PLDI Research Papers
Anders Miltner Princeton University, USA, Saswat Padhi University of California at Los Angeles, USA, Todd Millstein University of California at Los Angeles, USA, David Walker Princeton University, USA
08:20
20m
Talk
Type Error Feedback via Analytic Program Repair
PLDI Research Papers
Georgios Sakkas University of California at San Diego, USA, Madeline Endres University of Michigan, USA, Benjamin Cosman University of California at San Diego, USA, Westley Weimer University of Michigan, USA, Ranjit Jhala University of California at San Diego, USA
08:40
20m
Talk
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
PLDI Research Papers
Chandrakana Nandi University of Washington, USA, Max Willsey University of Washington, USA, Adam Anderson University of Washington, USA, James R. Wilcox Certora, USA, Eva Darulova MPI-SWS, Germany, Dan Grossman University of Washington, USA, Zachary Tatlock University of Washington, Seattle
09:00 - 09:20
09:00
20m
Live Q&A
"Ask Me Anything" with Byron Cook
Ask Me Anything
Byron Cook Amazon and University College London
09:20 - 10:20
09:20
20m
Talk
Improving Program Locality in the GC using Hotness
PLDI Research Papers
Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Tobias Wrigstad Uppsala University, Sweden
09:40
20m
Talk
A Marriage of Pointer- and Epoch-Based Reclamation
PLDI Research Papers
Jeehoon Kang KAIST, Jaehwang Jung KAIST, South Korea
10:00
20m
Talk
CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
PLDI Research Papers
Brian Suchy Northwestern University, USA, Simone Campanoni Northwestern University, USA, Nikos Hardavellas Northwestern University, USA, Peter Dinda Northwestern University, USA
10:20 - 10:40
Session 3Ask Me Anything at Ask Me Anything live stream
Chair(s): Adrian Sampson Cornell University, USA
10:20
20m
Live Q&A
"Ask Me Anything" with Margaret Martonosi
Ask Me Anything
Margaret Martonosi Princeton University and NSF
10:40 - 12:00
10:40
20m
Talk
Verifying Concurrent Search Structure Templates
PLDI Research Papers
Siddharth Krishna Microsoft Research, Cambridge, Nisarg Patel New York University, USA, Dennis Shasha New York University, USA, Thomas Wies New York University, USA
11:00
20m
Talk
Armada: Low-Effort Verification of High-Performance Concurrent Programs
PLDI Research Papers
Jacob R. Lorch Microsoft Research, USA, Yixuan Chen University of Michigan, USA / Yale University, USA, Manos Kapritsos University of Michigan, USA, Bryan Parno Carnegie Mellon University, USA, Shaz Qadeer Novi, USA, Upamanyu Sharma University of Michigan, USA, James R. Wilcox Certora, USA, Xueyuan Zhao Carnegie Mellon University, USA
DOI
11:20
20m
Talk
Decidable Verification under a Causally Consistent Shared Memory
PLDI Research Papers
Ori Lahav Tel Aviv University, Israel, Udi Boker IDC Herzliya, Israel
11:40
20m
Talk
Inductive Sequentialization of Asynchronous Programs
PLDI Research Papers
Bernhard Kragl IST Austria, Constantin Enea University of Paris Diderot, France, Thomas A. Henzinger IST Austria, Austria, Suha Orhun Mutluergil IRIF, France / University of Paris, France / CNRS, France, Shaz Qadeer Novi, USA
10:40 - 11:10
SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link)SIGPLAN CARES at SIGPLAN Cares
12:00 - 12:30
Session 4Ask Me Anything at Ask Me Anything live stream
Chair(s): Michael Hicks University of Maryland
12:00
30m
Live Q&A
"Ask Me Anything" with Kathryn McKinley
Ask Me Anything
12:30 - 13:00
Session 5Ask Me Anything at Ask Me Anything live stream
Chair(s): John Regehr University of Utah
12:30
30m
Live Q&A
"Ask Me Anything" with Bjarne Stroustrup
Ask Me Anything
Bjarne Stroustrup Morgan Stanley and Columbia University
13:00 - 14:00
13:00
20m
Talk
Compiler and Runtime Support for Continuation Marks
PLDI Research Papers
Matthew Flatt University of Utah, USA, R. Kent Dybvig Cisco Systems, USA
13:20
20m
Talk
Crafty: Efficient, HTM-Compatible Persistent Transactions
PLDI Research Papers
Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles, USA
13:40
20m
Talk
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
PLDI Research Papers
Kavon Farvardin University of Chicago, USA, John Reppy University of Chicago, USA
14:00 - 14:20
Session 6Ask Me Anything at Ask Me Anything live stream
Chair(s): Emery D. Berger University of Massachusetts Amherst
14:00
20m
Live Q&A
"Ask Me Anything" with Michelle Strout
Ask Me Anything
Michelle Strout University of Arizona
14:20 - 15:40
14:20
20m
Talk
Validating SMT Solvers via Semantic Fusion
PLDI Research Papers
Dominik Winterer ETH Zurich, Switzerland, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich, Switzerland
14:40
20m
Talk
Debugging and Detecting Numerical Errors in Computation with Posits
PLDI Research Papers
Sangeeta Chowdhary Rutgers University, USA, Jay P. Lim Rutgers University, USA, Santosh Nagarakatte Rutgers University, USA
15:00
20m
Talk
SmartTrack: Efficient Predictive Race Detection
PLDI Research Papers
Jake Roemer Ohio State University, USA, Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA
15:20
20m
Talk
Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
PLDI Research Papers
Boqin Qin Beijing University of Posts and Telecommunications, Pennsylvania State University, Yilun Chen Purdue University, USA, Zeming Yu Pennsylvania State University, USA, Linhai Song Pennsylvania State University, USA, Yiying Zhang University of California at San Diego, USA
15:40 - 16:00
15:40
20m
Live Q&A
"Ask Me Anything" with Felix Klock
Ask Me Anything
Felix Klock Mozilla
16:00 - 17:00
SecurityPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Tony Hosking Australian National University / Data61

YouTube lightning session video

16:00
20m
Talk
Towards a Verified Range Analysis for JavaScript JITs
PLDI Research Papers
Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, USA, Hovav Shacham University of Texas at Austin, USA, Deian Stefan University of California at San Diego, USA
16:20
20m
Talk
Binary Rewriting without Control Flow Recovery
PLDI Research Papers
Gregory J. Duck National University of Singapore, Singapore, Xiang Gao National University of Singapore, Singapore, Abhik Roychoudhury National University of Singapore, Singapore
16:40
20m
Talk
BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
PLDI Research Papers
Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, USA, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology, USA

Thu 18 Jun

Displayed time zone: Pacific Time (US & Canada) change

04:50 - 05:00
05:00 - 06:00
05:00
20m
Talk
Repairing and Mechanising the JavaScript Relaxed Memory Model
PLDI Research Papers
Conrad Watt University of Cambridge, UK, Christopher Pulte University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Guillaume Barbier ENS Rennes, France, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Jean Pichon-Pharabod University of Cambridge, UK, Shu-yu Guo Bloomberg, USA
Pre-print
05:20
20m
Talk
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
PLDI Research Papers
Sung-Hwan Lee Seoul National University, South Korea, Minki Cho Seoul National University, South Korea, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Soham Chakraborty IIT Delhi, India, Chung-Kil Hur Seoul National University, South Korea, Ori Lahav Tel Aviv University, Israel, Viktor Vafeiadis MPI-SWS, Germany
05:40
20m
Talk
NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
PLDI Research Papers
Michal Friedman Technion, Israel, Naama Ben-David Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, USA, Erez Petrank Technion, Israel
06:00 - 07:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

06:00
60m
Talk
Lean 4
Sponsors
Leonardo de Moura Microsoft Research, n.n., Sebastian Ullrich KIT, Germany
06:20 - 07:40
06:20
20m
Talk
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
PLDI Research Papers
Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
06:40
20m
Talk
PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
PLDI Research Papers
Zhenwei Wu National University of Defense Technology, China / University of Manchester, UK, Kai Lu National University of Defense Technology, China, Andrew Nisbet University of Manchester, UK, Wenzhe Zhang National University of Defense Technology, China, Mikel Luján University of Manchester, UK
07:00
20m
Talk
SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
PLDI Research Papers
Youwei Zhuo University of Southern California, USA, Jingji Chen University of Southern California, USA, Qinyi Luo University of Southern California, USA, Yanzhi Wang Northeastern University, USA, Hailong Yang Beihang University, China, Depei Qian Beihang University, China, Xuehai Qian University of Southern California, USA
07:20
20m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
PLDI Research Papers
Sotiris Apostolakis Princeton University, USA, Ziyang Xu Princeton University, USA, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University, USA
DOI Pre-print Media Attached
07:40 - 08:00
GitHub meetingSponsors at Sponsors

Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

08:00 - 09:00
09:00 - 09:20
Session 8Ask Me Anything at Ask Me Anything live stream
Chair(s): John Wickerson Imperial College London
09:00
20m
Live Q&A
"Ask Me Anything" with Peter O’Hearn
Ask Me Anything
Peter W. O'Hearn Facebook and University College London
09:20 - 10:20
09:20
20m
Talk
Predictable Accelerator Design with Time-Sensitive Affine Types
PLDI Research Papers
Rachit Nigam Cornell University, USA, Sachille Atapattu Cornell University, USA, Samuel Thomas Cornell University, USA, Zhijing Li Cornell University, USA, Theodore Bauer Cornell University, USA, Yuwei Ye Cornell University, USA, Apurva Koti Cornell University, USA, Adrian Sampson Cornell University, USA, Zhiru Zhang Cornell University, USA
09:40
20m
Talk
Type-Directed Scheduling of Streaming Accelerators
PLDI Research Papers
David Durst Stanford University, USA, Matthew Feldman Stanford University, USA, Dillon Huff Stanford University, USA, David Akeley University of California at Los Angeles, USA, Ross Daly Stanford University, USA, Gilbert Louis Bernstein University of California at Berkeley, USA, Marco Patrignani Stanford University, USA / CISPA, Germany, Kayvon Fatahalian Stanford University, USA, Pat Hanrahan Stanford University, USA
10:00
20m
Talk
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
PLDI Research Papers
Frank Emrich University of Edinburgh, UK, Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK / Imperial College London, UK, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK, Jonathan Coates University of Edinburgh, UK
10:20 - 10:40
Session 9Ask Me Anything at Ask Me Anything live stream
Chair(s): Kathleen Fisher Tufts University, USA
10:20
20m
Live Q&A
"Ask Me Anything" with Alex Aiken
Ask Me Anything
Alex Aiken Stanford University, USA
10:40 - 11:40
10:40
20m
Talk
Proving Data-Poisoning Robustness in Decision Trees
PLDI Research Papers
Samuel Drews University of Wisconsin-Madison, USA, Aws Albarghouthi University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA
11:00
20m
Talk
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
PLDI Research Papers
Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Marko Vasic University of Texas at Austin, USA, Kaiyuan Wang Google, USA, Haris Vikalo University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin, USA
11:20
20m
Talk
Learning Fast and Precise Numerical Analysis
PLDI Research Papers
Jingxuan He ETH Zurich, Switzerland, Gagandeep Singh ETH Zurich, Switzerland, Markus Püschel ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
11:40 - 13:00
PLDI Business MeetingPLDI Research Papers at Business Meeting live stream

The agenda for the business meeting will include:

  • General Chair’s report
  • Program Chair’s report + Distinguished Paper awards
  • Artifiact Evaluation Chairs’ report + Distinguished Artifact Award
  • Plans for PLDI 2021
  • A report on the State of SIGPLAN
11:40
80m
Talk
PLDI Business Meeting
PLDI Research Papers

11:40 - 12:00
GitHub meetingSponsors at Sponsors

Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

12:00 - 13:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

12:00
60m
Talk
Microsoft MakeCode
Sponsors
Tom Ball , Peli de Halleux Microsoft Research, Michal Moskal Microsoft Research
13:00 - 14:00
13:00
20m
Talk
Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
PLDI Research Papers
Stephen Chou Massachusetts Institute of Technology, USA, Fredrik Kjolstad Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, USA
Pre-print
13:20
20m
Talk
OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
PLDI Research Papers
Ankush Phulia IIT Delhi, India, Vaibhav Bhagee IIT Delhi, India, Sorav Bansal IIT Delhi, India
13:40
20m
Talk
Effective Function Merging in the SSA Form
PLDI Research Papers
Rodrigo C. O. Rocha University of Edinburgh, UK, Pavlos Petoumenos University of Manchester, UK, Zheng Wang University of Leeds, UK, Murray Cole University of Edinburgh, UK, Hugh Leather University of Edinburgh, UK
14:00 - 14:20
Session 10Ask Me Anything at Ask Me Anything live stream
Chair(s): Stephen Kell University of Kent
14:00
20m
Live Q&A
"Ask Me Anything" with Richard Gabriel
Ask Me Anything
Richard P. Gabriel Dream Songs, Inc. & HPI
14:20 - 15:40
14:20
20m
Talk
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
PLDI Research Papers
Benjamin Bichsel ETH Zurich, Switzerland, Maximilian Baader ETH Zurich, Switzerland, Timon Gehr ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
14:40
20m
Talk
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
PLDI Research Papers
Thomas Bourgeat Massachusetts Institute of Technology, USA, Clément Pit-Claudel Massachusetts Institute of Technology, USA, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA
15:00
20m
Talk
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
PLDI Research Papers
Fabian Schuiki ETH Zurich, Switzerland, Andreas Kurth ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Switzerland, Luca Benini ETH Zurich, Switzerland
Link to publication Pre-print
15:20
20m
Talk
On the Principles of Differentiable Quantum Programming Languages
PLDI Research Papers
Shaopeng Zhu University of Maryland, USA, Shih-Han Hung University of Maryland, USA, Shouvanik Chakrabarti University of Maryland, USA, Xiaodi Wu University of Maryland, USA
15:40 - 16:00
Session 11Ask Me Anything at Ask Me Anything live stream
Chair(s): Michelle Strout University of Arizona
15:40
20m
Live Q&A
"Ask Me Anything" with Kathleen Fisher
Ask Me Anything
Kathleen Fisher Tufts University, USA
16:00 - 17:00
16:00
20m
Talk
Multi-modal Synthesis of Regular Expressions
PLDI Research Papers
Qiaochu Chen University of Texas at Austin, USA, Xinyu Wang University of Michigan at Ann Arbor, USA, Xi Ye University of Texas at Austin, USA, Greg Durrett University of Texas at Austin, USA, Isil Dillig University of Texas at Austin, USA
16:20
20m
Talk
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
PLDI Research Papers
DongKwon Lee Seoul National University, South Korea, Woosuk Lee Hanyang University, South Korea, Hakjoo Oh Korea University, South Korea, Kwangkeun Yi Seoul National University, South Korea
16:40
20m
Talk
CacheQuery: Learning Replacement Policies from Hardware Caches
PLDI Research Papers
Pepe Vila IMDEA Software Institute, Spain, Pierre Ganty IMDEA Software Institute, Spain, Marco Guarnieri IMDEA Software Institute, Spain, Boris Köpf Microsoft Research, n.n.
17:00 - 17:30
SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link)SIGPLAN CARES at SIGPLAN Cares

Fri 19 Jun

Displayed time zone: Pacific Time (US & Canada) change

04:50 - 05:00
05:00 - 06:00
Probabilistic ProgrammingPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign

YouTube lightning session video

05:00
20m
Talk
Proving Almost-Sure Termination by Omega-Regular Decomposition
PLDI Research Papers
Jianhui Chen Tsinghua University, China, Fei He Tsinghua University, China
05:20
20m
Talk
λPSI: Exact Inference for Higher-Order Probabilistic Programs
PLDI Research Papers
Timon Gehr ETH Zurich, Switzerland, Samuel Steffen ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
05:40
20m
Talk
Reactive Probabilistic Programming
PLDI Research Papers
Guillaume Baudart IBM Research, Louis Mandel IBM Research, Eric Atkinson Massachusetts Institute of Technology, USA, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology, USA
DOI Pre-print Media Attached
06:20 - 07:40
Parsing, Debugging, and Code SearchPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Dan Barowy Williams College

YouTube lightning session video

06:20
20m
Talk
Faster General Parsing through Context-Free Memoization
PLDI Research Papers
Grzegorz Herman Jagiellonian University, Poland
06:40
20m
Talk
Zippy LL(1) Parsing with Derivatives
PLDI Research Papers
Romain Edelmann EPFL, Switzerland, Jad Hamza EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
07:00
20m
Talk
Debug Information Validation for Optimized Code
PLDI Research Papers
Yuanbo Li Georgia Institute of Technology, USA, Shuo Ding Georgia Institute of Technology, USA, Qirun Zhang Georgia Institute of Technology, USA, Davide Italiano Apple, USA
07:20
20m
Talk
Semantic Code Search via Equational Reasoning
PLDI Research Papers
Varot Premtoon Massachusetts Institute of Technology, USA, James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology, USA
08:00 - 09:00
08:00
20m
Talk
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
PLDI Research Papers
Qinheping Hu University of Wisconsin-Madison, USA, John Cyphert University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin-Madison, USA
08:20
20m
Paper
Question Selection for Interactive Program Synthesis
PLDI Research Papers
Ruyi Ji Peking University, China, Jingjing Liang Peking University, China, Yingfei Xiong Peking University, China, Lu Zhang Peking University, China, Zhenjiang Hu Peking University, China
Pre-print
08:40
20m
Talk
Reconciling Enumerative and Deductive Program Synthesis
PLDI Research Papers
Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA, Peiyuan Shen Purdue University, USA, Yanjun Wang Purdue University, USA
09:20 - 10:20
Smart ContractsPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Ilya Sergey Yale-NUS College and National University of Singapore

YouTube lightning session video

09:20
20m
Talk
Securing Smart Contract with Runtime Validation
PLDI Research Papers
Ao Li University of Toronto, Canada, Jemin Andrew Choi University of Toronto, Canada, Fan Long University of Toronto, Canada
09:40
20m
Talk
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
PLDI Research Papers
Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Athens, Greece, Sifis Lagouvardos University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece
10:00
20m
Talk
Behavioral Simulation for Smart Contracts
PLDI Research Papers
Sidi Mohamed Beillahi IRIF - Université de Paris, Gabriela Ciocarlie SRI International, Michael Emmi Amazon Web Services, Constantin Enea University of Paris Diderot, France
10:20 - 10:40
Session 13Ask Me Anything at Ask Me Anything live stream
Chair(s): Emina Torlak University of Washington
10:20
20m
Live Q&A
"Ask Me Anything" with Işil Dillig
Ask Me Anything
Isil Dillig University of Texas at Austin, USA
10:40 - 12:00
Verification IIPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Manu Sridharan University of California Riverside

YouTube lightning session video

10:40
20m
Talk
Scalable Validation of Binary Lifters
PLDI Research Papers
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA, Sushant Dinesh University of Illinois at Urbana-Champaign, USA, Deepan Venkatesh University of Illinois at Urbana-Champaign, USA, Vikram S. Adve University of Illinois at Urbana-Champaign, USA, Christopher W. Fletcher University of Illinois at Urbana-Champaign, USA
11:00
20m
Talk
Polynomial Invariant Generation for Non-deterministic Recursive Programs
PLDI Research Papers
Krishnendu Chatterjee IST Austria, Austria, Hongfei Fu Shanghai Jiao Tong University, China, Amir Kafshdar Goharshady IST Austria, Austria, Ehsan Kafshdar Goharshady Ferdowsi University of Mashhad, Iran
11:20
20m
Talk
Templates and Recurrences: Better Together
PLDI Research Papers
Jason Breck University of Wisconsin-Madison, USA, John Cyphert University of Wisconsin-Madison, USA, Zachary Kincaid Princeton University, USA, Thomas Reps University of Wisconsin-Madison, USA
11:40
20m
Talk
First-Order Quantified Separators
PLDI Research Papers
Jason R. Koenig Stanford University, USA, Oded Padon Stanford University, USA, Neil Immerman University of Massachusetts at Amherst, USA, Alex Aiken Stanford University, USA
12:00 - 12:30
Session 14Ask Me Anything at Ask Me Anything live stream
Chair(s): Cristian Cadar Imperial College London
12:00
30m
Live Q&A
"Ask Me Anything" with Chris Lattner
Ask Me Anything
12:30 - 13:00
Session 15Ask Me Anything at Ask Me Anything live stream
Chair(s): Laurence Tratt King's College London
12:30
30m
Live Q&A
"Ask Me Anything" with Doug Lea
Ask Me Anything
Doug Lea State University of New York (SUNY) Oswego
13:00 - 14:00
Symbolic ExecutionPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Qirun Zhang Georgia Institute of Technology, USA

YouTube lightning session video

13:00
20m
Talk
Constant-Time Foundations for the New Spectre Era
PLDI Research Papers
Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall University of California at San Diego, USA, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego, USA, Tamara Rezk Inria, France, Gilles Barthe MPI for Security and Privacy, Germany / IMDEA Software Institute, Spain
13:20
20m
Talk
Gillian, Part I: A Multi-language Platform for Symbolic Execution
PLDI Research Papers
José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Sacha-Élie Ayoun Imperial College London, UK, Philippa Gardner Imperial College London, UK
DOI
13:40
20m
Talk
Efficient Handling of String-Number Conversion
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Julian Dolby IBM Research, USA, Petr Janků Brno University of Technology, Czechia, Hsin-Hung Lin Academia Sinica, Taiwan, Lukáš Holík Brno University of Technology, Czechia, Wei-Cheng Wu University of Southern California, USA
14:00 - 14:20
Session 16Ask Me Anything at Ask Me Anything live stream
Chair(s): Jan Vitek Northeastern University
14:00
20m
Live Q&A
"Ask Me Anything" with Guy Steele
Ask Me Anything
Guy L. Steele Jr. Oracle Labs
14:20 - 15:40
14:20
20m
Talk
HipHop.js: (A)Synchronous Reactive Web Programming
PLDI Research Papers
Gérard Berry Collège de France, France, Manuel Serrano Inria, France
14:40
20m
Talk
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
PLDI Research Papers
Roshan Dathathri University of Texas at Austin, USA, Blagovesta Kostova EPFL, Switzerland, Olli Saarikivi Microsoft Research, Redmond, Wei Dai Microsoft Research, n.n., Kim Laine Microsoft Research, Redmond, Madan Musuvathi Microsoft Research
15:00
20m
Talk
Towards an API for the Real Numbers
PLDI Research Papers
15:20
20m
Talk
Responsive Parallelism with Futures and State
PLDI Research Papers
Stefan K. Muller Carnegie Mellon University, USA, Kyle Singer Washington University in St. Louis, USA, Noah Goldstein Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University, USA, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA
16:00 - 17:00
16:00
20m
Talk
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
PLDI Research Papers
Auguste Olivry Inria, France, Julien Langou University of Colorado at Denver, USA, Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:20
20m
Talk
Fast Graph Simplification for Interleaved Dyck-Reachability
PLDI Research Papers
Yuanbo Li Georgia Institute of Technology, USA, Qirun Zhang Georgia Institute of Technology, USA, Thomas Reps University of Wisconsin-Madison, USA
16:40
20m
Talk
Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
PLDI Research Papers
Anastasios Antoniadis University of Athens, Greece, Nikos Filippakis CERN, Switzerland, Paddy Krishnan Oracle Labs, Australia, Raghavendra Ramesh ConsenSys, Australia, Nicholas Allen Oracle Labs, Australia, Yannis Smaragdakis University of Athens, Greece
Pre-print
17:00 - 18:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

17:00
60m
Talk
Symbolic Extended Regular Expressions Matching and Analysis
Sponsors
Margus Veanes Microsoft Research, Caleb Stanford University of Pennsylvania