Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 20 Jun

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

09:00 - 11:45
Sunday MorningHOPL IV at HOPL
Chair(s): Guy L. Steele Jr. Oracle Labs
09:00
15m
Day opening
Welcome to HOPL IV Conference
HOPL IV
C: Richard P. Gabriel Dream Songs, Inc. & HPI, C: Guy L. Steele Jr. Oracle Labs
09:15
60m
Keynote
Myths and Mythconceptions: What does it mean to be a programming language, anyhow?
HOPL IV
K: Mary Shaw Carnegie Mellon University
10:45
60m
Talk
History of Coarrays and SPMD Parallelism in Fortran
HOPL IV
John Reid JKR Associates and Rutherford Appleton Laboratory, Bill Long Cray Inc., Jon Steidel Intel Inc.
DOI
13:30 - 16:15
Sunday Early AfternoonHOPL IV at HOPL
Chair(s): Jens Palsberg University of California at Los Angeles, Crista Lopes University of California, Irvine
13:30
75m
Talk
A History of MATLAB
HOPL IV
Jack Little MathWorks, Cleve Moler MathWorks
DOI
15:15
60m
Talk
S, R and Data Science.
HOPL IV
John Chambers Stanford University
DOI
16:45 - 17:45
Sunday Late AfternoonHOPL IV at HOPL
Chair(s): Crista Lopes University of California, Irvine
16:45
60m
Talk
LabVIEW
HOPL IV
Jeffrey Kodosky Co-founder and Fellow, National Instruments
DOI
18:15 - 21:00
Sunday EveningHOPL IV at HOPL
Chair(s): Shigeru Chiba The University of Tokyo, Sukyoung Ryu KAIST
18:15
60m
Talk
The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
HOPL IV
Brad Cox Retired, Steve Naroff Retired, Hansen Hsu Computer History Museum
DOI
19:45
75m
Talk
JavaScript: The First 20 Years
HOPL IV
Allen Wirfs-Brock Wirfs-Brock Associates, Brendan Eich Brave Software
DOI

Mon 21 Jun

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

09:00 - 11:45
Session 1 (principles)ARRAY at ARRAY
Chair(s): Artjoms Šinkarovs Heriot-Watt University, UK
10:30
15m
Day opening
Welcome and opening
ARRAY
Jeremy Gibbons Department of Computer Science, University of Oxford
10:45
30m
Talk
Towards size-dependent types for array programming
ARRAY
Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark
11:15
30m
Talk
Padding in the Mathematics of Arrays
ARRAY
Benjamin Chetioui University of Bergen, Norway, Ole Abusdal Western Norway University of Applied Sciences, Magne Haveraaen University of Bergen, Norway, Jaakko Järvi University of Turku, Lenore Mullin University at Albany, SUNY
09:00 - 11:45
Monday MorningHOPL IV at HOPL
Chair(s): Tomas Petricek University of Kent, Vijay Saraswat IBM TJ Watson Research Center
09:00
75m
Talk
History of Logo
HOPL IV
Cynthia Solomon Cynthia Solomon Consulting, Brian Harvey University of California, Berkeley, Ken Kahn University of Oxford, Henry Lieberman MIT Computer Science and Artificial Intelligence Lab (CSAIL), Mark Miller Learningtech.org and Northeastern University, Margaret Minsky New York University Shanghai, Artemis Papert Independent Artist, Brian Silverman Playful Invention Co.
DOI
10:45
60m
Talk
A history of the Oz multiparadigm language
HOPL IV
Peter Van Roy Université catholique de Louvain, Seif Haridi KTH Royal Institute of Technology, Sweden, Christian Schulte KTH Royal Institute of Technology, Gert Smolka Saarland University
DOI
09:00 - 11:45
Session 1Infer Practitioners at Infer Practitioners
Chair(s): Dino Distefano Facebook London
09:00
40m
Talk
Journey to null safety for Java at Facebook. An experience report.
Infer Practitioners
Artem Pianykh Facebook London, Mitya Lyubarskiy Facebook London
09:40
15m
Live Q&A
Q&A 1
Infer Practitioners

09:55
40m
Talk
Classifying and Prioritizing Facebook Infer's Warnings
Infer Practitioners
Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto Martins Instituto Superior Técnico, U. Lisboa & INESC-ID, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal
10:35
15m
Live Q&A
Q&A 2
Infer Practitioners

10:50
40m
Talk
Compositional checking of safety temporal properties
Infer Practitioners
Radu Grigore Facebook
11:30
15m
Live Q&A
Q&A 3
Infer Practitioners

09:00 - 11:45
Session 1PLMW@PLDI at PLMW
09:00
75m
Other
Small-group Mentoring Meetings 1
PLMW@PLDI

10:45
60m
Talk
Grad School: A Survival Guide
PLMW@PLDI
Matthew Might University of Alabama at Birmingham | Harvard Medical School
09:00 - 11:45
IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP CTutorials at Tutorials
09:00
2h45m
Tutorial
IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
Tutorials
Aman Nougrahiya IIT Madras, V Krishna Nandivada IIT Madras
10:45 - 12:00
KeynoteMAPS at MAPS
10:45
15m
Day opening
Opening Remarks
MAPS
Işıl Dillig University of Texas at Austin, Roopsha Samanta Purdue University
11:00
60m
Keynote
Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond
MAPS
Koushik Sen University of California, Berkeley
13:30 - 16:15
Session 2 (keynote) and 3 (applications)ARRAY at ARRAY
Chair(s): Aggelos Biboudis Swisscom AG, Sandra Catalán
13:30
75m
Keynote
Keynote: Tilting at Windmills with the Humble Array
ARRAY
Tim Mattson Intel, USA
File Attached
15:15
30m
Talk
Array Languages Make Neural Networks Fast
ARRAY
Artjoms Šinkarovs Heriot-Watt University, UK, Hans-Nikolai Vießmann Radboud University Nijmegen, Netherlands, Sven-Bodo Scholz Radboud University
15:45
30m
Talk
Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
ARRAY
Wojciech Michal Pawlak University of Copenhagen, Denmark, Marek Hlava Department of Computer Science, University of Copenhagen, Martin Metaksov Department of Computer Science, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark
13:30 - 16:15
Monday Early AfternoonHOPL IV at HOPL
Chair(s): Yannis Smaragdakis University of Athens, Roberto Ierusalimschy PUC-Rio
13:30
75m
Talk
Thriving in a crowded and changing world: C++ 2006-2020
HOPL IV
Bjarne Stroustrup Morgan Stanley
DOI
15:15
60m
Talk
Origins of the D Programming Language
HOPL IV
Walter Bright The D Language Foundation, Andrei Alexandrescu The D Language Foundation, Michael Parker The D Language Foundation
DOI
13:30 - 16:15
Session 2Infer Practitioners at Infer Practitioners
Chair(s): Ezgi Çiçek Facebook London
13:30
40m
Talk
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Infer Practitioners
Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon
14:10
15m
Live Q&A
Q&A 4
Infer Practitioners

14:25
40m
Talk
Interactive Static Performance Analysis with Infer in the IDE
Infer Practitioners
Jürgen Cito TU Wien and Facebook
15:05
15m
Live Q&A
Q&A 5
Infer Practitioners

13:30 - 14:30
Session AMAPS at MAPS
13:30
30m
Talk
Generating Bug-Fixes Using Pretrained Transformers
MAPS
Dawn Drain Microsoft, Chen Wu Microsoft, China, Alexey Svyatkovskiy Microsoft, Neel Sundaresan Microsoft Corporation
14:00
30m
Talk
Learning to Make Compiler Optimizations More Effective
MAPS
Rahim Mammadli Technical University of Darmstadt, Marija Selakovic TU Darmstadt, Germany, Felix Wolf Technical University of Darmstadt, Michael Pradel University of Stuttgart
13:30 - 16:15
Session 2PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Grad School
PLMW@PLDI
Zachary Tatlock University of Washington, Seattle, Sarah E. Chasins University of California, Berkeley, Andreea Costea School of Computing, National University Of Singapore, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University
15:15
60m
Talk
Reasoning Under Uncertainty in SMT Solving, Research, and Life
PLMW@PLDI
Lindsey Kuper University of California at Santa Cruz
15:15 - 16:15
Session BMAPS at MAPS
15:15
60m
Talk
Engineering Uncertain Computations
MAPS
Michael Carbin Massachusetts Institute of Technology
16:45 - 17:45
Monday Late AfternoonHOPL IV at HOPL
Chair(s): Guy L. Steele Jr. Oracle Labs
16:45
60m
Talk
A History of Clojure
HOPL IV
Rich Hickey Cognitect, Inc.
DOI
16:45 - 19:15
Session CMAPS at MAPS
16:45
60m
Talk
Machine Learning for Autotuning Production Machine Learning Compilers
MAPS
17:45
30m
Talk
Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl)
MAPS
Gus Henry Smith University of Washington, Andrew Liu University of Washington, Steven Lyubomirsky University of Washington, USA, Scott Davidson University of Washington, Joseph McMahan University of Washington, Michael Bedford Taylor University of Washington, Luis Ceze University of Washington, Zachary Tatlock University of Washington, Seattle
18:15
30m
Talk
ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures
MAPS
Niranjan Hasabnis Intel Labs, Justin Gottschlich Intel Labs / Penn
18:45
30m
Talk
Predictive Data Locality Optimization for Higher-Order Tensor Computations
MAPS
Tharindu Patabandi University of Utah, Anand Venkat , Abhishek Kulkarni Intel, Pushkar Ratnalikar Intel Labs, Mary Hall University of Utah, Justin Gottschlich Intel Labs / Penn
18:00 - 21:00
Session 4 (short talks)ARRAY at ARRAY
Chair(s): Jonathan Ragan-Kelley MIT CSAIL
18:00
25m
Talk
Improving the Performance of DGEMM with MoA and Cache-Blocking
ARRAY
Stephen Thomas National Renewable Energy Laboratory, Lenore Mullin SUNY Albany, USA, Kasia Swirydowicz Pacific Northwest National Laboratory
File Attached
18:25
25m
Talk
Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator
ARRAY
Jizhe Chenxin Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached
18:50
25m
Talk
Data Layouts are Important (Extended Abstract)
ARRAY
Doru Thom Popovici Lawrence Berkeley National Lab, Andrew Canning Lawrence Berkeley National Laboratory, Zhengji Zhao Lawrence Berkeley National Laboratory, Lin-Wang Wang Lawrence Berkeley National Laboratory, John Shalf Lawrence Berkeley National Laboratory
File Attached
18:00 - 21:00
Session 3PLMW@PLDI at PLMW
18:00
75m
Talk
An Overview of the Stoke Project
PLMW@PLDI
Alex Aiken Stanford University, USA
19:45
75m
Social Event
Social Hangout 1
PLMW@PLDI

18:15 - 21:00
Monday EveningHOPL IV at HOPL
Chair(s): Steve Blackburn Australian National University, Andrew Black Portland State University
18:15
60m
Keynote
programmingLanguage as Language;
HOPL IV
K: James Noble Victoria University of Wellington, K: Robert Biddle Carleton University
19:45
75m
Talk
The Evolution of Smalltalk from Smalltalk-72 through Squeak
HOPL IV
DOI
19:45 - 21:00
Session DMAPS at MAPS
19:45
60m
Talk
Interactively Exploring Code Using Query-by-Example
MAPS
Mukund Raghothaman University of Southern California
20:45
15m
Day closing
Closing remarks
MAPS
Justin Gottschlich Intel Labs / Penn

Tue 22 Jun

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

09:00 - 11:45
Tuesday MorningHOPL IV at HOPL
Chair(s): Guy L. Steele Jr. Oracle Labs, Keshav Pingali The University of Texas at Austin
09:00
75m
Talk
APL Since 1978
HOPL IV
Roger K.W. Hui Dyalog Ltd., Morten J. Kromberg Dyalog Ltd.
DOI
10:45
60m
Talk
Verilog HDL and its ancestors and descendants
HOPL IV
Peter Flake Elda Technology Ltd, Phil Moorby , Steve Golson Trilobyte Systems, Arturo Salz Synopsys, Inc., Simon Davidmann Imperas Software Ltd
DOI
09:00 - 11:45
Keynote and Session 1: CachingISMM at ISMM
Chair(s): Jeremy Singer Glasgow University
09:00
15m
Day opening
Welcome from the Chairs and Conference Report
ISMM
Tobias Wrigstad Uppsala University, Sweden, Zhenlin Wang Michigan Technological University
09:15
60m
Keynote
Reflections on Forty Years in Garbage Collection
ISMM
Eliot Moss University of Massachusetts Amherst
10:15
60m
Break
Break/Social Hour
ISMM

11:15
30m
Talk
Uniform Lease vs LRU Cache: Analysis and Evaluation
ISMM
Dong Chen , Chen Ding University of Rochester, Fangzhou Liu University of Rochester, Benjamin Reber University of Rochester, Wesley Smith University of Rochester, Pengcheng Li Google, Inc
09:00 - 11:45
Keynote + Section 1 Measurement (Session Chair: Xu Liu)LCTES at LCTES
09:00
10m
Day opening
Welcome from the Chairs
LCTES
Xu Liu North Carolina State University
09:10
75m
Keynote
On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving
LCTES
Frank Mueller North Carolina State University, USA
10:25
20m
Break
Break
LCTES

10:45
25m
Full-paper
MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework
LCTES
Deok-Jae Oh Seoul National University, Yaebin Moon Seoul National University, Eojin Lee Samsung Electronics, Tae Jun Ham Seoul National University, Yongjun Park Hanyang University, Jae W. Lee Seoul National University, Korea, Jung Ho Ahn Seoul National University
11:10
25m
Full-paper
Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing
LCTES
11:35
10m
Short-paper
WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Languages on Android
LCTES
Elliott Wen The University of Auckland, Gerald Weber The University of Auckland
09:00 - 11:45
Session 4PLMW@PLDI at PLMW
09:00
75m
Social Event
Social Hangout 2
PLMW@PLDI

10:45
60m
Talk
How to give talks that people can follow
PLMW@PLDI
Derek Dreyer MPI-SWS
09:00 - 11:45
Session 1: Verification, programming & controlPLanQC at PLanQC
Chair(s): Matthew Amy Dalhousie University, Ross Duncan Cambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael Hicks University of Maryland at College Park
File Attached
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De Santis University of Verona, Roberto Giacobazzi University of Verona, Margherita Zorzi University of Verona
File Attached
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille Robert Johannes Kepler University, Linz, Stefan Hillmich Johannes Kepler University, Linz, Lukas Burgholzer Johannes Kepler University, Linz
File Attached
10:15
30m
Coffee break
Break
PLanQC

10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew Cross IBM T.J Watson Research Center, Ali Javadi-Abhari IBM T.J Watson Research Center, Thomas Alexander IBM T.J Watson Research Center, Lev Bishop IBM T.J Watson Research Center, Colm A. Ryan AWS Center for Quantum Computing, Steven Heidel AWS Center for Quantum Computing, Niel de Beaudrap University of Sussex, John Smolin IBM T.J Watson Research Center, Jay M. Gambetta IBM T.J Watson Research Center, Blake R. Johnson IBM T.J Watson Research Center
File Attached
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique Unruh University of Tartu
File Attached
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher Cedzich Quantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse Remond Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit Valiron Université Paris-Saclay, CNRS, CentraleSupélec, LMF
File Attached
09:00 - 11:45
Session 1SOAP at SOAP
Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL
09:00
15m
Day opening
Welcome from the chairs
SOAP
Caterina Urban Inria & École Normale Supérieure | Université PSL, Lisa Nguyen Quang Do Google
09:15
60m
Live Q&A
[Invited talk] Towards Security-Oriented Program analysis
SOAP
Sébastien Bardin CEA LIST, University Paris-Saclay
10:15
30m
Break
Break
SOAP

10:45
25m
Talk
Static Analysis for Dummies: Experiencing LiSA
SOAP
Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Vincenzo Arceri Ca’ Foscari University of Venice, Agostino Cortesi Università Ca' Foscari Venezia
11:10
25m
Talk
Security and Quality: Two Sides of The Same Coin?
SOAP
Steven Arzt Fraunhofer SIT
09:00 - 11:45
Implementing smart contract security analyses using the MadMax/Gigahorse frameworkTutorials at Tutorials
09:00
2h45m
Tutorial
Implementing smart contract security analyses using the MadMax/Gigahorse framework
Tutorials
Yannis Smaragdakis University of Athens, Neville Grech University of Malta
10:00 - 12:00
Student Research Competition Poster SessionSRC at Gather SRC Posters
13:30 - 16:15
Tuesday Early AfternoonHOPL IV at HOPL
Chair(s): Kim Bruce Pomona College, Brent Hailpern IBM Research
13:30
75m
Talk
The History of Standard ML
HOPL IV
David MacQueen University of Chicago (Emeritus), Robert Harper Carnegie Mellon University, USA, John Reppy University of Chicago, USA
DOI
15:15
60m
Talk
Evolution of Emacs Lisp
HOPL IV
Stefan Monnier Université de Montréal, Michael Sperber Active Group GmbH
DOI
13:30 - 16:15
Session 2: Paging/Structuring & Session 3: Allocating/Copying ISMM at ISMM
Chair(s): Doug Lea State University of New York (SUNY) Oswego, Benjamin Zorn Microsoft Research
13:30
30m
Talk
Radiant: Efficient Page Table Management for Tiered Memory Systems
ISMM
Sandeep Kumar Intel Labs, Aravinda Prasad Intel Labs, Smruti Ranjan Sarangi IIT Delhi, Sreenivas Subramoney Intel Labs
DOI Pre-print
14:00
30m
Talk
Compendia: Reducing Virtual-Memory Costs via Selective Densification
ISMM
Sam Ainsworth University of Edinburgh, UK, Timothy M. Jones University of Cambridge, UK
Pre-print Media Attached
14:30
45m
Meeting
ISMM Business Meeting
ISMM
Tobias Wrigstad Uppsala University, Sweden
15:15
30m
Talk
Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
ISMM
Martin Maas Google Research, Chris Kennelly Google, Khanh Nguyen Texas A&M University, Darryl Gove Google, Kathryn S McKinley Google, Paul Turner Google
15:45
30m
Talk
automemcpy A framework for automatic generation of fundamental memory operations
ISMM
Guillaume Chatelet Google Research, Chris Kennelly Google, Sam Xi Google, Ondrej Sykora Google Research, Clement Courbet Google Research, David Li Google, Bruno De Backer Google Research
DOI Pre-print
13:30 - 16:15
Section 2 Optimization I (Session Chair: Albert Cheng)+ Section 3 Analysis ILCTES at LCTES
13:30
25m
Full-paper
HyFM: Function Merging for Free
LCTES
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 Facebook, Kim Hazelwood Facebook AI Research
13:55
25m
Full-paper
Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
LCTES
Xuyi Cai ICT CAS, Ying Wang ICT CAS, Lei Zhang ICT CAS
14:20
25m
Full-paper
Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
LCTES
Jayaraj Poroor JIFFY.ai, Akash Lal Microsoft Research, Sandesh Ghanta Amrita Vishwa Vidyapeetham
14:45
30m
Break
Break
LCTES

15:15
25m
Full-paper
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
LCTES
Simon Schuster Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU), Peter Ulbrich Technische Universität Dortmund, Wolfgang Schröder-Preikschat Friedrich-Alexander University Erlangen-Nürnberg (FAU)
15:40
25m
Full-paper
Simple, Light, yet Formally Verified, Global Common Subexpression Elimination and Loop-invariant Code Motion
LCTES
David Monniaux CNRS/VERIMAG, Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
16:05
10m
Short-paper
WIP:Selective Path-sensitive Interval Analysis
LCTES
Bharti Chimdyalwar Tata Consultancy Services, Shrawan Kumar Tata Cosultancy Services
13:30 - 16:15
Session 5PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Advising and Research
PLMW@PLDI
Ranjit Jhala University of California at San Diego, Işıl Dillig University of Texas at Austin, Matthias Felleisen PLT @ Northeastern University, Frank Piessens KU Leuven, Stephanie Weirich University of Pennsylvania, USA
15:15
60m
Talk
Tips on Writing a Research Paper
PLMW@PLDI
Thomas Reps University of Wisconsin
13:30 - 16:15
Session 2: Compilation & TypesPLanQC at PLanQC
Chair(s): Ali Javadi-Abhari IBM T.J Watson Research Center, Jennifer Paykin Galois, Inc.
13:30
35m
Talk
Invited Talk: Quantum compilation using the ZX-calculus
PLanQC
I: John van de Wetering University of Oxford, Radboud Universiteit Nijmegen
14:05
20m
Talk
Quantum routing with fast reversals
PLanQC
Aniruddha Bapat University of Maryland, Andrew M. Childs University of Maryland, Alexey V. Gorshkov University of Maryland, Sam King University of Rochester, Eddie Schoute University of Maryland, Hrishee Shastri Reed College
Pre-print File Attached
14:25
20m
Talk
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Vlad Gheorghiu Institute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li , Michele Mosca University of Waterloo, Priyanka Mukhopadhyay Institue for Quantum Computing, University of Waterloo
Pre-print File Attached
14:45
30m
Coffee break
Break
PLanQC

15:15
20m
Talk
Toward A Quantum Programming Language for Higher-Level Formal Verification
PLanQC
Finn Voichick University of Maryland, Michael Hicks University of Maryland at College Park
File Attached
15:35
20m
Talk
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
PLanQC
Kartik Singhal University of Chicago, Sarah Marshall Microsoft Quantum, Kesha Hietala University of Maryland, Robert Rand University of Chicago
Pre-print Media Attached File Attached
15:55
20m
Talk
Extending Gottesman Types Beyond the Clifford Group
PLanQC
Robert Rand University of Chicago, Aarthi Sundaram Microsoft Quantum, Kartik Singhal University of Chicago, Brad Lackey Microsoft Quantum, University of Maryland
File Attached
13:30 - 16:15
Session 2SOAP at SOAP
Chair(s): Lisa Nguyen Quang Do Google, Caterina Urban Inria & École Normale Supérieure | Université PSL
13:30
25m
Talk
Program analysis for reversible languages
SOAP
Uwe Meyer University of Applied Sciences Giessen, Niklas Deworetzki Technische Hochschule Mittelhessen
13:55
25m
Talk
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
SOAP
Spandan Garg , Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft Corporation, Chen Wu Microsoft, China
14:20
25m
Talk
Weldr: Fusing Binaries for Simplified Analysis
SOAP
Alexander Heinricher Raytheon BBN Technologies, Ryan Williams Northeastern University, Ava Klingbeil , Alex Jordan Raytheon BBN Technologies
14:45
30m
Break
Break
SOAP

15:15
60m
Live Q&A
[Invited talk] Dynamic abstract interpretation
SOAP
13:30 - 16:15
Beyond Weak Memory Consistency: The Challenges of Memory PersistencyTutorials at Tutorials
13:30
2h45m
Tutorial
Beyond Weak Memory Consistency: The Challenges of Memory Persistency
Tutorials
Viktor Vafeiadis MPI-SWS, Azalea Raad Imperial College London
16:45 - 17:45
Tuesday Late AfternoonHOPL IV at HOPL
Chair(s): Philip Wadler University of Edinburgh, UK
16:45
60m
Talk
The Early History of F#
HOPL IV
Don Syme Microsoft Research
DOI
18:00 - 21:00
Session 4: Compacting/Indexing/Transactioning & ClosingISMM at ISMM
Chair(s): Timothy M. Jones University of Cambridge, UK
18:00
30m
Talk
Exploiting Intel Optane Persistent Memory for Full Text Search
ISMM
Shoaib Akram Australian National University
Pre-print File Attached
18:30
30m
Talk
Understanding and Utilizing Hardware Transactional Memory Capacity
ISMM
Zixian Cai Australian National University, Steve Blackburn Australian National University, Michael D. Bond Ohio State University, USA
Link to publication DOI Media Attached
19:00
30m
Talk
Fusuma: Double-ended Threaded Compaction
ISMM
Hiro Onozawa The University of Electro-Communications, Tomoharu Ugawa University of Tokyo, Hideya Iwasaki University of Electro-Communications, Japan
19:30
15m
Day closing
Closing Remarks
ISMM
Tobias Wrigstad Uppsala University, Sweden, Zhenlin Wang Michigan Technological University
18:00 - 21:00
Section 4. Analysis II (Session Chair: Albert Cheng) + Section 5 Optimization II (Session Chair: Hongwei Qin)LCTES at LCTES
18:00
25m
Full-paper
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators
LCTES
May Young University of British Columbia, Alan J. Hu University of British Columbia, Guy Lemieux University of British Columbia
18:25
25m
Full-paper
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
LCTES
Oskar Pusz Leibniz Universität Hannover, Christian Dietrich Leibniz Universität Hannover, Daniel Lohmann Leibniz Universität Hannover
18:50
25m
Full-paper
Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
LCTES
Hongwei Qin Huazhong University of Science and Technology, China, Dan Feng Huazhong University of Science and Technology, China, Wei Tong Huazhong University of Science and Technology, China, Yutong Zhao Huazhong University of Science and Technology, China, Sheng Qiu Alibaba Group, Fei Liu Alibaba Group, Shu Li Alibaba Group
19:15
30m
Break
Break
LCTES

19:45
25m
Full-paper
ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
LCTES
Pavan Kumar Paluri University of Houston, Guangli Dai University of Houston, Albert M. K. Cheng University of Houston
20:10
25m
Full-paper
CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
LCTES
Weiwei Chen Institute of Computing Technology, CAS, Ying Wang ICT CAS, Gangliang Lin ICT CAS, Chengsi Gao ICT CAS, Cheng Liu ICT CAS, Lei Zhang ICT CAS
20:35
10m
Short-paper
WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
LCTES
XiaoLei Zhao National University of Defense Technology, Mei Wen National University of Defense Technology, Zhaoyun Chen National University of Defense Technology, Yang Shi National University of Defense Technology, Chunyuan Zhang National University of Defense Technology
18:00 - 21:00
Session 6PLMW@PLDI at PLMW
18:00
75m
Other
Panel on Career Paths
PLMW@PLDI
Jean Yang Carnegie Mellon University, Kathleen Fisher Tufts University, Hannah Gommerstadt Vassar College, Peter W. O'Hearn Facebook and University College London, Jennifer Paykin Galois, Inc.
19:45
75m
Other
Small-group Mentoring Meetings 2
PLMW@PLDI

18:00 - 21:00
Session 3: Reliable quantum computingPLanQC at PLanQC
Chair(s): Robert Rand University of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei Ding University of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRose Unitary Fund, Michigan State University, Andrea Mari Unitary Fund, Sarah Kaiser Unitary Fund, Peter J. Karalekas Unitary Fund, Nathan Shammah Unitary Fund, William J. Zeng Unitary Fund, Goldman Sachs
Pre-print File Attached
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha Hietala University of Maryland, Liyi Li University of Maryland, Akshaj Gaur Poolesville High School, Aaron Green University of Maryland, Robert Rand University of Chicago, Xiaodi Wu University of Maryland, Michael Hicks University of Maryland at College Park
File Attached
18:00 - 21:00
Session 3SOAP at SOAP
Chair(s): Lisa Nguyen Quang Do Google
18:00
25m
Talk
Multi-Language Static Code Analysis on the LARA Framework
SOAP
Gil Teixeira , João Bispo Faculdade de Engenharia e Universidade do Porto, Filipe Figueiredo Correia University of Porto
18:25
25m
Talk
Serialization-Aware Call Graph Construction
SOAP
Joanna C. S. Santos Rochester Institute of Technology, Reese Jones , Chinomso Ashiogwu , Mehdi Mirakhorli Rochester Institute of Technology
18:50
25m
Talk
Scalable String Analysis: An Experience Report
SOAP
Kostyantyn Vorobyov Oracle Labs, Australia, Yang Zhao Oracle Labs, Paddy Krishnan Oracle Labs, Australia
19:15
30m
Break
Break
SOAP

19:45
60m
Live Q&A
[Invited talk] Towards Intelligent Application Security
SOAP
Cristina Cifuentes Oracle Labs
20:45
15m
Day closing
Award and send-off
SOAP
Lisa Nguyen Quang Do Google, Caterina Urban Inria & École Normale Supérieure | Université PSL
18:15 - 21:00
Tuesday EveningHOPL IV at HOPL
Chair(s): Allen Wirfs-Brock Wirfs-Brock Associates, Matthew Flatt University of Utah, USA
18:15
60m
Talk
A history of the Groovy programming language
HOPL IV
DOI
19:45
75m
Talk
Hygienic Macro Technology
HOPL IV
William Clinger Northeastern University, Mitchell Wand Northeastern University
DOI

Wed 23 Jun

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

08:30 - 09:00
PL TeaSocial at Social +12h
08:30
30m
Social Event
PLTea
Social

09:00 - 09:35
Talks 1A: Concurrent and Distributed ProgrammingPLDI at PLDI-A +12h
09:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin Liang Nanjing University, Xinyu Feng Nanjing University
DOI
09:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University
DOI
09:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku Acay Cornell University, Rolph Recto Cornell University, Joshua Gancher Cornell University, Andrew Myers Cornell University, Elaine Shi Cornell University
DOI Pre-print
09:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao Cai Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology
DOI
09:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George Pîrlea National University of Singapore, Amrit Kumar Zilliqa Research, Ilya Sergey Yale-NUS College; National University of Singapore
DOI
09:25
5m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
PLDI
Ruslan Nikolaev Virginia Tech, Binoy Ravindran Virginia Tech
DOI
09:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yuanhao Wei Carnegie Mellon University
DOI
09:00 - 09:35
Talks 1B: VerificationPLDI at PLDI-B +12h
09:00
5m
Talk
Proof Repair across Type Equivalences
PLDI
Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani Northeastern University, John Leo Halfaya Research, Dan Grossman University of Washington
DOI
09:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-Perez University of Kent, Francisco Ferreira Imperial College London, Lorenzo Gheri Imperial College London, Nobuko Yoshida Imperial College London
DOI
09:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii Kostyukov St. Petersburg State University; JetBrains Research, Dmitry Mordvinov St. Petersburg State University; JetBrains Research, Grigory Fedyukovich Florida State University
DOI
09:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam Lasser Tufts University, Chris Casinghino Draper, Kathleen Fisher Tufts University, Cody Roux Draper
DOI
09:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft Research, Nikolaj Bjørner Microsoft Research
DOI
09:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres Erbsen Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
DOI
09:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei He Tsinghua University, Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University
DOI
09:35 - 10:30
Poster Session 1PLDI at Gather Poster Rooms +12h
09:35
55m
Poster
Poster Session
PLDI

10:30 - 11:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Kathleen Fisher Tufts University, Sam Guyer Tufts University, Roopsha Samanta Purdue University
10:30
20m
Live Q&A
Ask Me Anything with Kim Hazelwood
Ask Me Anything
Kim Hazelwood Facebook AI Research
10:50
20m
Live Q&A
Ask Me Anything With Emery Berger
Ask Me Anything
Emery D. Berger University of Massachusetts Amherst
11:10
20m
Live Q&A
Ask Me Anything with Michael Carbin
Ask Me Anything
Michael Carbin Massachusetts Institute of Technology
11:30 - 12:30
PL TeaSocial at Social +12h
11:30
60m
Social Event
PLTea
Social

12:30 - 13:30
Industry ReceptionSponsors at Sponsors
12:30
60m
Other
Industrial Reception
Sponsors

13:30 - 14:05
Talks 2A: Machine LearningPLDI at PLDI-A +12h
13:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan He ETH Zurich, Cheng-Chun Lee EPFL, Veselin Raychev DeepCode, Martin Vechev ETH Zurich
DOI
13:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory Bonaert ETH Zurich, Dimitar I. Dimitrov ETH Zurich, Maximilian Baader ETH Zurich, Martin Vechev ETH Zurich
DOI
13:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu Chen University of Texas at Austin, USA, Aaron Lamoreaux University of Texas at Austin, Xinyu Wang University of Michigan, Greg Durrett University of Texas at Austin, USA, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin
DOI
13:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew Mirman ETH Zurich, Alexander Hägele ETH Zurich, Timon Gehr ETH Zurich, Pavol Bielik ETH Zurich, Martin Vechev ETH Zurich
Link to publication DOI
13:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei Niu College of William & Mary, Jiexiong Guan College of William & Mary, Yanzhi Wang Northeastern University, Gagan Agrawal Augusta University, Bin Ren College of William & Mary
DOI
13:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav Malik Purdue University, Vidush Singhal Purdue University, Benjamin Gottfried Purdue University, Milind Kulkarni Purdue University
DOI Pre-print
14:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie Zhao State Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie Li Huawei Technologies, Wang Nie Huawei Technologies, Zhen Geng Huawei Technologies, Renwei Zhang Huawei Technologies, Xiong Gao Huawei Technologies, Bin Cheng Huawei Technologies, Chen Wu Huawei, Yun Cheng Huawei Technologies, Zheng Li Huawei Technologies, Peng Di Huawei Technologies, Kun Zhang Huawei Technologies, Xuefeng Jin Huawei Technologies
DOI
13:30 - 14:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B +12h
13:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara
DOI
13:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego
DOI
13:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich
DOI
13:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University
DOI
13:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun Yu UTS, Jens Palsberg University of California at Los Angeles
DOI
13:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University
DOI
14:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University
DOI Media Attached
14:05 - 15:00
Poster Session 2PLDI at Gather Poster Rooms +12h
14:05
55m
Poster
Poster Session
PLDI

15:00 - 16:00
Opening ReceptionSocial at Social +12h
15:00
60m
Social Event
Opening Reception
Social

20:30 - 21:00
PL TeaSocial at Social
20:30
30m
Social Event
PLTea
Social

21:00 - 21:35
Talks 1A: Concurrent and Distributed ProgrammingPLDI at PLDI-A
21:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin Liang Nanjing University, Xinyu Feng Nanjing University
DOI
21:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University
DOI
21:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku Acay Cornell University, Rolph Recto Cornell University, Joshua Gancher Cornell University, Andrew Myers Cornell University, Elaine Shi Cornell University
DOI Pre-print
21:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao Cai Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology
DOI
21:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George Pîrlea National University of Singapore, Amrit Kumar Zilliqa Research, Ilya Sergey Yale-NUS College; National University of Singapore
DOI
21:25
5m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
PLDI
Ruslan Nikolaev Virginia Tech, Binoy Ravindran Virginia Tech
DOI
21:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yuanhao Wei Carnegie Mellon University
DOI
21:00 - 21:35
Talks 1B: VerificationPLDI at PLDI-B
21:00
5m
Talk
Proof Repair across Type Equivalences
PLDI
Talia Ringer University of Illinois at Urbana-Champaign, RanDair Porter University of Washington, Nathaniel Yazdani Northeastern University, John Leo Halfaya Research, Dan Grossman University of Washington
DOI
21:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-Perez University of Kent, Francisco Ferreira Imperial College London, Lorenzo Gheri Imperial College London, Nobuko Yoshida Imperial College London
DOI
21:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii Kostyukov St. Petersburg State University; JetBrains Research, Dmitry Mordvinov St. Petersburg State University; JetBrains Research, Grigory Fedyukovich Florida State University
DOI
21:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam Lasser Tufts University, Chris Casinghino Draper, Kathleen Fisher Tufts University, Cody Roux Draper
DOI
21:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft Research, Nikolaj Bjørner Microsoft Research
DOI
21:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres Erbsen Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
DOI
21:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei He Tsinghua University, Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University
DOI
21:35 - 22:30
Poster Session 1PLDI at Gather Poster Rooms
21:35
55m
Poster
Poster Session
PLDI

22:30 - 23:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Steve Blackburn Australian National University, Gerwin Klein CSIRO's Data61 and UNSW Sydney
22:30
30m
Live Q&A
Ask Me Anything with Cristina Cifuentes
Ask Me Anything
Cristina Cifuentes Oracle Labs
23:00
30m
Live Q&A
Ask Me Anything with June Andronick
Ask Me Anything
June Andronick Proofcraft, UNSW and seL4 Foundation
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Thu 24 Jun

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

00:30 - 01:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Aditya Kanade Indian Institute of Science, Bangalore, Alex Potanin Victoria University of Wellington
00:30
30m
Live Q&A
Ask Me Anything with James Noble
Ask Me Anything
James Noble Victoria University of Wellington
01:00
30m
Live Q&A
Ask Me Anything with Sriram Rajamani
Ask Me Anything
Sriram Rajamani Microsoft Research
01:30 - 02:05
Talks 2A: Machine LearningPLDI at PLDI-A
01:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan He ETH Zurich, Cheng-Chun Lee EPFL, Veselin Raychev DeepCode, Martin Vechev ETH Zurich
DOI
01:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory Bonaert ETH Zurich, Dimitar I. Dimitrov ETH Zurich, Maximilian Baader ETH Zurich, Martin Vechev ETH Zurich
DOI
01:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu Chen University of Texas at Austin, USA, Aaron Lamoreaux University of Texas at Austin, Xinyu Wang University of Michigan, Greg Durrett University of Texas at Austin, USA, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin
DOI
01:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew Mirman ETH Zurich, Alexander Hägele ETH Zurich, Timon Gehr ETH Zurich, Pavol Bielik ETH Zurich, Martin Vechev ETH Zurich
Link to publication DOI
01:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei Niu College of William & Mary, Jiexiong Guan College of William & Mary, Yanzhi Wang Northeastern University, Gagan Agrawal Augusta University, Bin Ren College of William & Mary
DOI
01:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav Malik Purdue University, Vidush Singhal Purdue University, Benjamin Gottfried Purdue University, Milind Kulkarni Purdue University
DOI Pre-print
02:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie Zhao State Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie Li Huawei Technologies, Wang Nie Huawei Technologies, Zhen Geng Huawei Technologies, Renwei Zhang Huawei Technologies, Xiong Gao Huawei Technologies, Bin Cheng Huawei Technologies, Chen Wu Huawei, Yun Cheng Huawei Technologies, Zheng Li Huawei Technologies, Peng Di Huawei Technologies, Kun Zhang Huawei Technologies, Xuefeng Jin Huawei Technologies
DOI
01:30 - 02:05
Talks 2B: Language Design and Programming ModelsPLDI at PLDI-B
01:30
5m
Talk
Wire Sorts: A Language Abstraction for Safe Hardware Composition
PLDI
Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara
DOI
01:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego
DOI
01:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich
DOI
01:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University
DOI
01:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun Yu UTS, Jens Palsberg University of California at Los Angeles
DOI
01:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University
DOI
02:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University
DOI Media Attached
02:05 - 03:00
Poster Session 2PLDI at Gather Poster Rooms
02:05
55m
Poster
Poster Session
PLDI

03:00 - 04:00
Opening ReceptionSocial at Social
03:00
60m
Social Event
Opening Reception
Social

08:30 - 09:00
PL TeaSocial at Social +12h
08:30
30m
Social Event
PLTea
Social

09:00 - 09:40
Talks 3A: Analysis and SynthesisPLDI at PLDI-A +12h
09:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
DOI
09:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno Stein University of Colorado at Boulder, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon, Manu Sridharan University of California at Riverside
DOI
09:10
5m
Talk
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
PLDI
Xiaolei Ren University of Texas at Arlington, Michael Ho University of Texas at Arlington, Jiang Ming University of Texas at Arlington, Jeff Yu Lei University of Texas at Arlington, Li Li Monash University
DOI
09:15
5m
Talk
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
PLDI
Zhiqiang Zuo Nanjing University, Yiyu Zhang Nanjing University, Qiuhong Pan Nanjing University, Shenming Lu Nanjing University, Yue Li Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University, Guoqing Harry Xu University of California at Los Angeles
DOI
09:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei Zhu Princeton University, Zachary Kincaid Princeton University
DOI
09:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa Morihata University of Tokyo, Shigeyuki Sato University of Tokyo
DOI
09:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan Guria University of Maryland, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland
DOI
09:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin
DOI
09:00 - 09:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B +12h
09:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington
DOI
09:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST
DOI
09:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook
Link to publication DOI Media Attached
09:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex Reinking Microsoft Research, Ningning Xie University of Hong Kong, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research
DOI
09:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago
DOI Pre-print
09:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire
DOI
09:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
DOI
09:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University
DOI
09:40 - 10:30
Poster Session 3PLDI at Gather Poster Rooms +12h
09:40
50m
Poster
Poster Session
PLDI

10:30 - 11:30
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Işıl Dillig University of Texas at Austin
10:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex Aiken Stanford University, USA
11:30 - 12:30
PL TeaSocial at Social +12h
11:30
60m
Social Event
PLTea
Social

11:30 - 12:30
11:30
60m
Other
Google: Join us for a Q&A Session
Sponsors

12:00 - 13:00
Building Inclusive Research EnvironmentsCARES at CARES +12h
12:00
60m
Other
Building Inclusive Research Environments
CARES

12:00 - 12:30
12:00
30m
Live Q&A
Oracle: Chat With Guy Steele
Sponsors

12:15 - 13:30
Student Research Competition Finalist TalksSRC at PLDI-A +12h
13:30 - 14:05
Talks 4A: Analysis and SynthesisPLDI at PLDI-A +12h
13:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
DOI
13:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara Pailoor University of Texas at Austin, Yuepeng Wang University of Pennsylvania, Xinyu Wang University of Michigan, Işıl Dillig University of Texas at Austin
DOI
13:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar Itzhaky Technion, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego, Reuben N. S. Rowe Royal Holloway University of London, Ilya Sergey Yale-NUS College; National University of Singapore
DOI
13:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. Koenig Stanford University, Oded Padon VMWare Research, Alex Aiken Stanford University, USA
DOI
13:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang Zuo Nanjing University, Kai Ji Nanjing University, Yifei Wang Nanjing University, Wei Tao Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University, Guoqing Harry Xu University of California at Los Angeles
DOI
13:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste Olivry Inria, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, Fabrice Rastello Inria
DOI
14:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady Ferdowsi University of Mashhad, Petr Novotný Masaryk University, Đorđe Žikelić IST Austria
DOI
13:30 - 14:05
Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B +12h
13:30
5m
Talk
Mirror: Making Lock-Free Data Structures Persistent
PLDI
Michal Friedman Technion, Erez Petrank Technion, Pedro Ramalhete Cisco Systems
DOI
13:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University
DOI
13:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago
DOI
13:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah
DOI Pre-print
13:50
5m
Talk
Incremental Whole-Program Analysis in Datalog with Lattices
PLDI
Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs
DOI
13:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles
DOI
14:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS
DOI
14:05 - 15:00
Poster Session 4PLDI at Gather Poster Rooms +12h
14:05
55m
Poster
Poster Session
PLDI

15:00 - 16:20
Business MeetingPLDI at PLDI-A +12h
15:00
80m
Meeting
PLDI Business Meeting
PLDI

20:30 - 21:00
PL TeaSocial at Social
20:30
30m
Social Event
PLTea
Social

21:00 - 21:40
Talks 3A: Analysis and SynthesisPLDI at PLDI-A
21:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
DOI
21:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno Stein University of Colorado at Boulder, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon, Manu Sridharan University of California at Riverside
DOI
21:10
5m
Talk
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
PLDI
Xiaolei Ren University of Texas at Arlington, Michael Ho University of Texas at Arlington, Jiang Ming University of Texas at Arlington, Jeff Yu Lei University of Texas at Arlington, Li Li Monash University
DOI
21:15
5m
Talk
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
PLDI
Zhiqiang Zuo Nanjing University, Yiyu Zhang Nanjing University, Qiuhong Pan Nanjing University, Shenming Lu Nanjing University, Yue Li Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University, Guoqing Harry Xu University of California at Los Angeles
DOI
21:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei Zhu Princeton University, Zachary Kincaid Princeton University
DOI
21:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa Morihata University of Tokyo, Shigeyuki Sato University of Tokyo
DOI
21:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan Guria University of Maryland, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland
DOI
21:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin
DOI
21:00 - 21:40
Talks 3B: Architectures and SystemsPLDI at PLDI-B
21:00
5m
Talk
Reticle: A Virtual Machine for Programming Modern FPGAs
PLDI
Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington
DOI
21:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST
DOI
21:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook
Link to publication DOI Media Attached
21:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex Reinking Microsoft Research, Ningning Xie University of Hong Kong, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research
DOI
21:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago
DOI Pre-print
21:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire
DOI
21:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University
DOI
21:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University
DOI
21:40 - 22:30
Poster Session 3PLDI at Gather Poster Rooms
21:40
50m
Poster
Poster Session
PLDI

22:30 - 23:30
22:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex Aiken Stanford University, USA
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Fri 25 Jun

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

00:00 - 01:00
Building Inclusive Research EnvironmentsCARES at CARES
00:00
60m
Other
Building Inclusive Research Environments
CARES

00:15 - 01:30
Student Research Competition Finalist TalksSRC at PLDI-A
01:30 - 02:05
Talks 4A: Analysis and SynthesisPLDI at PLDI-A
01:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh Farzan University of Toronto, Victor Nicolet University of Toronto
DOI
01:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara Pailoor University of Texas at Austin, Yuepeng Wang University of Pennsylvania, Xinyu Wang University of Michigan, Işıl Dillig University of Texas at Austin
DOI
01:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar Itzhaky Technion, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego, Reuben N. S. Rowe Royal Holloway University of London, Ilya Sergey Yale-NUS College; National University of Singapore
DOI
01:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. Koenig Stanford University, Oded Padon VMWare Research, Alex Aiken Stanford University, USA
DOI
01:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang Zuo Nanjing University, Kai Ji Nanjing University, Yifei Wang Nanjing University, Wei Tao Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University, Guoqing Harry Xu University of California at Los Angeles
DOI
01:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste Olivry Inria, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, Fabrice Rastello Inria
DOI
02:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady Ferdowsi University of Mashhad, Petr Novotný Masaryk University, Đorđe Žikelić IST Austria
DOI
01:30 - 02:05
Talks 4B: Concurrency, Compilation, and DebuggingPLDI at PLDI-B
01:30
5m
Talk
Mirror: Making Lock-Free Data Structures Persistent
PLDI
Michal Friedman Technion, Erez Petrank Technion, Pedro Ramalhete Cisco Systems
DOI
01:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University
DOI
01:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago
DOI
01:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah
DOI Pre-print
01:50
5m
Talk
Incremental Whole-Program Analysis in Datalog with Lattices
PLDI
Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs
DOI
01:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles
DOI
02:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS
DOI
02:05 - 03:00
Poster Session 4PLDI at Gather Poster Rooms
02:05
55m
Poster
Poster Session
PLDI

03:00 - 04:20
Business MeetingPLDI at PLDI-A
03:00
80m
Meeting
PLDI Business Meeting
PLDI

08:30 - 09:00
PL TeaSocial at Social +12h
08:30
30m
Social Event
PLTea
Social

09:00 - 09:40
Talks 5A: Machine Learning and Probabilistic ProgrammingPLDI at PLDI-A +12h
09:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun Jung Seoul National University, Thanh Tuan Dao Seoul National University, Jaejin Lee Seoul National University
DOI
09:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew Sotoudeh University of California at Davis, Aditya V. Thakur University of California at Davis
DOI Pre-print Media Attached
09:10
5m
Talk
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
PLDI
Kevin Ellis Cornell University, Lionel Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology
DOI
09:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth Prabhu TCS Research, Grigory Fedyukovich Florida State University, Kumar Madhukar TCS Research, Deepak D'Souza IISc Bangalore
DOI
09:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume Baudart Inria, Javier Burroni University of Massachusetts Amherst, Martin Hirzel IBM Research, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research
DOI
09:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin
DOI
09:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology
DOI
09:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi Wang Shanghai Jiao Tong University, Yican Sun Peking University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology
DOI
09:00 - 09:40
Talks 5B: Defect Detection and RepairPLDI at PLDI-B +12h
09:00
5m
Talk
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
PLDI
Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology
DOI
09:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan
DOI
09:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore
DOI Pre-print
09:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK
DOI
09:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
09:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI
09:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University
DOI
09:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University
DOI
09:40 - 10:30
Poster Session 5PLDI at Gather Poster Rooms +12h
09:40
50m
Poster
Poster Session
PLDI

10:30 - 11:30
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Milind Kulkarni Purdue University
10:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle Strout HPE and University of Arizona
11:30 - 12:30
PL TeaSocial at Social +12h
11:30
60m
Social Event
PLTea
Social

12:00 - 12:30
12:00
30m
Live Q&A
Oracle: Chat With Guy Steele
Sponsors

12:30 - 13:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Ranjit Jhala University of California at San Diego, John Wickerson Imperial College London
12:30
20m
Live Q&A
Ask Me Anything with Madan Musuvathi
Ask Me Anything
Madan Musuvathi Microsoft Research
12:50
20m
Live Q&A
Ask Me Anything with Philippa Gardner
Ask Me Anything
Philippa Gardner Imperial College London
13:10
20m
Live Q&A
Ask Me Anything with Rustan Leino
Ask Me Anything
13:30 - 14:05
Talks 6A: Language ImplementationPLDI at PLDI-A +12h
13:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof Maziarz Microsoft, Tom Ellis Microsoft, Alan Lawrence Microsoft, Andrew Fitzgibbon Microsoft, Simon Peyton Jones Microsoft
DOI
13:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen Hu University of Sydney, David Zhao University of Sydney, Herbert Jordan Innsbruck University, Bernhard Scholz University of Sydney
DOI
13:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan Kandemir Pennsylvania State University, Xulong Tang University of Pittsburgh, Hui Zhao University of North Texas, Jihyun Ryoo Pennsylvania State University, Mustafa Karakoy TUBITAK-BILGEM
DOI
13:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. Lim Rutgers University, Santosh Nagarakatte Rutgers University
DOI Pre-print
13:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC Sivaramakrishnan IIT Madras, Stephen Dolan OCaml Labs, Leo White Jane Street, Tom Kelly OCaml Labs, Sadiq Jaffer Opsian and OCaml Labs, Anil Madhavapeddy OCaml Labs
Link to publication DOI Media Attached
13:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo Bruno INESC-ID / IST, ULisboa, Vojin Jovanovic Oracle Labs, Christian Wimmer Oracle Labs, Gustavo Alonso ETH Zurich
DOI
14:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian Erdweg JGU Mainz, Tamás Szabó JGU Mainz; Workday, André Pacak JGU Mainz
DOI
13:30 - 14:00
Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B +12h
13:30
5m
Talk
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
PLDI
Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University
DOI
13:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California
DOI
13:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie Koenig Yale University, Zhong Shao Yale University
DOI
13:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford
DOI
13:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University
DOI
13:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology
DOI
14:05 - 15:00
Poster Session 6PLDI at Gather Poster Rooms +12h
14:05
55m
Poster
Poster Session
PLDI

15:00 - 16:00
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Emery D. Berger University of Massachusetts Amherst
15:00
60m
Awards
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks
Emina Torlak University of Washington
20:30 - 21:00
PL TeaSocial at Social
20:30
30m
Social Event
PLTea
Social

21:00 - 21:40
Talks 5A: Machine Learning and Probabilistic ProgrammingPLDI at PLDI-A
21:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun Jung Seoul National University, Thanh Tuan Dao Seoul National University, Jaejin Lee Seoul National University
DOI
21:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew Sotoudeh University of California at Davis, Aditya V. Thakur University of California at Davis
DOI Pre-print Media Attached
21:10
5m
Talk
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
PLDI
Kevin Ellis Cornell University, Lionel Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology
DOI
21:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth Prabhu TCS Research, Grigory Fedyukovich Florida State University, Kumar Madhukar TCS Research, Deepak D'Souza IISc Bangalore
DOI
21:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume Baudart Inria, Javier Burroni University of Massachusetts Amherst, Martin Hirzel IBM Research, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research
DOI
21:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin
DOI
21:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology
DOI
21:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi Wang Shanghai Jiao Tong University, Yican Sun Peking University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology
DOI
21:00 - 21:40
Talks 5B: Defect Detection and RepairPLDI at PLDI-B
21:00
5m
Talk
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
PLDI
Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology
DOI
21:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan
DOI
21:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore
DOI Pre-print
21:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK
DOI
21:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology
DOI
21:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI
21:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University
DOI
21:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University
DOI
21:40 - 22:30
Poster Session 5PLDI at Gather Poster Rooms
21:40
50m
Poster
Poster Session
PLDI

22:30 - 23:30
22:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle Strout HPE and University of Arizona
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Sat 26 Jun

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

00:30 - 01:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Andreea Costea School of Computing, National University Of Singapore, Hongseok Yang KAIST
00:30
30m
Live Q&A
Ask Me Anything with Sukyoung Ryu
Ask Me Anything
01:00
30m
Live Q&A
Ask Me Anything with Joxan Jaffar
Ask Me Anything
Joxan Jaffar National University of Singapore
01:30 - 02:05
Talks 6A: Language ImplementationPLDI at PLDI-A
01:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof Maziarz Microsoft, Tom Ellis Microsoft, Alan Lawrence Microsoft, Andrew Fitzgibbon Microsoft, Simon Peyton Jones Microsoft
DOI
01:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen Hu University of Sydney, David Zhao University of Sydney, Herbert Jordan Innsbruck University, Bernhard Scholz University of Sydney
DOI
01:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan Kandemir Pennsylvania State University, Xulong Tang University of Pittsburgh, Hui Zhao University of North Texas, Jihyun Ryoo Pennsylvania State University, Mustafa Karakoy TUBITAK-BILGEM
DOI
01:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. Lim Rutgers University, Santosh Nagarakatte Rutgers University
DOI Pre-print
01:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC Sivaramakrishnan IIT Madras, Stephen Dolan OCaml Labs, Leo White Jane Street, Tom Kelly OCaml Labs, Sadiq Jaffer Opsian and OCaml Labs, Anil Madhavapeddy OCaml Labs
Link to publication DOI Media Attached
01:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo Bruno INESC-ID / IST, ULisboa, Vojin Jovanovic Oracle Labs, Christian Wimmer Oracle Labs, Gustavo Alonso ETH Zurich
DOI
02:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian Erdweg JGU Mainz, Tamás Szabó JGU Mainz; Workday, André Pacak JGU Mainz
DOI
01:30 - 02:00
Talks 6B: Applied Logics and SemanticsPLDI at PLDI-B
01:30
5m
Talk
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
PLDI
Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University
DOI
01:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California
DOI
01:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie Koenig Yale University, Zhong Shao Yale University
DOI
01:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford
DOI
01:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University
DOI
01:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology
DOI
02:05 - 03:00
Poster Session 6PLDI at Gather Poster Rooms
02:05
55m
Poster
Poster Session
PLDI