Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI

Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
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. GabrielDream 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 ShawCarnegie Mellon University
10:45
60m
Talk
History of Coarrays and SPMD Parallelism in Fortran
HOPL IV
John ReidJKR Associates and Rutherford Appleton Laboratory, Bill LongCray Inc., Jon SteidelIntel Inc.
DOI
13:30 - 16:15
Sunday Early AfternoonHOPL IV at HOPL
Chair(s): Jens PalsbergUniversity of California at Los Angeles, Crista LopesUniversity of California, Irvine
13:30
75m
Talk
A History of MATLAB
HOPL IV
Jack LittleMathWorks, Cleve MolerMathWorks
DOI
15:15
60m
Talk
S, R and Data Science.
HOPL IV
John ChambersStanford University
DOI
16:45 - 17:45
Sunday Late AfternoonHOPL IV at HOPL
Chair(s): Crista LopesUniversity of California, Irvine
16:45
60m
Talk
LabVIEW
HOPL IV
Jeffrey KodoskyCo-founder and Fellow, National Instruments
DOI
18:15 - 21:00
Sunday EveningHOPL IV at HOPL
Chair(s): Shigeru ChibaThe University of Tokyo, Sukyoung RyuKAIST
18:15
60m
Talk
The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT
HOPL IV
Brad CoxRetired, Steve NaroffRetired, Hansen HsuComputer History Museum
DOI
19:45
75m
Talk
JavaScript: The First 20 Years
HOPL IV
Allen Wirfs-BrockWirfs-Brock Associates, Brendan EichBrave Software
DOI

Conference Day
Mon 21 Jun

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

09:00 - 11:45
Session 1 (principles)ARRAY at ARRAY
Chair(s): Artjoms ŠinkarovsHeriot-Watt University, UK
10:30
15m
Day opening
Welcome and opening
ARRAY
Jeremy GibbonsDepartment of Computer Science, University of Oxford
10:45
30m
Talk
Towards size-dependent types for array programming
ARRAY
Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark
11:15
30m
Talk
Padding in the Mathematics of Arrays
ARRAY
Benjamin ChetiouiUniversity of Bergen, Norway, Ole AbusdalWestern Norway University of Applied Sciences, Magne HaveraaenUniversity of Bergen, Norway, Jaakko JärviUniversity of Turku, Lenore MullinUniversity at Albany, SUNY
09:00 - 11:45
Monday MorningHOPL IV at HOPL
Chair(s): Tomas PetricekUniversity of Kent, Vijay SaraswatIBM TJ Watson Research Center
09:00
75m
Talk
History of Logo
HOPL IV
Cynthia SolomonCynthia Solomon Consulting, Brian HarveyUniversity of California, Berkeley, Ken KahnUniversity of Oxford, Henry LiebermanMIT Computer Science and Artificial Intelligence Lab (CSAIL), Mark MillerLearningtech.org and Northeastern University, Margaret MinskyNew York University Shanghai, Artemis PapertIndependent Artist, Brian SilvermanPlayful Invention Co.
DOI
10:45
60m
Talk
A history of the Oz multiparadigm language
HOPL IV
Peter Van RoyUniversité catholique de Louvain, Seif HaridiKTH Royal Institute of Technology, Sweden, Christian SchulteKTH Royal Institute of Technology, Gert SmolkaSaarland University
DOI
09:00 - 11:45
Session 1Infer Practitioners at Infer Practitioners
Chair(s): Dino DistefanoFacebook London
09:00
40m
Talk
Journey to null safety for Java at Facebook. An experience report.
Infer Practitioners
Artem PianykhFacebook London, Mitya LyubarskiyFacebook 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 ReisInstituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto MartinsInstituto Superior Técnico, U. Lisboa & INESC-ID, João F. FerreiraINESC-ID and IST, University of Lisbon, Rui AbreuFaculty 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 GrigoreFacebook
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 MightUniversity 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
10:45 - 12:00
KeynoteMAPS at MAPS
10:45
15m
Day opening
Opening Remarks
MAPS
Isil DilligUniversity of Texas at Austin, Roopsha SamantaPurdue University
11:00
60m
Keynote
Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond
MAPS
Koushik SenUniversity of California, Berkeley
13:30 - 16:15
Session 2 (keynote) and 3 (applications)ARRAY at ARRAY
Chair(s): Aggelos BiboudisSwisscom AG, Sandra Catalán
13:30
75m
Keynote
Keynote: Tilting at Windmills with the Humble Array
ARRAY
Tim MattsonIntel, USA
File Attached
15:15
30m
Talk
Array Languages Make Neural Networks Fast
ARRAY
Artjoms ŠinkarovsHeriot-Watt University, UK, Hans-Nikolai VießmannRadboud University Nijmegen, Netherlands, Sven-Bodo ScholzRadboud University
15:45
30m
Talk
Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives
ARRAY
Wojciech Michal PawlakUniversity of Copenhagen, Denmark, Marek HlavaDepartment of Computer Science, University of Copenhagen, Martin MetaksovDepartment of Computer Science, University of Copenhagen, Cosmin OanceaUniversity of Copenhagen, Denmark
13:30 - 16:15
Monday Early AfternoonHOPL IV at HOPL
Chair(s): Yannis SmaragdakisUniversity of Athens, Roberto IerusalimschyPUC-Rio
13:30
75m
Talk
Thriving in a crowded and changing world: C++ 2006-2020
HOPL IV
Bjarne StroustrupMorgan Stanley
DOI
15:15
60m
Talk
Origins of the D Programming Language
HOPL IV
Walter BrightThe D Language Foundation, Andrei AlexandrescuThe D Language Foundation, Michael ParkerThe D Language Foundation
DOI
13:30 - 16:15
Session 2Infer Practitioners at Infer Practitioners
Chair(s): Ezgi ÇiçekFacebook 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 BolignanoAmazon, Bor-Yuh Evan ChangUniversity 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 CitoTU 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 DrainMicrosoft, Chen WuMicrosoft, China, Alexey SvyatkovskiyMicrosoft, Neel SundaresanMicrosoft Corporation
14:00
30m
Talk
Learning to Make Compiler Optimizations More Effective
MAPS
Rahim MammadliTechnical University of Darmstadt, Marija SelakovicTU Darmstadt, Germany, Felix WolfTechnical University of Darmstadt, Michael PradelUniversity of Stuttgart
13:30 - 16:15
Session 2PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Grad School
PLMW@PLDI
Zachary TatlockUniversity of Washington, Seattle, Sarah E. ChasinsUniversity of California, Berkeley, Andreea CosteaSchool of Computing, National University Of Singapore, Marco PatrignaniCISPA Helmholtz Center for Information Security / Stanford University
15:15
60m
Talk
Reasoning Under Uncertainty in SMT Solving, Research, and Life
PLMW@PLDI
Lindsey KuperUniversity of California at Santa Cruz
15:15 - 16:15
Session BMAPS at MAPS
15:15
60m
Talk
Engineering Uncertain Computations
MAPS
Michael CarbinMassachusetts 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 HickeyCognitect, 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 SmithUniversity of Washington, Andrew LiuUniversity of Washington, Steven LyubomirskyUniversity of Washington, USA, Scott DavidsonUniversity of Washington, Joseph McMahanUniversity of Washington, Michael Bedford TaylorUniversity of Washington, Luis CezeUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
18:15
30m
Talk
ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures
MAPS
Niranjan HasabnisIntel Labs, Justin GottschlichIntel Labs / Penn
18:45
30m
Talk
Predictive Data Locality Optimization for Higher-Order Tensor Computations
MAPS
Tharindu PatabandiUniversity of Utah, Anand Venkat, Abhishek KulkarniIntel, Pushkar RatnalikarIntel Labs, Mary HallUniversity of Utah, Justin GottschlichIntel Labs / Penn
18:00 - 21:00
Session 4 (short talks)ARRAY at ARRAY
Chair(s): Jonathan Ragan-KelleyMIT CSAIL
18:00
25m
Talk
Improving the Performance of DGEMM with MoA and Cache-Blocking
ARRAY
Stephen ThomasNational Renewable Energy Laboratory, Lenore MullinSUNY Albany, USA, Kasia SwirydowiczPacific Northwest National Laboratory
File Attached
18:25
25m
Talk
Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator
ARRAY
Jizhe ChenxinTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
18:50
25m
Talk
Data Layouts are Important (Extended Abstract)
ARRAY
Doru Thom PopoviciLawrence Berkeley National Lab, Andrew CanningLawrence Berkeley National Laboratory, Zhengji ZhaoLawrence Berkeley National Laboratory, Lin-Wang WangLawrence Berkeley National Laboratory, John ShalfLawrence 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 AikenStanford University, USA
19:45
75m
Social Event
Social Hangout 1
PLMW@PLDI

18:15 - 21:00
Monday EveningHOPL IV at HOPL
Chair(s): Steve BlackburnAustralian National University, Andrew BlackPortland State University
18:15
60m
Keynote
programmingLanguage as Language;
HOPL IV
K: James NobleVictoria University of Wellington, K: Robert BiddleCarleton 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 RaghotamanUniversity of Southern California
20:45
15m
Day closing
Closing remarks
MAPS
Justin GottschlichIntel Labs / Penn

Conference Day
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 PingaliThe University of Texas at Austin
09:00
75m
Talk
APL Since 1978
HOPL IV
Roger K.W. HuiDyalog Ltd., Morten J. KrombergDyalog Ltd.
DOI
10:45
60m
Talk
Verilog HDL and its ancestors and descendants
HOPL IV
Peter FlakeElda Technology Ltd, Phil Moorby, Steve GolsonTrilobyte Systems, Arturo SalzSynopsys, Inc., Simon DavidmannImperas Software Ltd
DOI
09:00 - 11:45
Keynote and Session 1: CachingISMM at ISMM
Chair(s): Jeremy SingerGlasgow University
09:00
15m
Day opening
Welcome from the Chairs and Conference Report
ISMM
Tobias WrigstadUppsala University, Sweden, Zhenlin WangMichigan Technological University
09:15
60m
Keynote
Reflections on Forty Years in Garbage Collection
ISMM
Eliot MossUniversity 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 DingUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Benjamin ReberUniversity of Rochester, Wesley SmithUniversity of Rochester, Pengcheng LiGoogle, 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 LiuNorth Carolina State University
09:10
75m
Keynote
On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving
LCTES
Frank MuellerNorth 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 OhSeoul National University, Yaebin MoonSeoul National University, Eojin LeeSamsung Electronics, Tae Jun HamSeoul National University, Yongjun ParkHanyang University, Jae W. LeeSeoul National University, Korea, Jung Ho AhnSeoul 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 WenThe University of Auckland, Gerald WeberThe 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
09:00 - 11:45
Session 1: Verification, programming & controlPLanQC at PLanQC
Chair(s): Matthew AmyDalhousie University, Ross DuncanCambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael HicksUniversity of Maryland at College Park
File Attached
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De SantisUniversity of Verona, Roberto GiacobazziUniversity of Verona, Margherita ZorziUniversity of Verona
File Attached
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille RobertJohannes Kepler University, Linz, Stefan HillmichJohannes Kepler University, Linz, Lukas BurgholzerJohannes Kepler University, Linz
File Attached
10:15
30m
Coffee break
Break
PLanQC

10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew CrossIBM T.J Watson Research Center, Ali Javadi-AbhariIBM T.J Watson Research Center, Thomas AlexanderIBM T.J Watson Research Center, Lev BishopIBM T.J Watson Research Center, Colm A. RyanAWS Center for Quantum Computing, Steven HeidelAWS Center for Quantum Computing, Niel de BeaudrapUniversity of Sussex, John SmolinIBM T.J Watson Research Center, Jay M. GambettaIBM T.J Watson Research Center, Blake R. JohnsonIBM T.J Watson Research Center
File Attached
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique UnruhUniversity of Tartu
File Attached
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo ArrighiUniversité Paris-Saclay, CNRS, LMF, Marin CostesUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher CedzichQuantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse RemondUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit ValironUniversité Paris-Saclay, CNRS, CentraleSupélec, LMF
File Attached
09:00 - 11:45
Session 1SOAP at SOAP
Chair(s): Caterina UrbanINRIA & École Normale Supérieure | Université PSL
09:00
15m
Day opening
Welcome from the chairs
SOAP
Caterina UrbanINRIA & École Normale Supérieure | Université PSL, Lisa Nguyen Quang DoGoogle
09:15
60m
Live Q&A
[Invited talk] Towards Security-Oriented Program analysis
SOAP
Sébastien BardinCEA LIST, University Paris-Saclay
10:15
30m
Break
Break
SOAP

10:45
25m
Talk
Static Analysis for Dummies: Experiencing LiSA
SOAP
Pietro FerraraUniversità Ca' Foscari, Venezia, Italy, Luca NegriniCa’ Foscari University of Venice, Corvallis S.r.l., Vincenzo ArceriCa’ Foscari University of Venice, Agostino CortesiUniversità Ca' Foscari Venezia
11:10
25m
Talk
Security and Quality: Two Sides of The Same Coin?
SOAP
Steven ArztFraunhofer 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 SmaragdakisUniversity of Athens, Neville GrechUniversity 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 BrucePomona College, Brent HailpernIBM Research
13:30
75m
Talk
The History of Standard ML
HOPL IV
David MacQueenUniversity of Chicago (Emeritus), Robert HarperCarnegie Mellon University, USA, John ReppyUniversity of Chicago, USA
DOI
15:15
60m
Talk
Evolution of Emacs Lisp
HOPL IV
Stefan MonnierUniversité de Montréal, Michael SperberActive Group GmbH
DOI
13:30 - 16:15
Session 2: Paging/Structuring & Session 3: Allocating/Copying ISMM at ISMM
Chair(s): Doug LeaState University of New York (SUNY) Oswego, Benjamin ZornMicrosoft Research
13:30
30m
Talk
Radiant: Efficient Page Table Management for Tiered Memory Systems
ISMM
DOI Pre-print
14:00
30m
Talk
Compendia: Reducing Virtual-Memory Costs via Selective Densification
ISMM
Sam AinsworthUniversity of Edinburgh, UK, Timothy M. JonesUniversity of Cambridge, UK
Pre-print Media Attached
14:30
45m
Meeting
ISMM Business Meeting
ISMM
Tobias WrigstadUppsala University, Sweden
15:15
30m
Talk
Adaptive Huge-Page Subrelease for Non-Moving Memory Allocators in Warehouse-Scale Computers
ISMM
Martin MaasGoogle Research, Chris KennellyGoogle, Khanh NguyenTexas A&M University, Darryl GoveGoogle, Kathryn S McKinleyGoogle, Paul TurnerGoogle
15:45
30m
Talk
automemcpy A framework for automatic generation of fundamental memory operations
ISMM
Guillaume ChateletGoogle Research, Chris KennellyGoogle, Sam XiGoogle, Ondrej SykoraGoogle Research, Clement CourbetGoogle Research, David LiGoogle, Bruno De BackerGoogle 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. RochaUniversity of Edinburgh, UK, Pavlos PetoumenosUniversity of Manchester, UK, Zheng WangUniversity of Leeds, UK, Murray ColeUniversity of Edinburgh, UK, Hugh LeatherFacebook, Kim HazelwoodFacebook AI Research
13:55
25m
Full-paper
Optimus: Towards Optimal Layer-Fusion on DeepLearning Processors
LCTES
Xuyi CaiICT CAS, Ying WangICT CAS, Lei ZhangICT CAS
14:20
25m
Full-paper
Robust I/O-compute Concurrency for Machine Learning Pipelines in Constrained Cyber-physical Devices
LCTES
Jayaraj PoroorJIFFY.ai, Akash LalMicrosoft Research, Sandesh GhantaAmrita 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 SchusterFriedrich-Alexander University Erlangen-Nürnberg (FAU), Peter WägemannFriedrich-Alexander University Erlangen-Nürnberg (FAU), Peter UlbrichTechnische Universität Dortmund, Wolfgang Schröder-PreikschatFriedrich-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 MonniauxCNRS/VERIMAG, Cyril SixKalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
16:05
10m
Short-paper
WIP:Selective Path-sensitive Interval Analysis
LCTES
Bharti ChimdyalwarTata Consultancy Services, Shrawan KumarTata Cosultancy Services
13:30 - 16:15
Session 5PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Advising and Research
PLMW@PLDI
Ranjit JhalaUniversity of California at San Diego, Isil DilligUniversity of Texas at Austin, Matthias FelleisenPLT @ Northeastern University, Frank PiessensKU Leuven, Stephanie WeirichUniversity of Pennsylvania, USA
15:15
60m
Talk
Tips on Writing a Research Paper
PLMW@PLDI
Thomas RepsUniversity of Wisconsin
13:30 - 16:15
Session 2: Compilation & TypesPLanQC at PLanQC
Chair(s): Jennifer PaykinGalois, Inc., Ali Javadi-AbhariIBM T.J Watson Research Center
13:30
35m
Talk
Invited Talk: Quantum compilation using the ZX-calculus
PLanQC
I: John van de WeteringUniversity of Oxford, Radboud Universiteit Nijmegen
14:05
20m
Talk
Quantum routing with fast reversals
PLanQC
Aniruddha BapatUniversity of Maryland, Andrew M. ChildsUniversity of Maryland, Alexey V. GorshkovUniversity of Maryland, Sam KingUniversity of Rochester, Eddie SchouteUniversity of Maryland, Hrishee ShastriReed College
Pre-print File Attached
14:25
20m
Talk
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Vlad GheorghiuInstitute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li, Michele MoscaUniversity of Waterloo, Priyanka MukhopadhyayInstitue 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 VoichickUniversity of Maryland, Michael HicksUniversity 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 SinghalUniversity of Chicago, Sarah MarshallMicrosoft Quantum, Kesha HietalaUniversity of Maryland, Robert RandUniversity of Chicago
Pre-print Media Attached File Attached
15:55
20m
Talk
Extending Gottesman Types Beyond the Clifford Group
PLanQC
Robert RandUniversity of Chicago, Aarthi SundaramMicrosoft Quantum, Kartik SinghalUniversity of Chicago, Brad LackeyMicrosoft Quantum, University of Maryland
File Attached
13:30 - 16:15
Session 2SOAP at SOAP
Chair(s): Caterina UrbanINRIA & École Normale Supérieure | Université PSL, Lisa Nguyen Quang DoGoogle
13:30
25m
Talk
Program analysis for reversible languages
SOAP
Uwe MeyerUniversity of Applied Sciences Giessen, Niklas DeworetzkiTechnische Hochschule Mittelhessen
13:55
25m
Talk
PerfLens: A Data-Driven Performance Bug Detection and Fix Platform
SOAP
Spandan Garg, Roshanak Zilouchian MoghaddamMicrosoft, Neel SundaresanMicrosoft Corporation, Chen WuMicrosoft, China
14:20
25m
Talk
Weldr: Fusing Binaries for Simplified Analysis
SOAP
Alexander HeinricherRaytheon BBN Technologies, Ryan WilliamsNortheastern University, Ava Klingbeil, Alex JordanRaytheon 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 VafeiadisMPI-SWS, Azalea RaadImperial College London
16:45 - 17:45
Tuesday Late AfternoonHOPL IV at HOPL
Chair(s): Philip WadlerUniversity of Edinburgh, UK
16:45
60m
Talk
The Early History of F#
HOPL IV
Don SymeMicrosoft Research
DOI
18:00 - 21:00
Session 4: Compacting/Indexing/Transactioning & ClosingISMM at ISMM
Chair(s): Timothy M. JonesUniversity of Cambridge, UK
18:00
30m
Talk
Exploiting Intel Optane Persistent Memory for Full Text Search
ISMM
Shoaib AkramAustralian National University
Pre-print File Attached
18:30
30m
Talk
Understanding and Utilizing Hardware Transactional Memory Capacity
ISMM
Zixian CaiAustralian National University, Steve BlackburnAustralian National University, Michael D. BondOhio State University, USA
Link to publication DOI Media Attached
19:00
30m
Talk
Fusuma: Double-ended Threaded Compaction
ISMM
Hiro OnozawaThe University of Electro-Communications, Tomoharu UgawaUniversity of Tokyo, Hideya IwasakiUniversity of Electro-Communications, Japan
19:30
15m
Day closing
Closing Remarks
ISMM
Tobias WrigstadUppsala University, Sweden, Zhenlin WangMichigan 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 YoungUniversity of British Columbia, Alan J. HuUniversity of British Columbia, Guy LemieuxUniversity of British Columbia
18:25
25m
Full-paper
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults
LCTES
Oskar PuszLeibniz Universität Hannover, Christian DietrichLeibniz Universität Hannover, Daniel LohmannLeibniz Universität Hannover
18:50
25m
Full-paper
Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems
LCTES
Hongwei QinHuazhong University of Science and Technology, China, Dan FengHuazhong University of Science and Technology, China, Wei TongHuazhong University of Science and Technology, China, Yutong ZhaoHuazhong University of Science and Technology, China, Sheng QiuAlibaba Group, Fei LiuAlibaba Group, Shu LiAlibaba Group
19:15
30m
Break
Break
LCTES

19:45
25m
Full-paper
ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen
LCTES
Pavan Kumar PaluriUniversity of Houston, Guangli DaiUniversity of Houston, Albert M. K. ChengUniversity of Houston
20:10
25m
Full-paper
CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy
LCTES
Weiwei ChenInstitute of Computing Technology, CAS, Ying WangICT CAS, Gangliang LinICT CAS, Chengsi GaoICT CAS, Cheng LiuICT CAS, Lei ZhangICT CAS
20:35
10m
Short-paper
WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture
LCTES
XiaoLei ZhaoNational University of Defense Technology, Mei WenNational University of Defense Technology, Zhaoyun ChenNational University of Defense Technology, Yang ShiNational University of Defense Technology, Chunyuan ZhangNational University of Defense Technology
18:00 - 21:00
Session 6PLMW@PLDI at PLMW
18:00
75m
Other
Panel on Career Paths
PLMW@PLDI
Jean YangCarnegie Mellon University, Kathleen FisherTufts University, Hannah GommerstadtVassar College, Peter W. O'HearnFacebook and University College London, Jennifer PaykinGalois, 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 RandUniversity of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei DingUniversity of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRoseUnitary Fund, Michigan State University, Andrea MariUnitary Fund, Sarah KaiserUnitary Fund, Peter J. KaralekasUnitary Fund, Nathan ShammahUnitary Fund, William J. ZengUnitary Fund, Goldman Sachs
Pre-print File Attached
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha HietalaUniversity of Maryland, Liyi LiUniversity of Maryland, Akshaj GaurPoolesville High School, Aaron GreenUniversity of Maryland, Robert RandUniversity of Chicago, Xiaodi WuUniversity of Maryland, Michael HicksUniversity of Maryland at College Park
File Attached
18:00 - 21:00
Session 3SOAP at SOAP
Chair(s): Lisa Nguyen Quang DoGoogle
18:00
25m
Talk
Multi-Language Static Code Analysis on the LARA Framework
SOAP
Gil Teixeira, João BispoFaculdade de Engenharia e Universidade do Porto, Filipe Figueiredo CorreiaUniversity of Porto
18:25
25m
Talk
Serialization-Aware Call Graph Construction
SOAP
Joanna C. S. SantosRochester Institute of Technology, Reese Jones, Chinomso Ashiogwu, Mehdi MirakhorliRochester Institute of Technology
18:50
25m
Talk
Scalable String Analysis: An Experience Report
SOAP
Kostyantyn VorobyovOracle Labs, Australia, Yang ZhaoOracle Labs, Paddy KrishnanOracle Labs, Australia
19:15
30m
Break
Break
SOAP

19:45
60m
Live Q&A
[Invited talk] Towards Intelligent Application Security
SOAP
20:45
15m
Day closing
Award and send-off
SOAP
Lisa Nguyen Quang DoGoogle, Caterina UrbanINRIA & École Normale Supérieure | Université PSL
18:15 - 21:00
Tuesday EveningHOPL IV at HOPL
Chair(s): Allen Wirfs-BrockWirfs-Brock Associates, Matthew FlattUniversity 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 ClingerNortheastern University, Mitchell WandNortheastern University
DOI

Conference Day
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 LiangNanjing University, Xinyu FengNanjing University
DOI
09:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki ChoSeoul National University, Sung-Hwan LeeSeoul National University, Chung-Kil HurSeoul National University, Ori LahavTel Aviv University
DOI
09:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku AcayCornell University, Rolph RectoCornell University, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University
DOI Pre-print
09:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao CaiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Charles ZhangHong Kong University of Science and Technology
DOI
09:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George PîrleaNational University of Singapore, Amrit KumarZilliqa Research, Ilya SergeyYale-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 NikolaevVirginia Tech, Binoy RavindranVirginia Tech
DOI
09:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel AndersonCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Yuanhao WeiCarnegie 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 RingerUniversity of Illinois at Urbana-Champaign, RanDair PorterUniversity of Washington, Nathaniel YazdaniNortheastern University, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
09:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-PerezUniversity of Kent, Francisco FerreiraImperial College London, Lorenzo GheriImperial College London, Nobuko YoshidaImperial College London
DOI
09:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii KostyukovSt. Petersburg State University; JetBrains Research, Dmitry MordvinovSt. Petersburg State University; JetBrains Research, Grigory FedyukovichFlorida State University
DOI
09:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam LasserTufts University, Chris CasinghinoDraper, Kathleen FisherTufts University, Cody RouxDraper
DOI
09:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb StanfordUniversity of Pennsylvania, Margus VeanesMicrosoft Research, Nikolaj BjørnerMicrosoft Research
DOI
09:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres ErbsenMassachusetts Institute of Technology, Samuel GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, Clark WoodMassachusetts Institute of Technology, Adam ChlipalaMassachusetts Institute of Technology
DOI
09:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei HeTsinghua University, Zhihang SunTsinghua University, Hongyu FanTsinghua 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): Roopsha SamantaPurdue University, Sam GuyerTufts University, Kathleen FisherTufts University
10:30
20m
Live Q&A
Ask Me Anything with Kim Hazelwood
Ask Me Anything
Kim HazelwoodFacebook AI Research
10:50
20m
Live Q&A
Ask Me Anything With Emery Berger
Ask Me Anything
Emery D. BergerUniversity of Massachusetts Amherst
11:10
20m
Live Q&A
Ask Me Anything with Michael Carbin
Ask Me Anything
Michael CarbinMassachusetts 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 HeETH Zurich, Cheng-Chun LeeEPFL, Veselin RaychevDeepCode, Martin VechevETH Zurich
DOI
13:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory BonaertETH Zurich, Dimitar I. DimitrovETH Zurich, Maximilian BaaderETH Zurich, Martin VechevETH Zurich
DOI
13:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu ChenUniversity of Texas at Austin, USA, Aaron LamoreauxUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Greg DurrettUniversity of Texas at Austin, USA, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas at Austin
DOI
13:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew MirmanETH Zurich, Alexander HägeleETH Zurich, Timon GehrETH Zurich, Pavol BielikETH Zurich, Martin VechevETH Zurich
Link to publication DOI
13:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei NiuCollege of William & Mary, Jiexiong GuanCollege of William & Mary, Yanzhi WangNortheastern University, Gagan AgrawalAugusta University, Bin RenCollege of William & Mary
DOI
13:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav MalikPurdue University, Vidush SinghalPurdue University, Benjamin GottfriedPurdue University, Milind KulkarniPurdue University
DOI Pre-print
14:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie ZhaoState Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie LiHuawei Technologies, Wang NieHuawei Technologies, Zhen GengHuawei Technologies, Renwei ZhangHuawei Technologies, Xiong GaoHuawei Technologies, Bin ChengHuawei Technologies, Chen WuHuawei, Yun ChengHuawei Technologies, Zheng LiHuawei Technologies, Peng DiHuawei Technologies, Kun ZhangHuawei Technologies, Xuefeng JinHuawei 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 ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
13:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
13:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
13:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
13:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
13:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
14:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford 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 LiangNanjing University, Xinyu FengNanjing University
DOI
21:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki ChoSeoul National University, Sung-Hwan LeeSeoul National University, Chung-Kil HurSeoul National University, Ori LahavTel Aviv University
DOI
21:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku AcayCornell University, Rolph RectoCornell University, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University
DOI Pre-print
21:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao CaiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Charles ZhangHong Kong University of Science and Technology
DOI
21:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George PîrleaNational University of Singapore, Amrit KumarZilliqa Research, Ilya SergeyYale-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 NikolaevVirginia Tech, Binoy RavindranVirginia Tech
DOI
21:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel AndersonCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Yuanhao WeiCarnegie Mellon University
DOI
21:00 - 21:35
Talks 1B: VerificationPLDI at PLDI-B
21:00
5m
Talk
Proof Repair across Type Equivalences
PLDI
Talia RingerUniversity of Illinois at Urbana-Champaign, RanDair PorterUniversity of Washington, Nathaniel YazdaniNortheastern University, John LeoHalfaya Research, Dan GrossmanUniversity of Washington
DOI
21:05
5m
Talk
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
PLDI
David Castro-PerezUniversity of Kent, Francisco FerreiraImperial College London, Lorenzo GheriImperial College London, Nobuko YoshidaImperial College London
DOI
21:10
5m
Talk
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
PLDI
Yurii KostyukovSt. Petersburg State University; JetBrains Research, Dmitry MordvinovSt. Petersburg State University; JetBrains Research, Grigory FedyukovichFlorida State University
DOI
21:15
5m
Talk
CoStar: A Verified ALL(*) Parser
PLDI
Sam LasserTufts University, Chris CasinghinoDraper, Kathleen FisherTufts University, Cody RouxDraper
DOI
21:20
5m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
PLDI
Caleb StanfordUniversity of Pennsylvania, Margus VeanesMicrosoft Research, Nikolaj BjørnerMicrosoft Research
DOI
21:25
5m
Talk
Integration Verification across Software and Hardware for a Simple Embedded System
PLDI
Andres ErbsenMassachusetts Institute of Technology, Samuel GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, Clark WoodMassachusetts Institute of Technology, Adam ChlipalaMassachusetts Institute of Technology
DOI
21:30
5m
Talk
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
PLDI
Fei HeTsinghua University, Zhihang SunTsinghua University, Hongyu FanTsinghua 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): Gerwin KleinCSIRO's Data61 and UNSW Sydney, Steve BlackburnAustralian National University
22:30
30m
Live Q&A
Ask Me Anything with Cristina Cifuentes
Ask Me Anything
23:00
30m
Live Q&A
Ask Me Anything with June Andronick
Ask Me Anything
June AndronickProofcraft, UNSW and seL4 Foundation
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Conference Day
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 KanadeIndian Institute of Science, Bangalore, Alex PotaninVictoria University of Wellington
00:30
30m
Live Q&A
Ask Me Anything with James Noble
Ask Me Anything
James NobleVictoria University of Wellington
01:00
30m
Live Q&A
Ask Me Anything with Sriram Rajamani
Ask Me Anything
Sriram RajamaniMicrosoft 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 HeETH Zurich, Cheng-Chun LeeEPFL, Veselin RaychevDeepCode, Martin VechevETH Zurich
DOI
01:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory BonaertETH Zurich, Dimitar I. DimitrovETH Zurich, Maximilian BaaderETH Zurich, Martin VechevETH Zurich
DOI
01:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu ChenUniversity of Texas at Austin, USA, Aaron LamoreauxUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Greg DurrettUniversity of Texas at Austin, USA, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas at Austin
DOI
01:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew MirmanETH Zurich, Alexander HägeleETH Zurich, Timon GehrETH Zurich, Pavol BielikETH Zurich, Martin VechevETH Zurich
Link to publication DOI
01:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei NiuCollege of William & Mary, Jiexiong GuanCollege of William & Mary, Yanzhi WangNortheastern University, Gagan AgrawalAugusta University, Bin RenCollege of William & Mary
DOI
01:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav MalikPurdue University, Vidush SinghalPurdue University, Benjamin GottfriedPurdue University, Milind KulkarniPurdue University
DOI Pre-print
02:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie ZhaoState Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie LiHuawei Technologies, Wang NieHuawei Technologies, Zhen GengHuawei Technologies, Renwei ZhangHuawei Technologies, Xiong GaoHuawei Technologies, Bin ChengHuawei Technologies, Chen WuHuawei, Yun ChengHuawei Technologies, Zheng LiHuawei Technologies, Peng DiHuawei Technologies, Kun ZhangHuawei Technologies, Xuefeng JinHuawei 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 ChristensenUniversity of California at Santa Barbara, Timothy SherwoodUniversity of California at Santa Barbara, Jonathan BalkindUniversity of California at Santa Barbara, Ben HardekopfUniversity of California at Santa Barbara
DOI
01:35
5m
Talk
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
PLDI
John RennerUniversity of California at San Diego, Alex Sanchez-SternUniversity of California at San Diego, Fraser BrownStanford University, Sorin LernerUniversity of California at San Diego, Deian StefanUniversity of California at San Diego
DOI
01:40
5m
Talk
Unqomp: Synthesizing Uncomputation in Quantum Circuits
PLDI
Anouk ParadisETH Zurich, Benjamin BichselETH Zurich, Samuel SteffenETH Zurich, Martin VechevETH Zurich
DOI
01:45
5m
Talk
Gleipnir: Toward Practical Error Analysis for Quantum Programs
PLDI
Runzhou TaoColumbia University, Yunong ShiUniversity of Chicago, Jianan YaoColumbia University, John HuiColumbia University, Frederic T. ChongUniversity of Chicago, Ronghui GuColumbia University
DOI
01:50
5m
Talk
Quantum Abstract Interpretation
PLDI
Nengkun YuUTS, Jens PalsbergUniversity of California at Los Angeles
DOI
01:55
5m
Talk
Task Parallel Assembly Language for Uncompromising Parallelism
PLDI
Mike RaineyCarnegie Mellon University, Ryan R. NewtonFacebook, Kyle HaleIllinois Institute of Technology, Nikos HardavellasNorthwestern University, Simone CampanoniNorthwestern University, Peter DindaNorthwestern University, Umut A. AcarCarnegie Mellon University
DOI
02:00
5m
Talk
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
PLDI
Michael FischerStanford University, Giovanni CampagnaStanford University, Euirim ChoiStanford University, Monica S. LamStanford 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 SteinUniversity of Colorado at Boulder, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon, Manu SridharanUniversity 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 RenUniversity of Texas at Arlington, Michael HoUniversity of Texas at Arlington, Jiang MingUniversity of Texas at Arlington, Jeff Yu LeiUniversity of Texas at Arlington, Li LiMonash 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 ZuoNanjing University, Yiyu ZhangNanjing University, Qiuhong PanNanjing University, Shenming LuNanjing University, Yue LiNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
09:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei ZhuPrinceton University, Zachary KincaidPrinceton University
DOI
09:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa MorihataUniversity of Tokyo, Shigeyuki SatoUniversity of Tokyo
DOI
09:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan GuriaUniversity of Maryland, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland
DOI
09:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity 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 VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
09:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
09:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
09:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
09:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI Pre-print
09:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
09:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
09:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern 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): Isil DilligUniversity of Texas at Austin
10:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex AikenStanford 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 FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
DOI
13:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara PailoorUniversity of Texas at Austin, Yuepeng WangUniversity of Pennsylvania, Xinyu WangUniversity of Michigan, Isil DilligUniversity of Texas at Austin
DOI
13:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar ItzhakyTechnion, Hila PelegTechnion, Nadia PolikarpovaUniversity of California at San Diego, Reuben N. S. RoweRoyal Holloway University of London, Ilya SergeyYale-NUS College; National University of Singapore
DOI
13:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. KoenigStanford University, Oded PadonVMWare Research, Alex AikenStanford University, USA
DOI
13:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang ZuoNanjing University, Kai JiNanjing University, Yifei WangNanjing University, Wei TaoNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
13:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste OlivryInria, Guillaume IoossInria, Nicolas TollenaereInria, Atanas RountevOhio State University, Saday SadayappanUniversity of Utah, Fabrice RastelloInria
DOI
14:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu ChatterjeeIST Austria, Ehsan Kafshdar GoharshadyFerdowsi 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 FriedmanTechnion, Erez PetrankTechnion, Pedro RamalheteCisco Systems
DOI
13:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan JiangPennsylvania State University, Haibo ZhangPennsylvania State University, Xulong TangUniversity of Pittsburgh, Vineetha GovindarajPennsylvania State University, Jack SampsonPennsylvania State University, Mahmut Taylan KandemirPennsylvania State University, Danfeng ZhangPennsylvania State University
DOI
13:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana BasuUniversity of Illinois at Chicago, Claudio MontanariUniversity of Illinois at Chicago, Jakob ErikssonUniversity of Illinois at Chicago
DOI
13:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. LopesMicrosoft Research, Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Zhengyang LiuUniversity of Utah, John RegehrUniversity 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 ErdwegJGU Mainz, Gábor BergmannBudapest University of Technology and Economics; IncQuery Labs
DOI
13:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram KalhaugeUniversity of California at Los Angeles; Technical University of Denmark, Jens PalsbergUniversity of California at Los Angeles
DOI
14:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael SammlerMPI-SWS, Rodolphe LepigreMPI-SWS, Robbert KrebbersRadboud University Nijmegen, Kayvan MemarianUniversity of Cambridge, Derek DreyerMPI-SWS, Deepak GargMPI-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 SteinUniversity of Colorado at Boulder, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon, Manu SridharanUniversity 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 RenUniversity of Texas at Arlington, Michael HoUniversity of Texas at Arlington, Jiang MingUniversity of Texas at Arlington, Jeff Yu LeiUniversity of Texas at Arlington, Li LiMonash 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 ZuoNanjing University, Yiyu ZhangNanjing University, Qiuhong PanNanjing University, Shenming LuNanjing University, Yue LiNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
21:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei ZhuPrinceton University, Zachary KincaidPrinceton University
DOI
21:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa MorihataUniversity of Tokyo, Shigeyuki SatoUniversity of Tokyo
DOI
21:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan GuriaUniversity of Maryland, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland
DOI
21:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity 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 VegaUniversity of Washington, Joseph McMahanUniversity of Washington, Adrian SampsonCornell University, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
DOI
21:05
5m
Talk
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
PLDI
Kyeongmin ChoKAIST, Sung-Hwan LeeSeoul National University, Azalea RaadImperial College London, Jeehoon KangKAIST
DOI
21:10
5m
Talk
Developer and User-Transparent Compiler Optimization for Interactive Applications
PLDI
Paschalis MpeisUniversity of Edinburgh, Pavlos PetoumenosUniversity of Manchester, Kim HazelwoodFacebook AI Research, Hugh LeatherFacebook
Link to publication DOI Media Attached
21:15
5m
Talk
Perceus: Garbage Free Reference Counting with Reuse
PLDI
Alex ReinkingMicrosoft Research, Ningning XieUniversity of Hong Kong, Leonardo de MouraMicrosoft Research, Daan LeijenMicrosoft Research
DOI
21:20
5m
Talk
Filling Typed Holes with Live GUIs
PLDI
Cyrus OmarUniversity of Michigan, David MoonUniversity of Michigan, Andrew BlinnUniversity of Michigan, Ian VoyseyCarnegie Mellon University, Nick CollinsUniversity of Chicago, Ravi ChughUniversity of Chicago
DOI Pre-print
21:25
5m
Talk
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
PLDI
Dongpeng XuUniversity of New Hampshire, Binbin LiuUniversity of New Hampshire; University of Science and Technology of China, Weijie FengUniversity of Science and Technology of China, Jiang MingUniversity of Texas at Arlington, Qilong ZhengUniversity of Science and Technology of China, Jing LiUniversity of Science and Technology of China, Qiaoyan YuUniversity of New Hampshire
DOI
21:30
5m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
PLDI
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
21:35
5m
Talk
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
PLDI
Rohan Basu RoyNortheastern University, Tirthak PatelNortheastern University, Vijay GadepallyMIT Lincoln Laboratory, Devesh TiwariNortheastern 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 AikenStanford University, USA
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Conference Day
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 FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
DOI
01:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara PailoorUniversity of Texas at Austin, Yuepeng WangUniversity of Pennsylvania, Xinyu WangUniversity of Michigan, Isil DilligUniversity of Texas at Austin
DOI
01:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar ItzhakyTechnion, Hila PelegTechnion, Nadia PolikarpovaUniversity of California at San Diego, Reuben N. S. RoweRoyal Holloway University of London, Ilya SergeyYale-NUS College; National University of Singapore
DOI
01:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. KoenigStanford University, Oded PadonVMWare Research, Alex AikenStanford University, USA
DOI
01:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang ZuoNanjing University, Kai JiNanjing University, Yifei WangNanjing University, Wei TaoNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
01:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste OlivryInria, Guillaume IoossInria, Nicolas TollenaereInria, Atanas RountevOhio State University, Saday SadayappanUniversity of Utah, Fabrice RastelloInria
DOI
02:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu ChatterjeeIST Austria, Ehsan Kafshdar GoharshadyFerdowsi 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 FriedmanTechnion, Erez PetrankTechnion, Pedro RamalheteCisco Systems
DOI
01:35
5m
Talk
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
PLDI
Huaipan JiangPennsylvania State University, Haibo ZhangPennsylvania State University, Xulong TangUniversity of Pittsburgh, Vineetha GovindarajPennsylvania State University, Jack SampsonPennsylvania State University, Mahmut Taylan KandemirPennsylvania State University, Danfeng ZhangPennsylvania State University
DOI
01:40
5m
Talk
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
PLDI
Nilanjana BasuUniversity of Illinois at Chicago, Claudio MontanariUniversity of Illinois at Chicago, Jakob ErikssonUniversity of Illinois at Chicago
DOI
01:45
5m
Talk
Alive2: Bounded Translation Validation for LLVM
PLDI
Nuno P. LopesMicrosoft Research, Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Zhengyang LiuUniversity of Utah, John RegehrUniversity 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 ErdwegJGU Mainz, Gábor BergmannBudapest University of Technology and Economics; IncQuery Labs
DOI
01:55
5m
Talk
Logical Bytecode Reduction
PLDI
Christian Gram KalhaugeUniversity of California at Los Angeles; Technical University of Denmark, Jens PalsbergUniversity of California at Los Angeles
DOI
02:00
5m
Talk
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
PLDI
Michael SammlerMPI-SWS, Rodolphe LepigreMPI-SWS, Robbert KrebbersRadboud University Nijmegen, Kayvan MemarianUniversity of Cambridge, Derek DreyerMPI-SWS, Deepak GargMPI-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 JungSeoul National University, Thanh Tuan DaoSeoul National University, Jaejin LeeSeoul National University
DOI
09:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew SotoudehUniversity of California at Davis, Aditya V. ThakurUniversity 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 EllisCornell University, Catherine WongMassachusetts Institute of Technology, Maxwell NyeMassachusetts Institute of Technology, Mathias Sablé-MeyerPSL University; Collège de France; NeuroSpin, Lucas MoralesMassachusetts Institute of Technology, Luke HewittMassachusetts Institute of Technology, Luc CaryMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology, Joshua B. TenenbaumMassachusetts Institute of Technology
DOI
09:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth PrabhuTCS Research, Grigory FedyukovichFlorida State University, Kumar MadhukarTCS Research, Deepak D'SouzaIISc Bangalore
DOI
09:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume BaudartInria, Javier BurroniUniversity of Massachusetts Amherst, Martin HirzelIBM Research, Louis MandelIBM Research, USA, Avraham ShinnarIBM Research
DOI
09:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
09:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras A. SaadMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology, Vikash K. MansinghkaMassachusetts Institute of Technology
DOI
09:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi WangShanghai Jiao Tong University, Yican SunPeking University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyHong 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. DonaldsonImperial College London, Paul ThomsonGoogle, Vasyl TelimanNational Technical University of Ukraine, Stefano MiliziaImperial College London, André Perez MaselcoFederal University of ABC, Antoni KarpińskiWarsaw University of Technology
DOI
09:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei ZuoUniversity of Michigan, Jiacheng MaUniversity of Michigan, Andrew QuinnUniversity of Michigan, Pramod BhatotiaTU Munich, Pedro FonsecaPurdue University, Baris KasikciUniversity of Michigan
DOI
09:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin ShariffdeenNational University of Singapore, Yannic NollerNational University of Singapore, Lars GrunskeHumboldt University of Berlin, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
09:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin YeNorthwest University, Zhanyong TangNorthwest University, Shin Hwei TanSouthern University of Science and Technology, Dingyi FangNorthwest University, Xiaoyang SunUniversity of Leeds, Lizhong BianAlipay, Songfang HuangAlibaba DAMO Academy, Haibo WangUniversity of Leeds, Zheng WangUniversity of Leeds, UK
DOI
09:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai ShiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
DOI
09:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia RahmaniPurdue University, Kartik NagarIIT Madras, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI
09:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki TakashimaCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Limin JiaCarnegie Mellon University, Corina S. PăsăreanuCarnegie Mellon University
DOI
09:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen LiuTexas A&M University, Peiming LiuTexas A&M University, Yanze LiTexas A&M University, Chia-Che TsaiTexas A&M University, Dilma Da SilvaTexas A&M University, Jeff HuangTexas 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 KulkarniPurdue University
10:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle StroutHPE 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): John WickersonImperial College London, Ranjit JhalaUniversity of California at San Diego
12:30
20m
Live Q&A
Ask Me Anything with Madan Musuvathi
Ask Me Anything
Madan MusuvathiMicrosoft Research
12:50
20m
Live Q&A
Ask Me Anything with Philippa Gardner
Ask Me Anything
Philippa GardnerImperial 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 MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
13:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
13:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
13:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
13:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI Media Attached
13:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
14:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU 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 SpiesMPI-SWS, Lennard GäherSaarland University, Daniel GratzerAarhus University, Joseph TassarottiBoston College, Robbert KrebbersRadboud University Nijmegen, Derek DreyerMPI-SWS, Lars BirkedalAarhus University
DOI
13:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok ThakkarUniversity of Pennsylvania, Aaditya NaikUniversity of Pennsylvania, Nathaniel SandsUniversity of Southern California, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania, Mukund RaghothamanUniversity of Southern California
DOI
13:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie KoenigYale University, Zhong ShaoYale University
DOI
13:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven BeutnerUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
DOI
13:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan CowanFacebook Reality Labs Research, Deeksha DangwalFacebook Reality Labs Research, Armin AlaghiFacebook Reality Labs Research, Caroline TrippelStanford University, Vincent T. LeeFacebook Reality Labs Research, Brandon ReagenNew York University
DOI
13:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali AsadiSharif University of Technology, Krishnendu ChatterjeeIST Austria, Hongfei FuShanghai Jiao Tong University, Amir Kafshdar GoharshadyHong Kong University of Science and Technology, Mohammad MahdaviSharif 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. BergerUniversity of Massachusetts Amherst
15:00
60m
Awards
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks
Emina TorlakUniversity 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 JungSeoul National University, Thanh Tuan DaoSeoul National University, Jaejin LeeSeoul National University
DOI
21:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew SotoudehUniversity of California at Davis, Aditya V. ThakurUniversity 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 EllisCornell University, Catherine WongMassachusetts Institute of Technology, Maxwell NyeMassachusetts Institute of Technology, Mathias Sablé-MeyerPSL University; Collège de France; NeuroSpin, Lucas MoralesMassachusetts Institute of Technology, Luke HewittMassachusetts Institute of Technology, Luc CaryMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology, Joshua B. TenenbaumMassachusetts Institute of Technology
DOI
21:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth PrabhuTCS Research, Grigory FedyukovichFlorida State University, Kumar MadhukarTCS Research, Deepak D'SouzaIISc Bangalore
DOI
21:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume BaudartInria, Javier BurroniUniversity of Massachusetts Amherst, Martin HirzelIBM Research, Louis MandelIBM Research, USA, Avraham ShinnarIBM Research
DOI
21:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
21:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras A. SaadMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology, Vikash K. MansinghkaMassachusetts Institute of Technology
DOI
21:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi WangShanghai Jiao Tong University, Yican SunPeking University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyHong 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. DonaldsonImperial College London, Paul ThomsonGoogle, Vasyl TelimanNational Technical University of Ukraine, Stefano MiliziaImperial College London, André Perez MaselcoFederal University of ABC, Antoni KarpińskiWarsaw University of Technology
DOI
21:05
5m
Talk
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
PLDI
Gefei ZuoUniversity of Michigan, Jiacheng MaUniversity of Michigan, Andrew QuinnUniversity of Michigan, Pramod BhatotiaTU Munich, Pedro FonsecaPurdue University, Baris KasikciUniversity of Michigan
DOI
21:10
5m
Talk
Concolic Program Repair
PLDI
Ridwan Salihin ShariffdeenNational University of Singapore, Yannic NollerNational University of Singapore, Lars GrunskeHumboldt University of Berlin, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
21:15
5m
Talk
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
PLDI
Guixin YeNorthwest University, Zhanyong TangNorthwest University, Shin Hwei TanSouthern University of Science and Technology, Dingyi FangNorthwest University, Xiaoyang SunUniversity of Leeds, Lizhong BianAlipay, Songfang HuangAlibaba DAMO Academy, Haibo WangUniversity of Leeds, Zheng WangUniversity of Leeds, UK
DOI
21:20
5m
Talk
Path-Sensitive Sparse Analysis without Path Conditions
PLDI
Qingkai ShiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangHong Kong University of Science and Technology
DOI
21:25
5m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
PLDI
Kia RahmaniPurdue University, Kartik NagarIIT Madras, Benjamin DelawarePurdue University, Suresh JagannathanPurdue University
DOI
21:30
5m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
PLDI
Yoshiki TakashimaCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Limin JiaCarnegie Mellon University, Corina S. PăsăreanuCarnegie Mellon University
DOI
21:35
5m
Talk
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
PLDI
Bozhen LiuTexas A&M University, Peiming LiuTexas A&M University, Yanze LiTexas A&M University, Chia-Che TsaiTexas A&M University, Dilma Da SilvaTexas A&M University, Jeff HuangTexas 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 StroutHPE and University of Arizona
23:30 - 00:30
PL TeaSocial at Social
23:30
60m
Social Event
PLTea
Social

Conference Day
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 CosteaSchool of Computing, National University Of Singapore, Hongseok YangKAIST
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 JaffarNational University of Singapore
01:30 - 02:05
Talks 6A: Language ImplementationPLDI at PLDI-A
01:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
01:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
01:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
01:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
01:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI Media Attached
01:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
02:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU 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 SpiesMPI-SWS, Lennard GäherSaarland University, Daniel GratzerAarhus University, Joseph TassarottiBoston College, Robbert KrebbersRadboud University Nijmegen, Derek DreyerMPI-SWS, Lars BirkedalAarhus University
DOI
01:35
5m
Talk
Example-Guided Synthesis of Relational Queries
PLDI
Aalok ThakkarUniversity of Pennsylvania, Aaditya NaikUniversity of Pennsylvania, Nathaniel SandsUniversity of Southern California, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania, Mukund RaghothamanUniversity of Southern California
DOI
01:40
5m
Talk
CompCertO: Compiling Certified Open C Components
PLDI
Jérémie KoenigYale University, Zhong ShaoYale University
DOI
01:45
5m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
PLDI
Raven BeutnerUniversity of Oxford, C.-H. Luke OngUniversity of Oxford
DOI
01:50
5m
Talk
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
PLDI
Meghan CowanFacebook Reality Labs Research, Deeksha DangwalFacebook Reality Labs Research, Armin AlaghiFacebook Reality Labs Research, Caroline TrippelStanford University, Vincent T. LeeFacebook Reality Labs Research, Brandon ReagenNew York University
DOI
01:55
5m
Talk
Polynomial Reachability Witnesses via Stellensätze
PLDI
Ali AsadiSharif University of Technology, Krishnendu ChatterjeeIST Austria, Hongfei FuShanghai Jiao Tong University, Amir Kafshdar GoharshadyHong Kong University of Science and Technology, Mohammad MahdaviSharif University of Technology
DOI
02:05 - 03:00
Poster Session 6PLDI at Gather Poster Rooms
02:05
55m
Poster
Poster Session
PLDI