Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jun
Times are displayed in 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'HearnFacebook 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 MuellerNorth 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 ShenThe University of Sydney, Xi WuThe University of Sydney, Neville GrechUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
06:46
26m
Talk
TACAI: An Intermediate Representation based on Abstract Interpretation
SOAP
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Ben HermannPaderborn University, Michael EichbergTU Darmstadt, Germany, Mira MeziniTechnische Universität Darmstadt
Media Attached
07:13
26m
Talk
Value and Allocation Sensitivities in Static Python Analyses
SOAP
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne 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 ArmstrongUniversity of Cambridge, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidGoogle Research, Kathryn E. GrayFacebook, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, UK, Shaked FlurGoogle, Ian StarkThe University of Edinburgh, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
07:50
40m
Talk
ARMv8 and RISC-V relaxed memory concurrency
REMS-DeepSpec
P: Shaked FlurGoogle, P: Christopher PulteUniversity of Cambridge, UK, Luc MarangetInria Paris, Will DeaconARM Ltd., Susmit SarkarUniversity of St. Andrews, Ben Simner, Jean Pichon-PharabodUniversity of Cambridge, UK, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University, South Korea, Alasdair ArmstrongUniversity of Cambridge, Ohad KammarUniversity of Edinburgh, Jon FrenchUniversity of Cambridge, Kathryn E. GrayFacebook, Ali SezginUniversity of Cambridge, Peter SewellUniversity 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 FeldmanStanford University, USA, Artur SouzaUniversidade Federal de Minas Gerais (UFMG), Luigi NardiLund University and Stanford University, Kunle OlukotunStanford University
08:00 - 09:00
Tool Talks 1SOAP at SOAP live stream
08:00
15m
Other
Tool Talk: Soufflé
SOAP
Bernhard ScholzUniversity of Sydney, Australia
Media Attached
08:15
15m
Other
Tool Talk: DOOP
SOAP
Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
08:30
15m
Other
Tool Talk: CodeChecker
SOAP
Gábor MártonEricsson Ltd, Dániel KruppEricsson Ltd
Media Attached
08:45
15m
Other
Tool Talk: KLEE
SOAP
Cristian CadarImperial College London, Martin NowackImperial 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 MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Stella Lau, Jean Pichon-PharabodUniversity of Cambridge, UK, Justus MatthiesenUniversity of Cambridge, Peter SewellUniversity of Cambridge
09:50
40m
Talk
Verified Software Toolchain: a powerful and practical tool
REMS-DeepSpec
Andrew AppelPrinceton
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 PolikarpovaUniversity 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 JhalaUniversity of California at San Diego, USA
11:00
60m
Live Q&A
Panel: Charting your Path
PLMW@PLDI
Alexandra SilvaUniversity College London, Stephen N. FreundWilliams College, Madan MusuvathiMicrosoft Research, Loris D'AntoniUniversity of Wisconsin-Madison, USA
10:40 - 12:00
Tool Talks 2SOAP at SOAP live stream
10:40
16m
Other
Tool Talk: Soot
SOAP
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Media Attached
10:56
16m
Other
Tool Talk: Phasar
SOAP
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
Media Attached File Attached
11:12
16m
Other
Tool Talk: MagpieBridge
SOAP
Linghui LuoPaderborn University, Germany
Media Attached
11:28
16m
Other
Tool Talk: WALA
SOAP
Julian DolbyIBM 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

Tue 16 Jun
Times are displayed in 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 MaasGoogle Research, Chen DingUniversity 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 PetrankTechnion, Israel
05:00
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
05:30
30m
Talk
Prefetching in Functional Languages
ISMM
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
06:00
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
06:30
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
05:00 - 07:00
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi ÇiçekFacebook 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 ChopraLancaster University, Munindar P. SinghNorth 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 BauereissUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Alexandre JoannouUniversity of Cambridge, Anthony FoxUniversity of Cambridge, UK, Michael RoeUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Matthew NaylorUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Simon W. MooreUniversity of Cambridge, Peter G. NeumannSRI International, Ian StarkThe University of Edinburgh, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
05:50
40m
Talk
Katamaran: semi-automated verification of ISA specifications
REMS-DeepSpec
Steven Keuchel, Georgy LukyanovNewcastle University, UK, Dominique DevrieseVrije 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 VisserDelft University of Technology
Media Attached
07:00 - 09:00
Session 2AISMM at ISMM live stream
Chair(s): Stefano MarkidisKTH Royal Institute of Technology
07:00
30m
Talk
Verified Sequential Malloc/Free
ISMM
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
07:30
30m
Talk
Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
ISMM
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
08:00
30m
Talk
Understanding and Optimizing Persistent Memory Allocation
ISMM
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
08:30
30m
Talk
Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
07:00 - 09:00
Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A: Tomas FiedorVUT Brno, A: Dominik HarmimBrno University of Technology, Faculty of Information Technology, A: Vladimir MarcinBrno University of Technology, Faculty of Information Technology, A: Ondřej PavelaBrno University of Technology, Faculty of Information Technology, A: Adam RogalewiczBrno University of Technology, Faculty of Information Technology, A: Tomáš VojnarBrno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I: Pavle SuboticAmazon
08:30
30m
Coffee break
Break
Infer Practitioners
07:00 - 09:00
Day 2 MorningPLMW@PLDI at PLMW live stream
Chair(s): Adrian SampsonCornell 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 CarbinMassachusetts Institute of Technology, USA
08:00
60m
Talk
Technical talk: Compositional Compiler Correctness
PLMW@PLDI
Amal AhmedNortheastern 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 GardnerImperial College London, UK, José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK
07:50
40m
Talk
WebAssembly: sequential and concurrent semantics
REMS-DeepSpec
P: Conrad WattUniversity of Cambridge, UK, Guillaume BarbierENS Rennes, France, Martin BodinImperial College London, Sunjay CauligiUniversity of California at San Diego, USA, Craig DisselkoenUniversity of California at San Diego, USA, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Philippa GardnerImperial College London, UK, Tal GarfinkelStanford University, Shu-yu GuoBloomberg, USA, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Amit Levy, Petar MaksimovićImperial College London, UK, Jean Pichon-PharabodUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Natalie PopescuUniversity of California San Diego, Christopher PulteUniversity of Cambridge, UK, John RennerUniversity of California at San Diego, USA, Andreas RossbergDfinity Stiftung, Deian StefanUniversity of California at San Diego, USA, Rao XiaojImperial College
08:00 - 10:00
Graph Neural Networks for Program ReasoningMAPL at MAPL live stream
Chair(s): Ke WangVisa Research
08:00
30m
Talk
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs
MAPL
Elizabeth DinellaUniversity 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 DilligUniversity of Texas at Austin, USA
09:00 - 11:00
Session 1B (Repeat of Session 1A)ISMM at ISMM live stream
Chair(s): Ian RogersGoogle, USA
09:00
30m
Talk
Prefetching in Functional Languages
ISMM
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
09:30
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
10:00
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
10:30
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
09:00 - 11:00
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun DengMicrosoft Corporation, A: Matthew JinMicrosoft Corporation, A: Xiaoyu LiuMicrosoft Corporation, A: Xin ShiMicrosoft Corporation, A: Neel SundaresanMicrosoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen MagillMuse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma ChurchillFacebook London, P: Ezgi ÇiçekFacebook London, P: Nikos GorogiannisFacebook and Middlesex University London, P: Jules VillardFacebook 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 ZakowskiUniversity of Pennsylvania
09:50
40m
Talk
The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System
REMS-DeepSpec
Adam ChlipalaMassachusetts Institute of Technology, Andres Erbsen, Samuel GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, USA
10:00 - 10:30
10:00 - 12:00
Day 2 AfternoonPLMW@PLDI at PLMW live stream
Chair(s): Milind KulkarniPurdue 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. BergerUniversity of Massachusetts Amherst
11:00
60m
Live Q&A
Panel: Surviving Grad School
PLMW@PLDI
Fredrik KjolstadStanford University, Jean YangCarnegie Mellon University, Chandrakana NandiUniversity of Washington, USA, Eva DarulovaMPI-SWS, Germany
10:30 - 11:30
Deep Learning and Program VerificationMAPL at MAPL live stream
Chair(s): Xujie SiMcGill University, Canada
10:30
30m
Talk
An Abstraction-Based Framework for Neural Network Verification
MAPL
Guy KatzHebrew University
11:00
30m
Talk
Generating Correctness Proofs with Neural Networks
MAPL
Alex Sanchez-SternUniversity of California, San Diego, Yousef AlhessiUniversity of California, San Diego, Lawrence SaulUniversity of California, San Diego, Sorin LernerUniversity of California at San Diego, USA
11:00 - 13:00
Keynote & Social HourISMM at ISMM live stream
Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research
11:00
60m
Talk
Keynote: Richard Jones
ISMM
Richard JonesUniversity 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 SuttonGoogle Research
11:30
30m
Talk
On the Challenges in Programming Mixed-Precision Deep Neural Networks
MAPL
Ruizhe ZhaoImperial College London, Wayne LukImperial College London, Chao XiongCorerain Technologies, Xinyu NiuCorerain Technologies, Kuen Hung TsoiCorerain Technologies
12:00
30m
Talk
Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs
MAPL
Momoko HattoriThe University of Tokyo, Shimpei SawadaPreferred Networks, Shinichiro HamajiPreferred Networks, Masahiro SakaiPreferred Networks, Shunsuke ShimizuPreferred 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 GottschlichIntel Labs / Penn
13:00
60m
Talk
Program Optimization for Machine Learning
MAPL
Alex AikenStanford University, USA
14:00 - 15:00
Formal Methods and Reinforcement LearningMAPL at MAPL live stream
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison, USA
14:00
30m
Talk
Learned Garbage Collection
MAPL
Lujing CenMIT CSAIL, Ryan MarcusMIT CSAIL / Intel Labs, Hongzi MaoMIT CSAIL, Justin GottschlichIntel Labs / Penn, Mohammad AlizadehMIT CSAIL, Tim KraskaMIT CSAIL
14:30
30m
Talk
Trustworthy Autonomy through Program Synthesis
MAPL
Swarat ChaudhuriRice University
15:00 - 17:00
Session 2B (Repeat of Session 2A)ISMM at ISMM live stream
Chair(s): Po-An TsaiNVIDIA
15:00
30m
Talk
Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories
ISMM
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
15:30
30m
Talk
Understanding and Optimizing Persistent Memory Allocation
ISMM
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
16:00
30m
Talk
Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages
ISMM
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
16:30
30m
Talk
Verified Sequential Malloc/Free
ISMM
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
15:00 - 15:30
15:30 - 17:00
Program SynthesisMAPL at MAPL live stream
Chair(s): Satish ChandraFacebook
15:30
30m
Talk
Neurosymbolic Reasoning and the Third Wave of Program Synthesis
MAPL
Armando Solar-LezamaMassachusetts Institute of Technology, USA
16:00
30m
Talk
Learning Quantitative Representation Synthesis
MAPL
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
16:30
30m
Talk
Towards Human-Like Program Synthesis
MAPL
Rishabh SinghGoogle Brain
17:00 - 19:00
Hallway TrackISMM at ISMM live stream
17:00
10m
Day closing
Closing Remarks
ISMM
Chen DingUniversity of Rochester, Martin MaasGoogle 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 BurckhardtMicrosoft Research, Konstantinos KallasUniversity of Pennsylvania

Wed 17 Jun
Times are displayed in 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 AllamanisMicrosoft Research, Earl T. BarrUniversity College London, UK, Soline DucoussoENSTA Paris, France, Zheng GaoUniversity College London, UK
05:20
20m
Talk
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
PLDI Research Papers
Jianan YaoColumbia University, USA, Gabriel RyanColumbia University, USA, Justin WongColumbia University, USA, Suman JanaColumbia University, USA, Ronghui GuColumbia University, USA
05:40
20m
Talk
Blended, Precise Semantic Program Embeddings
PLDI Research Papers
Ke WangVisa Research, Zhendong SuETH 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 FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research
06:20 - 07:40
Networking and HardwarePLDI Research Papers at PLDI Research Papers live stream
Chair(s): Luís PinaUniversity 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 GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA
06:40
20m
Talk
Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection
PLDI Research Papers
Hongjune KimSeoul National University, South Korea, Jianping ZengPurdue University, USA, Qingrui LiuVirginia Tech, USA, Mohammad Abdel-MajeedUniversity of Jordan, Jordan, Jaejin LeeSeoul National University, South Korea, Changhee JungPurdue University, USA
07:00
20m
Talk
Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution
PLDI Research Papers
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University, USA
07:20
20m
Talk
Detecting Network Load Violations for Distributed Control Planes
PLDI Research Papers
Kausik SubramanianUniversity of Wisconsin-Madison, USA, Anubhavnidhi AbhashkumarUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA, Aditya AkellaUniversity of Wisconsin-Madison, USA
07:40 - 08:00
Session 1Ask Me Anything at Ask Me Anything live stream
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
07:40
20m
Live Q&A
"Ask Me Anything" with Simon Peyton Jones
Ask Me Anything
Simon Peyton JonesMicrosoft, UK
08:00 - 09:00
08:00
20m
Talk
Data-Driven Inference of Representation Invariants
PLDI Research Papers
Anders MiltnerPrinceton University, USA, Saswat PadhiUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California at Los Angeles, USA, David WalkerPrinceton University, USA
08:20
20m
Talk
Type Error Feedback via Analytic Program Repair
PLDI Research Papers
Georgios SakkasUniversity of California at San Diego, USA, Madeline EndresUniversity of Michigan, USA, Benjamin CosmanUniversity of California at San Diego, USA, Westley WeimerUniversity of Michigan, USA, Ranjit JhalaUniversity of California at San Diego, USA
08:40
20m
Talk
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
PLDI Research Papers
Chandrakana NandiUniversity of Washington, USA, Max WillseyUniversity of Washington, USA, Adam AndersonUniversity of Washington, USA, James R. WilcoxCertora, USA, Eva DarulovaMPI-SWS, Germany, Dan GrossmanUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle
09:00 - 09:20
09:00
20m
Live Q&A
"Ask Me Anything" with Byron Cook
Ask Me Anything
Byron CookAmazon 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 YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Tobias WrigstadUppsala University, Sweden
09:40
20m
Talk
A Marriage of Pointer- and Epoch-Based Reclamation
PLDI Research Papers
Jeehoon KangKAIST, Jaehwang JungKAIST, South Korea
10:00
20m
Talk
CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation
PLDI Research Papers
Brian SuchyNorthwestern University, USA, Simone CampanoniNorthwestern University, USA, Nikos HardavellasNorthwestern University, USA, Peter DindaNorthwestern University, USA
10:20 - 10:40
Session 3Ask Me Anything at Ask Me Anything live stream
Chair(s): Adrian SampsonCornell University, USA
10:20
20m
Live Q&A
"Ask Me Anything" with Margaret Martonosi
Ask Me Anything
Margaret MartonosiPrinceton University and NSF
10:40 - 12:00
10:40
20m
Talk
Verifying Concurrent Search Structure Templates
PLDI Research Papers
Siddharth KrishnaMicrosoft Research, Cambridge, Nisarg PatelNew York University, USA, Dennis ShashaNew York University, USA, Thomas WiesNew York University, USA
11:00
20m
Talk
Armada: Low-Effort Verification of High-Performance Concurrent Programs
PLDI Research Papers
Jacob R. LorchMicrosoft Research, USA, Yixuan ChenUniversity of Michigan, USA / Yale University, USA, Manos KapritsosUniversity of Michigan, USA, Bryan ParnoCarnegie Mellon University, USA, Shaz QadeerNovi, USA, Upamanyu SharmaUniversity of Michigan, USA, James R. WilcoxCertora, USA, Xueyuan ZhaoCarnegie Mellon University, USA
DOI
11:20
20m
Talk
Decidable Verification under a Causally Consistent Shared Memory
PLDI Research Papers
Ori LahavTel Aviv University, Israel, Udi BokerIDC Herzliya, Israel
11:40
20m
Talk
Inductive Sequentialization of Asynchronous Programs
PLDI Research Papers
Bernhard KraglIST Austria, Constantin EneaUniversity of Paris Diderot, France, Thomas A. HenzingerIST Austria, Austria, Suha Orhun MutluergilIRIF, France / University of Paris, France / CNRS, France, Shaz QadeerNovi, 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 HicksUniversity 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 RegehrUniversity of Utah
12:30
30m
Live Q&A
"Ask Me Anything" with Bjarne Stroustrup
Ask Me Anything
Bjarne StroustrupMorgan Stanley and Columbia University
13:00 - 14:00
13:00
20m
Talk
Compiler and Runtime Support for Continuation Marks
PLDI Research Papers
Matthew FlattUniversity of Utah, USA, R. Kent DybvigCisco Systems, USA
13:20
20m
Talk
Crafty: Efficient, HTM-Compatible Persistent Transactions
PLDI Research Papers
Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA
13:40
20m
Talk
From Folklore to Fact: Comparing Implementations of Stacks and Continuations
PLDI Research Papers
Kavon FarvardinUniversity of Chicago, USA, John ReppyUniversity of Chicago, USA
14:00 - 14:20
Session 6Ask Me Anything at Ask Me Anything live stream
Chair(s): Emery D. BergerUniversity of Massachusetts Amherst
14:00
20m
Live Q&A
"Ask Me Anything" with Michelle Strout
Ask Me Anything
Michelle StroutUniversity of Arizona
14:20 - 15:40
14:20
20m
Talk
Validating SMT Solvers via Semantic Fusion
PLDI Research Papers
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
14:40
20m
Talk
Debugging and Detecting Numerical Errors in Computation with Posits
PLDI Research Papers
Sangeeta ChowdharyRutgers University, USA, Jay P. LimRutgers University, USA, Santosh NagarakatteRutgers University, USA
15:00
20m
Talk
SmartTrack: Efficient Predictive Race Detection
PLDI Research Papers
Jake RoemerOhio State University, USA, Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA
15:20
20m
Talk
Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs
PLDI Research Papers
Boqin QinBeijing University of Posts and Telecommunications, Pennsylvania State University, Yilun ChenPurdue University, USA, Zeming YuPennsylvania State University, USA, Linhai SongPennsylvania State University, USA, Yiying ZhangUniversity 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
16:00 - 17:00
16:00
20m
Talk
Towards a Verified Range Analysis for JavaScript JITs
PLDI Research Papers
Fraser BrownStanford University, USA, John RennerUniversity of California at San Diego, USA, Andres NötzliStanford University, USA, Sorin LernerUniversity of California at San Diego, USA, Hovav ShachamUniversity of Texas at Austin, USA, Deian StefanUniversity of California at San Diego, USA
16:20
20m
Talk
Binary Rewriting without Control Flow Recovery
PLDI Research Papers
Gregory J. DuckNational University of Singapore, Singapore, Xiang GaoNational University of Singapore, Singapore, Abhik RoychoudhuryNational 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 PorterGeorgia Institute of Technology, USA, Girish MururuGeorgia Institute of Technology, USA, Prithayan BaruaGeorgia Institute of Technology, USA, Santosh PandeGeorgia Institute of Technology, USA

Thu 18 Jun
Times are displayed in 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 WattUniversity of Cambridge, UK, Christopher PulteUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Guillaume BarbierENS Rennes, France, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Jean Pichon-PharabodUniversity of Cambridge, UK, Shu-yu GuoBloomberg, USA
Pre-print
05:20
20m
Talk
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
PLDI Research Papers
Sung-Hwan LeeSeoul National University, South Korea, Minki ChoSeoul National University, South Korea, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Soham ChakrabortyIIT Delhi, India, Chung-Kil HurSeoul National University, South Korea, Ori LahavTel Aviv University, Israel, Viktor VafeiadisMPI-SWS, Germany
05:40
20m
Talk
NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey
PLDI Research Papers
Michal FriedmanTechnion, Israel, Naama Ben-DavidCarnegie Mellon University, USA, Yuanhao WeiCarnegie Mellon University, USA, Guy E. BlellochCarnegie Mellon University, USA, Erez PetrankTechnion, 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 MouraMicrosoft Research, n.n., Sebastian UllrichKIT, 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 RitterSaarland University, Germany, Sebastian HackSaarland University, Germany
06:40
20m
Talk
PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
PLDI Research Papers
Zhenwei WuNational University of Defense Technology, China / University of Manchester, UK, Kai LuNational University of Defense Technology, China, Andrew NisbetUniversity of Manchester, UK, Wenzhe ZhangNational University of Defense Technology, China, Mikel LujánUniversity of Manchester, UK
07:00
20m
Talk
SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
PLDI Research Papers
Youwei ZhuoUniversity of Southern California, USA, Jingji ChenUniversity of Southern California, USA, Qinyi LuoUniversity of Southern California, USA, Yanzhi WangNortheastern University, USA, Hailong YangBeihang University, China, Depei QianBeihang University, China, Xuehai QianUniversity of Southern California, USA
07:20
20m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
PLDI Research Papers
Sotiris ApostolakisPrinceton University, USA, Ziyang XuPrinceton University, USA, Zujun TanPrinceton University, USA, Greg ChanPrinceton University, USA, Simone CampanoniNorthwestern University, USA, David I. AugustPrinceton 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 WickersonImperial College London
09:00
20m
Live Q&A
"Ask Me Anything" with Peter O’Hearn
Ask Me Anything
Peter W. O'HearnFacebook and University College London
09:20 - 10:20
09:20
20m
Talk
Predictable Accelerator Design with Time-Sensitive Affine Types
PLDI Research Papers
Rachit NigamCornell University, USA, Sachille AtapattuCornell University, USA, Samuel ThomasCornell University, USA, Zhijing LiCornell University, USA, Theodore BauerCornell University, USA, Yuwei YeCornell University, USA, Apurva KotiCornell University, USA, Adrian SampsonCornell University, USA, Zhiru ZhangCornell University, USA
09:40
20m
Talk
Type-Directed Scheduling of Streaming Accelerators
PLDI Research Papers
David DurstStanford University, USA, Matthew FeldmanStanford University, USA, Dillon HuffStanford University, USA, David AkeleyUniversity of California at Los Angeles, USA, Ross DalyStanford University, USA, Gilbert Louis BernsteinUniversity of California at Berkeley, USA, Marco PatrignaniStanford University, USA / CISPA, Germany, Kayvon FatahalianStanford University, USA, Pat HanrahanStanford University, USA
10:00
20m
Talk
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
PLDI Research Papers
Frank EmrichUniversity of Edinburgh, UK, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK / Imperial College London, UK, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK, Jonathan CoatesUniversity of Edinburgh, UK
10:20 - 10:40
Session 9Ask Me Anything at Ask Me Anything live stream
Chair(s): Kathleen FisherTufts University, USA
10:20
20m
Live Q&A
"Ask Me Anything" with Alex Aiken
Ask Me Anything
Alex AikenStanford University, USA
10:40 - 11:40
10:40
20m
Talk
Proving Data-Poisoning Robustness in Decision Trees
PLDI Research Papers
Samuel DrewsUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity 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 UsmanUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Marko VasicUniversity of Texas at Austin, USA, Kaiyuan WangGoogle, USA, Haris VikaloUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin, USA
11:20
20m
Talk
Learning Fast and Precise Numerical Analysis
PLDI Research Papers
Jingxuan HeETH Zurich, Switzerland, Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Switzerland, Martin VechevETH 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 HalleuxMicrosoft Research, Michal MoskalMicrosoft Research
13:00 - 14:00
13:00
20m
Talk
Automatic Generation of Efficient Sparse Tensor Format Conversion Routines
PLDI Research Papers
Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, Saman AmarasingheMassachusetts Institute of Technology, USA
Pre-print
13:20
20m
Talk
OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization
PLDI Research Papers
Ankush PhuliaIIT Delhi, India, Vaibhav BhageeIIT Delhi, India, Sorav BansalIIT Delhi, India
13:40
20m
Talk
Effective Function Merging in the SSA Form
PLDI Research Papers
Rodrigo C. O. RochaUniversity of Edinburgh, UK, Pavlos PetoumenosUniversity of Manchester, UK, Zheng WangUniversity of Leeds, UK, Murray ColeUniversity of Edinburgh, UK, Hugh LeatherUniversity of Edinburgh, UK
14:00 - 14:20
Session 10Ask Me Anything at Ask Me Anything live stream
Chair(s): Stephen KellUniversity of Kent
14:00
20m
Live Q&A
"Ask Me Anything" with Richard Gabriel
Ask Me Anything
Richard P. GabrielDream 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 BichselETH Zurich, Switzerland, Maximilian BaaderETH Zurich, Switzerland, Timon GehrETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
14:40
20m
Talk
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
PLDI Research Papers
Thomas BourgeatMassachusetts Institute of Technology, USA, Clément Pit-ClaudelMassachusetts Institute of Technology, USA, Adam ChlipalaMassachusetts Institute of Technology, ArvindMassachusetts Institute of Technology, USA
15:00
20m
Talk
LLHD: A Multi-level Intermediate Representation for Hardware Description Languages
PLDI Research Papers
Fabian SchuikiETH Zurich, Switzerland, Andreas KurthETH Zurich, Switzerland, Tobias GrosserETH Zurich, Switzerland, Luca BeniniETH Zurich, Switzerland
Link to publication Pre-print
15:20
20m
Talk
On the Principles of Differentiable Quantum Programming Languages
PLDI Research Papers
Shaopeng ZhuUniversity of Maryland, USA, Shih-Han HungUniversity of Maryland, USA, Shouvanik ChakrabartiUniversity of Maryland, USA, Xiaodi WuUniversity of Maryland, USA
15:40 - 16:00
Session 11Ask Me Anything at Ask Me Anything live stream
Chair(s): Michelle StroutUniversity of Arizona
15:40
20m
Live Q&A
"Ask Me Anything" with Kathleen Fisher
Ask Me Anything
Kathleen FisherTufts University, USA
16:00 - 17:00
16:00
20m
Talk
Multi-modal Synthesis of Regular Expressions
PLDI Research Papers
Qiaochu ChenUniversity of Texas at Austin, USA, Xinyu WangUniversity of Michigan at Ann Arbor, USA, Xi YeUniversity of Texas at Austin, USA, Greg DurrettUniversity of Texas at Austin, USA, Isil DilligUniversity of Texas at Austin, USA
16:20
20m
Talk
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting
PLDI Research Papers
DongKwon LeeSeoul National University, South Korea, Woosuk LeeHanyang University, South Korea, Hakjoo OhKorea University, South Korea, Kwangkeun YiSeoul National University, South Korea
16:40
20m
Talk
CacheQuery: Learning Replacement Policies from Hardware Caches
PLDI Research Papers
Pepe VilaIMDEA Software Institute, Spain, Pierre GantyIMDEA Software Institute, Spain, Marco GuarnieriIMDEA Software Institute, Spain, Boris KöpfMicrosoft 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
Times are displayed in 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 MisailovicUniversity 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 ChenTsinghua University, China, Fei HeTsinghua University, China
05:20
20m
Talk
λPSI: Exact Inference for Higher-Order Probabilistic Programs
PLDI Research Papers
Timon GehrETH Zurich, Switzerland, Samuel SteffenETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
05:40
20m
Talk
Reactive Probabilistic Programming
PLDI Research Papers
Guillaume BaudartIBM Research, Louis MandelIBM Research, Eric AtkinsonMassachusetts Institute of Technology, USA, Benjamin ShermanMassachusetts Institute of Technology, USA, Marc PouzetÉcole normale supérieure, Michael CarbinMassachusetts 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 BarowyWilliams College

YouTube lightning session video

06:20
20m
Talk
Faster General Parsing through Context-Free Memoization
PLDI Research Papers
Grzegorz HermanJagiellonian University, Poland
06:40
20m
Talk
Zippy LL(1) Parsing with Derivatives
PLDI Research Papers
Romain EdelmannEPFL, Switzerland, Jad HamzaEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
07:00
20m
Talk
Debug Information Validation for Optimized Code
PLDI Research Papers
Yuanbo LiGeorgia Institute of Technology, USA, Shuo DingGeorgia Institute of Technology, USA, Qirun ZhangGeorgia Institute of Technology, USA, Davide ItalianoApple, USA
07:20
20m
Talk
Semantic Code Search via Equational Reasoning
PLDI Research Papers
Varot PremtoonMassachusetts Institute of Technology, USA, James KoppelMassachusetts Institute of Technology, USA, Armando Solar-LezamaMassachusetts 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 HuUniversity of Wisconsin-Madison, USA, John CyphertUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin-Madison, USA
08:20
20m
Paper
Question Selection for Interactive Program Synthesis
PLDI Research Papers
Ruyi JiPeking University, China, Jingjing LiangPeking University, China, Yingfei XiongPeking University, China, Lu ZhangPeking University, China, Zhenjiang HuPeking University, China
Pre-print
08:40
20m
Talk
Reconciling Enumerative and Deductive Program Synthesis
PLDI Research Papers
Kangjing HuangPurdue University, USA, Xiaokang QiuPurdue University, USA, Peiyuan ShenPurdue University, USA, Yanjun WangPurdue University, USA
09:20 - 10:20
Smart ContractsPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Ilya SergeyYale-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 LiUniversity of Toronto, Canada, Jemin Andrew ChoiUniversity of Toronto, Canada, Fan LongUniversity of Toronto, Canada
09:40
20m
Talk
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
PLDI Research Papers
Lexi BrentInternational Computer Science Institute, USA / University of Sydney, Australia, Neville GrechUniversity of Athens, Greece, Sifis LagouvardosUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
10:00
20m
Talk
Behavioral Simulation for Smart Contracts
PLDI Research Papers
Sidi Mohamed BeillahiIRIF - Université de Paris, Gabriela CiocarlieSRI International, Michael EmmiAmazon Web Services, Constantin EneaUniversity of Paris Diderot, France
10:20 - 10:40
Session 13Ask Me Anything at Ask Me Anything live stream
Chair(s): Emina TorlakUniversity of Washington
10:20
20m
Live Q&A
"Ask Me Anything" with Işil Dillig
Ask Me Anything
Isil DilligUniversity of Texas at Austin, USA
10:40 - 12:00
Verification IIPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Manu SridharanUniversity of California Riverside

YouTube lightning session video

10:40
20m
Talk
Scalable Validation of Binary Lifters
PLDI Research Papers
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Sushant DineshUniversity of Illinois at Urbana-Champaign, USA, Deepan VenkateshUniversity of Illinois at Urbana-Champaign, USA, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, USA, Christopher W. FletcherUniversity of Illinois at Urbana-Champaign, USA
11:00
20m
Talk
Polynomial Invariant Generation for Non-deterministic Recursive Programs
PLDI Research Papers
Krishnendu ChatterjeeIST Austria, Austria, Hongfei FuShanghai Jiao Tong University, China, Amir Kafshdar GoharshadyIST Austria, Austria, Ehsan Kafshdar GoharshadyFerdowsi University of Mashhad, Iran
11:20
20m
Talk
Templates and Recurrences: Better Together
PLDI Research Papers
Jason BreckUniversity of Wisconsin-Madison, USA, John CyphertUniversity of Wisconsin-Madison, USA, Zachary KincaidPrinceton University, USA, Thomas RepsUniversity of Wisconsin-Madison, USA
11:40
20m
Talk
First-Order Quantified Separators
PLDI Research Papers
Jason R. KoenigStanford University, USA, Oded PadonStanford University, USA, Neil ImmermanUniversity of Massachusetts at Amherst, USA, Alex AikenStanford University, USA
12:00 - 12:30
Session 14Ask Me Anything at Ask Me Anything live stream
Chair(s): Cristian CadarImperial 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 TrattKing's College London
12:30
30m
Live Q&A
"Ask Me Anything" with Doug Lea
Ask Me Anything
Doug LeaState University of New York (SUNY) Oswego
13:00 - 14:00
Symbolic ExecutionPLDI Research Papers at PLDI Research Papers live stream
Chair(s): Qirun ZhangGeorgia Institute of Technology, USA

YouTube lightning session video

13:00
20m
Talk
Constant-Time Foundations for the New Spectre Era
PLDI Research Papers
Sunjay CauligiUniversity of California at San Diego, USA, Craig DisselkoenUniversity of California at San Diego, USA, Klaus v. GleissenthallUniversity of California at San Diego, USA, Dean TullsenUniversity of California at San Diego, USA, Deian StefanUniversity of California at San Diego, USA, Tamara RezkInria, France, Gilles BartheMPI 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 SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK, Philippa GardnerImperial College London, UK
DOI
13:40
20m
Talk
Efficient Handling of String-Number Conversion
PLDI Research Papers
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Yu-Fang ChenAcademia Sinica, Taiwan, Bui Phi DiepUppsala University, Sweden, Julian DolbyIBM Research, USA, Petr JankůBrno University of Technology, Czechia, Hsin-Hung LinAcademia Sinica, Taiwan, Lukáš HolíkBrno University of Technology, Czechia, Wei-Cheng WuUniversity of Southern California, USA
14:00 - 14:20
Session 16Ask Me Anything at Ask Me Anything live stream
Chair(s): Jan VitekNortheastern University
14:00
20m
Live Q&A
"Ask Me Anything" with Guy Steele
Ask Me Anything
14:20 - 15:40
14:20
20m
Talk
HipHop.js: (A)Synchronous Reactive Web Programming
PLDI Research Papers
Gérard BerryCollège de France, France, Manuel SerranoInria, France
14:40
20m
Talk
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
PLDI Research Papers
Roshan DathathriUniversity of Texas at Austin, USA, Blagovesta KostovaEPFL, Switzerland, Olli SaarikiviMicrosoft Research, Redmond, Wei DaiMicrosoft Research, n.n., Kim LaineMicrosoft Research, Redmond, Madan MusuvathiMicrosoft 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. MullerCarnegie Mellon University, USA, Kyle SingerWashington University in St. Louis, USA, Noah GoldsteinWashington University in St. Louis, USA, Umut A. AcarCarnegie Mellon University, USA, Kunal AgrawalWashington University in St. Louis, USA, I-Ting Angelina LeeWashington 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 OlivryInria, France, Julien LangouUniversity of Colorado at Denver, USA, Louis-Noël PouchetColorado State University, USA, Saday SadayappanUniversity of Utah, USA, Fabrice RastelloInria, France
16:20
20m
Talk
Fast Graph Simplification for Interleaved Dyck-Reachability
PLDI Research Papers
Yuanbo LiGeorgia Institute of Technology, USA, Qirun ZhangGeorgia Institute of Technology, USA, Thomas RepsUniversity 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 AntoniadisUniversity of Athens, Greece, Nikos FilippakisCERN, Switzerland, Paddy KrishnanOracle Labs, Australia, Raghavendra RameshConsenSys, Australia, Nicholas AllenOracle Labs, Australia, Yannis SmaragdakisUniversity 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 VeanesMicrosoft Research, Caleb StanfordUniversity of Pennsylvania

Mon 15 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:00153045
Design Space Exploration tutorial live stream
PLMW live stream
Quantum tutorial live stream
REMS/DeepSpec live stream
SOAP live stream
SOAP
Tool Talk: DOOP
08:15 - 08:30
SOAP
Tool Talk: KLEE
08:45 - 09:00
SOAP
Tool Talk: Soot
10:40 - 10:56
SOAP
Tool Talk: WALA
11:28 - 11:44
Sponsors

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room4:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
ISMM live stream
ISMM
Social Hour
12:00 - 13:00
ISMM
Closing Remarks
17:00 - 17:10
Infer Practitioners live stream
MAPL live stream
PLMW live stream
Programming for Autonomy tutorial live stream
REMS/DeepSpec live stream
Sponsors
Spoofax tutorial live stream

Wed 17 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Ask Me Anything live stream
PLDI Research Papers live stream
Sponsors

Thu 18 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Ask Me Anything live stream
Business Meeting live stream
PLDI Research Papers live stream
Sponsors
PLDI Sponsors
Lean 4
06:00 - 07:00

Fri 19 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Ask Me Anything live stream
PLDI Research Papers live stream
Sponsors
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)