This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 17 Jun

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

09:00 - 11:00
CSC: Open Session 1CSC at Magnolia 1-3
09:00
5m
Day opening
Introduction
CSC

09:05
40m
Keynote
Keynote 1Invited Talk
CSC

09:50
70m
Talk
Lightning Talks
CSC

09:00 - 11:00
(Tutorial) KTutorials at Magnolia 17
09:00
2h
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
09:00 - 11:00
SOAP: Session 1 - Static AnalysisSOAP at Magnolia 18
Chair(s): Vincenzo Arceri University of Parma, Italy
09:00
30m
Talk
Combining E-Graphs with Abstract Interpretation
SOAP
Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
09:30
30m
Talk
Static Analysis of Data Transformations in Jupyter Notebooks
SOAP
Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Guruprerana Shabadi École Polytechnique, Institut Polytechnique de Paris, Caterina Urban INRIA & École Normale Supérieure | Université PSL
10:00
30m
Talk
Speeding up Static Analysis with the Split Operator
SOAP
Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy
10:30
30m
Talk
When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection for Non-Local Jumps in C
SOAP
Michael Schwarz Technische Universität München, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München
09:00 - 11:00
(Tutorial) LLVMTutorials at Magnolia 22
09:00
2h
Building Programming Language Infrastructure With LLVM Components
Tutorials
Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University
09:00 - 11:00
PLARCH: Session 1PLARCH at Magnolia 4
09:00
15m
Talk
Goals for a modern ISA specification
PLARCH
09:25
15m
Talk
Generate Compilers from Hardware Models!
PLARCH
Gus Henry Smith University of Washington, Benjamin Kushigian University of Washington, Vishal Canumalla University of Washington, Andrew Cheung University of Washington, René Just University of Washington, Zachary Tatlock University of Washington
09:40
10m
Talk
Semi-Automated Translation of a Formal ISA Specification to Hardware
PLARCH
Harlan Kringen UC Santa Barbara, Zachary Sisco UC Santa Barbara, Jonathan Balkind UC Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara
10:00
15m
Talk
Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography
PLARCH
Anish Athalye MIT, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA, Joseph Tassarotti NYU
10:15
15m
Talk
Hardware-Software Codesign for Mitigating Spectre
PLARCH
Nicholas Mosier Stanford University, Kate Eselius Stanford University, Hamed Nemati Stanford University, CISPA Helmholtz Center for Information Security, John C. Mitchell Stanford University, Caroline Trippel Stanford University
10:30
15m
Talk
Hardware Verification of Timing Side Channel Freedom in the Spectre Era
PLARCH
Stella Lau MIT CSAIL, Thomas Bourgeat MIT CSAIL, Clément Pit-Claudel EPFL / AWS, Adam Chlipala Massachusetts Institute of Technology
09:00 - 11:00
DRAGSTERS: Session 1DRAGSTERS at Magnolia 5
09:00
20m
Talk
Matrix Decompositions over Database Joins
DRAGSTERS
Dan Olteanu University of Zurich, Nils Vortmeier Ruhr University Bochum, Dorde Zivanovic University of Oxford
09:20
20m
Talk
NASOQ: Numerically Accurate Sparsity-Oriented QP Solver
DRAGSTERS
Kazem Cheshmi McMaster University, Maryam Mehri Dehnavi University of Toronto
09:40
20m
Talk
UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization
DRAGSTERS
Jie Liu Cornell University, Zhongyuan Zhao , Zijian Ding Peking University, Benjamin Brock Parallel Computing Lab (PCL), Intel, Hongbo Rong Intel Labs, Zhiru Zhang Cornell University, USA
10:00
20m
Talk
Unification as a means of completing partial data structures
DRAGSTERS
Joachim Kristensen University of Oslo, Robin Kaarsgaard University of Southern Denmark, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen
10:20
20m
Talk
Formalizing DRAGSTERS
DRAGSTERS
Scott Kovach Stanford University
10:40
20m
Talk
Scaling Decision--Theoretic Probabilistic Programming Through Factorization
DRAGSTERS
Minsung Cho Northeastern University, Steven Holtzen Northeastern University
09:00 - 11:00
ASA: Session 1ASA at Magnolia 6
09:00
60m
Talk
Talk by Raj Barik (Title TBD)
ASA
Raj Barik Uber Technologies Inc.
10:00
60m
Talk
How Programmers Interact with AI Assistants
ASA
Nadia Polikarpova University of California at San Diego
09:00 - 11:00
(Tutorial) ScallopTutorials at Magnolia 7-8
09:00
2h
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
09:00 - 11:00
(Tutorial) DistAlgoTutorials at Magnolia 9
09:00
2h
High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University
11:20 - 12:30
CSC: Open Session 2CSC at Magnolia 1-3
11:20
40m
Keynote
Keynote 2Invited Talk
CSC

12:00
20m
Talk
Lightning Talks
CSC

12:20
10m
Other
Announcements
CSC

11:20 - 12:30
(Tutorial) KTutorials at Magnolia 17
11:20
70m
From Zero to Proving: Building Your First Language with the K Framework
Tutorials
Bruce Collie Runtime Verification, Inc.
11:20 - 12:30
SOAP: Session 2 - Dynamic AnalysisSOAP at Magnolia 18
11:20
25m
Talk
HWASanIO: Detecting C/C++ Intra-Object Overflows with Memory Shading
SOAP
Konrad Hohentanner Fraunhofer AISEC, Florian Kasten Fraunhofer AISEC, Lukas Auer Fraunhofer AISEC
11:45
45m
Keynote
Flux: Refinement types for RustInvited Talk
SOAP
Ranjit Jhala University of California at San Diego
11:20 - 12:30
(Tutorial) LLVMTutorials at Magnolia 22
11:20
70m
Building Programming Language Infrastructure With LLVM Components
Tutorials
Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University
11:20 - 12:30
PLARCH: Session 2PLARCH at Magnolia 4
11:20
10m
Talk
Tags: A Framework for Distributed Event Ordering
PLARCH
Paul Mure Stanford University, Nathan Zhang Stanford University, Caroline Trippel Stanford University, Kunle Olukotun Stanford University
11:30
15m
Talk
Stellar: A DSL to Build and Explore Sparse Accelerators
PLARCH
Hasan Genc UC Berkeley, Hansung Kim University of California, Berkeley, Prashanth Ganesh University of California, Berkeley, Yakun Sophia Shao University of California, Berkeley
11:45
15m
Talk
PEak: A Single Source of Truth for Hardware Design and Verification
PLARCH
Caleb Donovick Stanford University, Ross Daly Stanford University, USA, Jackson Melchert Stanford University, Leonard Truong Stanford University, Priyanka Raina Stanford University, Pat Hanrahan Stanford University, USA, Clark Barrett Stanford University
12:00
10m
Talk
Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow
PLARCH
Rubens Lacouture Stanford University, Olivia Hsu Stanford University, Kunle Olukotun Stanford University, Fredrik Kjolstad Stanford University
11:20 - 12:30
DRAGSTERS: Session 2DRAGSTERS at Magnolia 5
11:20
30m
Talk
Invited talk by Fredrik Kjolstad
DRAGSTERS
Fredrik Kjolstad Stanford University
11:50
20m
Talk
F-IVM: Analytics over Relational Databases under Updates
DRAGSTERS
Ahmet Kara University of Zurich, Milos Nikolic University of Edinburgh, Dan Olteanu University of Zurich, Haozhe Zhang University of Zurich
12:10
20m
Talk
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
DRAGSTERS
Nandeeka Nayak University of Illinois at Urbana-Champaign, Toluwanimi O. Odemuyiwa University of California, Davis, Shubham Ugare University of Illinois at Urbana-Champaign, Christopher W. Fletcher University of Illinois--Urbana Champaign, Michael Pellauer Nvidia, Joel S Emer MIT/NVIDIA
11:20 - 12:30
ASA: Session 2ASA at Magnolia 6
11:20
35m
Talk
Towards Code-Aware AI Models for Code
ASA
Baishakhi Ray Columbia University
11:55
35m
Talk
Why can’t we all just get along? Training SA and AI tools to communicate
ASA
Yaniv David Columbia University
11:20 - 12:30
(Tutorial) ScallopTutorials at Magnolia 7-8
11:20
70m
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
11:20 - 12:30
(Tutorial) DistAlgoTutorials at Magnolia 9
11:20
70m
High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Tutorials
Y. Annie Liu Stony Brook University, Scott Stoller Stony Brook University
14:00 - 15:30
CSC: Closed SessionCSC at Magnolia 1-3
14:00 - 15:30
(Tutorial) CompilersTutorials at Magnolia 17
14:00
90m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA
14:00 - 15:30
SOAP: Session 3 - Scalable AnalysisSOAP at Magnolia 18
Chair(s): Pietro Ferrara Università Ca' Foscari, Venezia, Italy
14:00
40m
Keynote
Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value NumberingInvited Talk
SOAP
Tucker Taft AdaCore, United States
14:40
25m
Talk
Extensible and Scalable Architecture for Hybrid Analysis
SOAP
Marc Miltenberger Fraunhofer SIT | ATHENE, Steven Arzt Fraunhofer SIT; ATHENE
15:05
25m
Talk
User-assisted Code Query Optimization
SOAP
Ben Liblit Amazon, Yingjun Lyu Amazon, Rajdeep Mukherjee Amazon, Omer Tripp Amazon, Yanjun Wang Amazon Web Services, USA
14:00 - 15:30
PLARCH: Session 3PLARCH at Magnolia 4
14:00
15m
Talk
They're the same picture: a software-verification flow adapted for hardware verification
PLARCH
Andreas Lööw Imperial College London, Magnus O. Myreen Chalmers University of Technology
Pre-print
14:15
15m
Talk
Design for Hardware Memory Model Verification
PLARCH
Yao Hsiao Stanford University, Yasas Seneviratne University of Virginia, Tommy Tracy II University of Virginia, Kevin Skadron University of Virginia, Caroline Trippel Stanford University
14:40
10m
Talk
Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware
PLARCH
Tianrui Wei University of California, Berkeley, Shangyin Tan UC Berkeley, Koushik Sen UC Berkeley, Krste Asanovic University of California Berkeley
14:50
10m
Talk
NFC:Next-generation Formal verification for high performance Caches
PLARCH
Tianrui Wei University of California, Berkeley, Jerry Zhao UC Berkeley, Krste Asanovic University of California Berkeley
15:00
10m
Talk
Sandia's Formal Hardware Design and Verification, Present and Future
PLARCH
Noah Evans Bell Labs
15:10
10m
Talk
Silver Oak: Hardware Software Co-Design and Co-Verification in Coq
PLARCH
Ben Blaxill Groq, Samuel Grütter Massachusetts Institute of Technology, Jade Philipoom Google, Germany, Satnam Singh Groq
14:00 - 15:30
ASA: Session 3ASA at Magnolia 6
14:00
45m
Talk
Precise Software Bug Detection through Relevance and Similarity
ASA
14:45
45m
Talk
Talk by Emery D. Berger (Title TBD)
ASA
Emery D. Berger University of Massachusetts Amherst
14:00 - 15:30
(Tutorial) DafnyTutorials at Magnolia 9
14:00
90m
Tutorial
What’s new in Dafny, and what is Dafny anyway?
Tutorials
16:00 - 17:50
CSC: Open Session 3CSC at Magnolia 1-3
16:00
90m
Other
Breakout Reporting and Discussion
CSC

16:00 - 17:50
(Tutorial) CompilersTutorials at Magnolia 17
16:00
1h50m
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek Indiana University, USA
16:00 - 17:50
SOAP: Session 4 - Program Verification and Dynamic AnalysisSOAP at Magnolia 18
Chair(s): Liana Hadarean Amazon Web Services
16:00
35m
Keynote
Applications of Symbolic ExecutionInvited Talk
SOAP
William Hallahan Binghamton
16:35
25m
Talk
Completeness Thresholds for Memory Safety of Array Traversing Programs
SOAP
Tobias Reinhard KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven, Bart Jacobs KU Leuven
17:00
25m
Talk
Crosys: Cross Architectural Dynamic Analysis
SOAP
Sangrok Lee The Affiliated Institute of ETRI, Jieun Lee The Affiliated Institute of ETRI, Jaeyong Ko The Affiliated Institute of ETRI, Jaewoo Shim The Affiliated Institute of ETRI
17:25
25m
Talk
RaceInjector: Injecting Races To Evaluate And Learn Dynamic Race Detection Algorithms
SOAP
Michael Wang Massachusetts Institute of Technology, Shashank Srikant MIT, Malavika Samak CSAIL, MIT, Una-May O’Reilly Massachusetts Institute of Technology
16:00 - 17:50
PLARCH: Session 4PLARCH at Magnolia 4
16:00
15m
Talk
Novel Numerical Hardware Design Methodology - From machine readable specification to optimized RTL
PLARCH
Theo Drane Intel Corporation, USA, Bill Zorn Intel Corporation, USA, Samuel Coward Imperial College London, UK / Intel Corporation
16:15
15m
Talk
Mixed-Abstraction HDLs and A Discussion on Other Aspects of HDL Design
PLARCH
Vighnesh Iyer University of California, Berkeley, Borivoje Nikolic University of California, Berkeley
16:30
10m
Talk
New Embedded DSLs for Hardware Design and Verification
PLARCH
Vighnesh Iyer University of California, Berkeley, Kevin Laeufer UC Berkeley, Young-Jin Park University of California, Berkeley, Rohit Agarwal University of California, Berkeley, Lixiang Yin University of California, Berkeley, Bryan Ngo University of California, Berkeley, Oliver Yu University of California, Berkeley, Koushik Sen UC Berkeley, Borivoje Nikolic University of California, Berkeley
16:40
10m
Talk
Fearless Hardware Design
PLARCH
Rachit Nigam Cornell University
17:00
10m
Talk
Library-based Compartmentalisation on CHERI
PLARCH
Dapeng Gao University of Cambridge, Robert N. M. Watson University of Cambridge
17:10
10m
Talk
Non-Newtonian Hardware Design for Longevity
PLARCH
Guy Wilks UC Santa Barbara, Jonathan Balkind UC Santa Barbara
17:20
10m
Talk
On the Generality of Matrix Multiplication
PLARCH
Andrew Alex UC Santa Barbara, Zachary Sisco UC Santa Barbara, Jonathan Balkind UC Santa Barbara
17:30
10m
Talk
ChatGPT, Make a Secure Malloc for me
PLARCH
Jeremy Singer University of Glasgow, Zheng Wang University of Leeds, UK
16:00 - 17:50
ASA: Session 4ASA at Magnolia 6
16:00
1h50m
Talk
Talk by Swarat Chaudhuri (Title TBD)
ASA
Swarat Chaudhuri University of Texas at Austin
16:00 - 17:50
(Tutorial) DafnyTutorials at Magnolia 9
16:00
1h50m
Tutorial
What’s new in Dafny, and what is Dafny anyway?
Tutorials

Sun 18 Jun

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

09:00 - 11:00
PLMW: Session 1PLMW@PLDI at Magnolia 10
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon
09:00
10m
Talk
Welcome
PLMW@PLDI
Limin Jia Carnegie Mellon University, Anitha Gollamudi University of Massachusetts Lowell, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Marco Guarnieri IMDEA Software Institute
09:10
40m
Talk
How to conduct impactful research?
PLMW@PLDI
Emery D. Berger University of Massachusetts Amherst
09:50
60m
Panel
Panel: Career paths
PLMW@PLDI
Chris Casinghino Jane Street, David Grove IBM Research, Talia Ringer University of Illinois at Urbana-Champaign, Lucas Bang Harvey Mudd College, Devin Coughlin Apple
10:50
20m
Talk
PL research at Apple
PLMW@PLDI
09:00 - 11:00
EGRAPHS: OptimizationEGRAPHS at Magnolia 18
09:40
20m
Talk
Optimizing Stateful Dataflow with Local Rewrites
EGRAPHS
Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Tyler Hou University of California, Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California, Berkeley
10:00
20m
Talk
Egg-smol Python: A Pythonic Library for E-graphs
EGRAPHS
Pre-print
10:20
20m
Talk
egglog In Practice: Automatically Improving Floating-point Error
EGRAPHS
Oliver Flatt University of Washington, Yihong Zhang University of Washington
10:40
20m
Talk
Automating Constraint-Aware Datapath Optimization using E-Graphs
EGRAPHS
Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA
09:00 - 10:20
ISMM: Session 1ISMM at Magnolia 22
09:00
60m
Talk
Keynote: A Brave New World for Memory Management Research
ISMM
10:00
20m
Break
BreakSocial
ISMM

09:00 - 11:00
CTSTA: Session 1CTSTA at Magnolia 4
09:00
5m
Day opening
Introduction
CTSTA
Fredrik Kjolstad Stanford University
09:05
15m
Talk
Talk
CTSTA
Fredrik Kjolstad Stanford University
09:20
15m
Talk
Talk
CTSTA
Mary Hall University of Utah
09:35
15m
Talk
Talk
CTSTA
Gokcen Kestor Pacific Northwest National Laboratory
09:50
10m
Panel
Discussion
CTSTA

10:00
5m
Break
BreakSocial
CTSTA

10:05
15m
Talk
Challenges and Opportunities for Sparse Compilers in LLM
CTSTA
Zihao Ye University of Washington
10:20
15m
Talk
The Sparse Abstract Machine
CTSTA
Olivia Hsu Stanford University
10:35
15m
Talk
Talk
CTSTA
Christopher W. Fletcher University of Illinois--Urbana Champaign
10:50
10m
Panel
Discussion
CTSTA

09:00 - 11:00
Infer: Session 1Infer at Magnolia 5
09:00
15m
Other
Welcome
Infer
09:15
45m
Talk
Talk slot 1
Infer

10:00
45m
Talk
Talk slot 2
Infer

09:00 - 11:00
ARRAY: Session 1ARRAY at Magnolia 6
09:00 - 10:00
LCTES: KeynoteLCTES at Magnolia 7-8
09:00 - 11:00
(Tutorial) CalyxTutorials at Magnolia 9
09:00
2h
DSL-based Hardware Generation
Tutorials
Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry
10:00 - 11:00
Code GenLCTES at Magnolia 7-8
10:00
20m
Talk
Facilitating the Bootstrapping of a New ISA
LCTES
Abigail Mortensen , Scott Pomerville Michigan Technological University, David B. Whalley , Soner Onder Michigan Technological University, Gang-Ryung Uh Qualcomm, USA
10:20
20m
Talk
Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms
LCTES
Beom Woo Kang Hanyang University, Junho Wohn Hanyang University, Seongju Lee Hanyang University, Sunghyun Park University of Michigan, Yung-Kyun Noh Hanyang University, Yongjun Park Yonsei University
10:40
20m
Talk
MinUn: Accurate ML Inference on MicrocontrollersVirtual
LCTES
Shikhar Jaiswal Microsoft Research, Rahul Kranti Kiran Goli Microsoft Research, Aayan Kumar Microsoft Research, Vivek Seshadri Microsoft Research, Rahul Sharma Microsoft Research
10:20 - 11:20
ISMM: Session 2 - Application ScalabilityISMM at Magnolia 22
10:20
20m
Talk
Scaling up Performance of Managed Applications on NUMA Systems
ISMM
Orion Papadakis The University of Manchester, Andreas Andronikakis The University of Manchester, Nikos Foutris The University of Manchester, Michail Papadimitriou OctoML, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Polychronis Xekalakis Nvidia, Christos Kotselidis KTM Innovation / The University of Manchester, Foivos S. Zakkak Red Hat, Inc.
10:40
20m
Talk
Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines
ISMM
Aditya Chilukuri Australian National University, Shoaib Akram Australian National University
11:00
20m
Coffee break
Coffee breakSocial
ISMM

11:20 - 12:30
PLMW: Session 2PLMW@PLDI at Magnolia 10
Chair(s): Anitha Gollamudi University of Massachusetts Lowell
11:20
30m
Talk
Research area overview talk I: PL meets ML
PLMW@PLDI
Steven Holtzen Northeastern University
11:50
40m
Talk
How to conduct cross-cutting research?
PLMW@PLDI
Alvin Cheung University of California at Berkeley
12:30
90m
Lunch
Mentoring lunch
PLMW@PLDI

11:20 - 12:30
EGRAPHS: VerificationEGRAPHS at Magnolia 18
11:20
20m
Talk
KestRel: Relational Verification using E-Graphs for Program Alignment
EGRAPHS
Robert Dickerson Purdue University, Benjamin Delaware Purdue University
11:40
20m
Talk
Ensuring the termination of equality saturation for terminating term rewriting systems
EGRAPHS
Yihong Zhang University of Washington, Oliver Flatt University of Washington
12:00
20m
Talk
Partially Complete Quantifier Elimination
EGRAPHS
Isabel Garcia-Contreras University of Waterloo, Hari Govind V K University of Waterloo, Sharon Shoham Tel Aviv University, Arie Gurfinkel University of Waterloo
11:20 - 14:00
ISMM: Session 3 - Intellectual AbstractsISMM at Magnolia 22
11:20
20m
Talk
Memory Consistency Models for Program Transformations
ISMM
Akshay Gopalakrishnan McGill University, Clark Verbrugge McGill University, Canada, Mark Batty University of Kent, Clark Verbrugge McGill University, Canada
11:40
20m
Talk
Predicting Dynamic Properties of Heap Allocations Using Neural Networks Trained on Static Code
ISMM
Christian Navasca UCLA, Martin Maas Google, Petros Maniatis Google, Hyeontaek Lim Google, Harry Xu University of California, Los Angeles (UCLA)
12:00
20m
Talk
The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild
ISMM
Christos Lamprakos National Technical University of Athens, Katholieke Universiteit Leuven, Sotirios Xydis National Technical University of Athens, Francky Catthoor IMEC, Katholieke Universiteit Leuven, Dimitrios Soudris National Technical University of Athens
12:30
90m
Lunch
Lunch breakSocial
ISMM

11:20 - 12:30
CTSTA: Session 2CTSTA at Magnolia 4
11:20
15m
Talk
Accelerating Sparse Matrix Computations with Code Specialization
CTSTA
Maryam Mehri Dehnavi University of Toronto
11:35
15m
Talk
Talk
CTSTA
Raghavendra Kanakagiri University of Illinois Urbana-Champaign
11:50
15m
Talk
Talk
CTSTA
Amir Shaikhha University of Edinburgh
12:05
15m
Talk
Compiler Support for Structured Data
CTSTA
Saman Amarasinghe Massachusetts Institute of Technology
12:20
10m
Panel
Discussion
CTSTA

11:20 - 12:30
Infer: Session 2Infer at Magnolia 5
11:20
45m
Talk
Talk slot 3
Infer

11:20 - 12:30
ARRAY: Session 2ARRAY at Magnolia 6
11:20 - 12:30
Code/Image SizeLCTES at Magnolia 7-8
11:30
20m
Talk
reUpNix: Reconfigurable and Updateable Embedded Systems
LCTES
Niklas Golenstede Hamburg University of Technology, Ulf Kulau Hamburg University of Technology, Christian Dietrich Hamburg University of Technology
11:50
20m
Talk
Optimizing Function Layout for Mobile Applications
LCTES
Ellis Hoag Meta, Kyungwoo Lee Meta, Julián Mestre Facebook; University of Sydney, Sergey Pupyrev
12:10
20m
Talk
Thread-Level Attack-Surface Reduction
LCTES
Florian Rommel Leibniz Universität Hannover, Christian Dietrich Hamburg University of Technology, Andreas Ziegler Friedrich-Alexander University Erlangen-Nürnberg (FAU), Illia Ostapyshyn Leibniz Universität Hannover, Daniel Lohmann Leibniz Universität Hannover
11:20 - 12:30
(Tutorial) CalyxTutorials at Magnolia 9
11:20
70m
DSL-based Hardware Generation
Tutorials
Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry
14:00 - 15:30
PLMW: Session 3PLMW@PLDI at Magnolia 10
Chair(s): Marco Guarnieri IMDEA Software Institute
14:00
30m
Talk
Research area overview talk II: Synthesis
PLMW@PLDI
Nadia Polikarpova University of California at San Diego
14:30
30m
Talk
Research area overview talk III: Language design
PLMW@PLDI
Amal Ahmed Northeastern University, USA
15:00
30m
Talk
Research area overview talk IV: Security
PLMW@PLDI
Danfeng Zhang Pennsylvania State University
14:00 - 16:00
ISMM: Session 4 - Allocations and Garbage CollectionISMM at Magnolia 22
14:00
20m
Talk
Concurrent GCs and Modern Java Workloads: A Cache Perspective
ISMM
Maria Carpen-Amarie Huawei Zurich Research Center, Switzerland, Georgios Vavouliotis Huawei Zurich Research Center, Switzerland, Konstantinos Tovletoglou Huawei Zurich Research Center, Switzerland, Boris Grot University of Edinburgh, UK, Rene Mueller Huawei Zurich Research Center, Switzerland
14:20
20m
Talk
Wait-free weak reference counting
ISMM
Matthew Parkinson Microsoft Research, UK, Sylvan Clebsch Azure Research, Ben Simner
14:40
20m
Talk
NUMAlloc: A Faster NUMA Memory Allocator
ISMM
Hanmei Yang University of Massachusetts Amherst, Xin Zhao University of Massachusetts Amherst, Jin Zhou University of Massachusetts Amherst, Wei Wang University of Texas at San Antonio, USA, Sandip Kundu University of Massachusetts Amherst, Bo Wu Colorado School of Mines, Hui Guan University of Massachusetts, Amherst, Tongping Liu University of Massachusetts at Amherst
15:00
20m
Talk
Picking a CHERI Allocator: Security and Performance Considerations
ISMM
Jacob Bramley Arm, Dejice Jacob University of Glasgow, UK, Andrei Lascu Imperial College London, Jeremy Singer University of Glasgow, Laurence Tratt King's College London, Andrei Lascu Imperial College London
Pre-print
15:30
30m
Coffee break
Coffee breakSocial
ISMM

14:00 - 15:30
CTSTA: Session 3CTSTA at Magnolia 4
14:00
15m
Talk
Learning workload-aware cost model for sparse tensor program
CTSTA
Jaeyeon Won Massachusetts Institute of Technology
14:15
15m
Talk
Talk
CTSTA
Kirshanthan Sundararajah Purdue University
14:30
10m
Panel
Discussion
CTSTA

14:40
15m
Talk
Fantastic Sparse Masks and Where to Find Them
CTSTA
Shiwei Liu The University of Texas at Austin, Texas, USA
14:55
15m
Talk
Talk
CTSTA
Aart Bik Google, Inc.
15:10
15m
Panel
Discussion
CTSTA

15:25
5m
Day closing
Closing
CTSTA
Fredrik Kjolstad Stanford University, Saman Amarasinghe Massachusetts Institute of Technology
14:00 - 15:30
Infer: Session 3Infer at Magnolia 5
14:00
45m
Talk
Talk slot 4
Infer

14:45
45m
Talk
Talk slot 5
Infer

14:00 - 15:30
ARRAY: Session 3ARRAY at Magnolia 6
14:00 - 15:30
(Tutorial) WALATutorials at Magnolia 9
14:00
90m
Tutorial
Towards Supporting Universal Static Analysis using WALA
Tutorials
Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research
16:00 - 17:50
PLMW: Session 4PLMW@PLDI at Magnolia 10
Chair(s): Limin Jia Carnegie Mellon University
16:00
50m
Talk
How to make a good talk?
PLMW@PLDI
Ranjit Jhala University of California at San Diego
16:50
60m
Panel
Panel: How to excel in graduate school
PLMW@PLDI
Fraser Brown CMU, Ankush Desai Amazon Web Services, Jeffrey S. Foster Tufts University, Milijana Surbatovich Carnegie Mellon University
16:00 - 17:50
EGRAPHS: Binding & ExtractionEGRAPHS at Magnolia 18
16:00
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS
16:20
20m
Talk
Improving Term Extraction with Acyclic Constraints
EGRAPHS
Deyuan (Mike) He Princeton University, Haichen Dong Princeton University, Sharad Malik Princeton University, Aarti Gupta Princeton University
16:40
20m
Talk
Optimizing bindings in e-graphs
EGRAPHS
Emmanuel Anaya-Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego
16:00 - 17:20
ISMM: Session 5 - MiscellaneousISMM at Magnolia 22
16:00
20m
Talk
Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History
ISMM
Sayak Chakraborti University of Rochester, Zhizhou (Chris) Zhang Uber Technologies, Noah Bertram Cornell University, Sandhya Dwarkadas University of Rochester, Chen Ding University of Rochester
16:20
20m
Talk
OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing
ISMM
Gurneet Kaur University of California, Riverside, Rajiv Gupta UC Riverside
16:40
20m
Talk
ZipKV: In-Memory Key-Value Store with Built-In Data Compression
ISMM
Linsen Ma Rensselaer Polytechnic Institute, Rui Xie Rensselaer Polytechnic Institute, Tong Zhang Rensselaer Polytechnic Institute
17:00
20m
Talk
Flexible and Effective Object Tiering for Heterogeneous Memory Systems
ISMM
Brandon Kammerdiener University of Tennessee, Jeffrey Zachariah McMichael University of Tennessee, Michael Jantz University of Tennessee, Kshitij Doshi Intel Corporation, Terry Jones Oak Ridge National Laboratory
16:00 - 17:50
CTSTA: Session 4CTSTA at Magnolia 4
16:00
1h50m
Poster
Poster Session and Free-Form Discussion
CTSTA

16:00 - 17:50
Infer: Session 4Infer at Magnolia 5
16:00
45m
Talk
Talk slot 6
Infer

16:45
45m
Talk
Talk slot 7
Infer

17:30
20m
Other
Wrap up
Infer
16:00 - 17:50
ARRAY: Session 4ARRAY at Magnolia 6
16:00 - 17:00
16:00
20m
Talk
Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs
LCTES
Jun Li Southwest University, Balazs Gerofi Intel Corporation, Francois Trahay Telecom SudParis, Zhigang Cai Southwest University, Jianwei Liao Southwest University
16:20
20m
Talk
ISVABI: In-Storage Video Analytics Engine with Block Interface
LCTES
Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, Pingyi Huo The Pennsylvania State University, Mircea R. Stan University of Virginia, Mike Mesnier Intel Labs, Vijaykrishnan Narayanan The Pennsylvania State University
16:40
20m
Talk
LUNAR: A Native Table Engine for Embedded DevicesVirtual
LCTES
Xiaopeng Fan East China Normal University, Song Yan East China Normal University, Yuchen Huang East China Normal University, Chuliang Weng East China Normal University
16:00 - 17:50
(Tutorial) WALATutorials at Magnolia 9
16:00
1h50m
Tutorial
Towards Supporting Universal Static Analysis using WALA
Tutorials
Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research
18:00 - 20:00
PLDI: Opening ReceptionPLDI Research Papers at Royal
18:00
2h
Social Event
PLDI Opening ReceptionSocial
PLDI Research Papers

Mon 19 Jun

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

09:00 - 11:00
PLDI: Welcome & Opening SessionPLDI Research Papers at Royal
09:00
20m
Day opening
Welcome to PLDI
PLDI Research Papers
Steve Blackburn Google and Australian National University, Nate Foster Cornell University
09:20
20m
Talk
Mosaic: An Interoperable Compiler for Tensor AlgebraDistinguished Paper
PLDI Research Papers
Manya Bansal Stanford University, Olivia Hsu Stanford University, Kunle Olukotun Stanford University, Fredrik Kjolstad Stanford University
09:40
20m
Talk
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic PrimitivesDistinguished Paper
PLDI Research Papers
Joel Kuepper University of Adelaide, Andres Erbsen MIT, Jason Gross MIT CSAIL, Owen Conoly MIT, Chuyue Sun Stanford, Samuel Tian MIT, David Wu University of Adelaide, Adam Chlipala Massachusetts Institute of Technology, Chitchanok Chuengsatiansup The University of Melbourne, Daniel Genkin Georgia Tech, Markus Wagner Monash University, Australia, Yuval Yarom Ruhr University Bochum
DOI Pre-print
10:00
20m
Talk
Synthesizing MILP Constraints for Efficient and Robust OptimizationDistinguished Paper
PLDI Research Papers
Jingbo Wang University of Southern California, Aarti Gupta Princeton University, Chao Wang University of Southern California
10:20
20m
Talk
An Automata-based Framework for Verification and Bug Hunting in Quantum CircuitsDistinguished Paper
PLDI Research Papers
Yu-Fang Chen Academia Sinica, Taiwan, Kai-Min Chung Academia Sinica, Ondřej Lengál Brno University of Technology, Jyun-Ao Lin Academia Sinica, Wei-Lun Tsai Academia Sinica, Di-De Yen Academia Sinica
10:40
20m
Talk
Covering All the Bases: Type-based Verification of Test Input GeneratorsDistinguished Paper
PLDI Research Papers
Zhe Zhou Purdue University, Ashish Mishra Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
Pre-print
12:30 - 13:40
SIGPLAN: Awards LunchSIGPLAN at Cypress 1
12:30
70m
Lunch
SIGPLAN Awards LunchSocial
SIGPLAN

13:40 - 15:40
PLDI: CompilationPLDI Research Papers at Cypress 2
13:40
20m
Talk
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
PLDI Research Papers
Raphael Isemann Vrije Universiteit Amsterdam, Cristiano Giuffrida Vrije Universiteit Amsterdam, Herbert Bos Vrije Universiteit Amsterdam, Erik van der Kouwe Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam
14:00
20m
Talk
Better Together: Unifying Datalog and Equality Saturation
PLDI Research Papers
Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Oliver Flatt University of Washington, David Cao University of California at San Diego, Philip Zucker Draper, Eli Rosenthal Google, Zachary Tatlock University of Washington, Max Willsey University of Washington
Pre-print
14:20
20m
Talk
Program Reconditioning: Avoiding Undefined Behaviour when Finding and Reducing Compiler Bugs
PLDI Research Papers
Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London
DOI
14:40
20m
Talk
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-based Homomorphic Encryption
PLDI Research Papers
Sunjae Park Seoul National University, Woosung Song Google, Seunghyeon Nam Seoul National University, Hyeongyu Kim Seoul National University, Junbum Shin CryptoLab, Juneyoung Lee AWS
15:00
20m
Talk
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
PLDI Research Papers
Scott Kovach Stanford University, Praneeth Kolichala Stanford University, Tiancheng “Timothy” Gu Stanford University, Fredrik Kjolstad Stanford University
DOI Pre-print
15:20
20m
Talk
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
PLDI Research Papers
Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah
Pre-print
13:40 - 15:40
PLDI: Verification & Proof AssistantsPLDI Research Papers at Royal
13:40
20m
Talk
CQS: A Formally-Verified Framework for Fair Abortable Synchronization in Kotlin Coroutines
PLDI Research Papers
Nikita Koval JetBrains, Dmitry Khalanskiy JetBrains, Dan Alistarh IST Austria
14:00
20m
Talk
PureCake: A Verified Compiler for a Lazy Functional Language
PLDI Research Papers
Hrutvik Kanabar University of Kent, Samuel Vivien École Normale Supérieure, PSL & Chalmers University of Technology Sweden, Oskar Abrahamsson Chalmers University of Technology, Sweden, Magnus O. Myreen Chalmers University of Technology, Michael Norrish CSIRO’s Data61; Australian National University, Johannes Åman Pohjola University of New South Wales, Australia, Riccardo Zanetti Chalmers University of Technology, Sweden
Pre-print
14:20
20m
Talk
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
PLDI Research Papers
Xiaojia Rao Imperial College, Aina Linn Georges Aarhus University, Maxime Legoupil Aarhus University, Conrad Watt University of Cambridge, Jean Pichon-Pharabod Aarhus University, Philippa Gardner Imperial College London, Lars Birkedal Aarhus University
14:40
20m
Talk
WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
PLDI Research Papers
Conrad Watt University of Cambridge, Maja Trela University of Cambridge, Peter Lammich The University of Manchester, Florian Märkl
15:00
20m
Talk
Merging Inductive Relations
PLDI Research Papers
Jacob Prinz University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
15:20
20m
Talk
Cakes that Bake Cakes: Dynamic Computation in CakeML
PLDI Research Papers
Thomas Sewell University of Cambridge, Magnus O. Myreen Chalmers University of Technology, Yong Kiam Tan None, Ramana Kumar None, Alexander Mihajlovic Chalmers University of Technology, Oskar Abrahamsson Chalmers University of Technology, Scott Owens University of Kent, UK
16:00 - 18:00
PLDI: Concurrency & ParallelismPLDI Research Papers at Cypress 2
16:00
20m
Talk
Type-Checking CRDT Convergence
PLDI Research Papers
George Zakhour University of St.Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI Pre-print
16:20
20m
Talk
Reliable Actors with Retry Orchestration
PLDI Research Papers
Olivier Tardieu IBM Research, David Grove IBM Research, Gheorghe-Teodor Bercea IBM Research, Paul Castro IBM Research, Jaroslaw Cwiklik IBM Research, Edward Epstein IBM Research
16:40
20m
Talk
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels
PLDI Research Papers
Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea LIX, CNRS, Ecole Polytechnique, Enrique Román-Calvo Université Paris Cité - CNRS - IRIF
17:00
20m
Talk
Responsive Parallelism with Synchronization
PLDI Research Papers
Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Devyn Terra Keeney Illinois Institute of Technology, Andrew Neth Illinois Institute of Technology, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University
17:20
20m
Talk
Parallelism in a Region Inference Context
PLDI Research Papers
Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark
17:40
20m
Talk
Performal: Formal Verification of Latency Properties for Distributed Systems
PLDI Research Papers
Nuda Zhang University of Michigan, Upamanyu Sharma Massachusetts Institute of Technology, Manos Kapritsos University of Michigan, USA
16:00 - 18:00
PLDI: Machine LearningPLDI Research Papers at Royal
16:00
20m
Talk
Scallop: A Language for Neurosymbolic Programming
PLDI Research Papers
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
16:20
20m
Talk
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
PLDI Research Papers
Mark Niklas Müller ETH Zurich, Marc Fischer ETH Zurich, Robin Staab ETH Zurich, Martin Vechev ETH Zurich
16:40
20m
Talk
Register Tiling for Unstructured Sparsity in Neural Network Inference
PLDI Research Papers
Lucas Wilkinson University of Toronto, Kazem Cheshmi McMaster University, Maryam Mehri Dehnavi University of Toronto
17:00
20m
Talk
Architecture-Preserving Provable Repair of Deep Neural Networks
PLDI Research Papers
Zhe Tao , Stephanie Nawas University of California, Davis, Jacqueline Mitchell University of California, Davis, Aditya V. Thakur University of California at Davis
Pre-print
17:20
20m
Talk
Incremental Verification of Neural Networks
PLDI Research Papers
Shubham Ugare University of Illinois at Urbana-Champaign, Debangshu Banerjee UIUC, Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign
17:40
20m
Talk
Programming Large Language Models
PLDI Research Papers
Luca Beurer-Kellner ETH Zurich, Marc Fischer ETH Zurich, Martin Vechev ETH Zurich
19:30 - 21:30
SRC: PLDI / ISCA Junior Student MixerSRC at Royal
19:30
2h
Dinner
PLDI / ISCA Junior Student MixerSocial
SRC

Tue 20 Jun

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

08:00 - 08:45
SIGPLAN: SIGPLAN-M BreakfastSIGPLAN at Cypress 3
08:00
45m
Lunch
SIGPLAN-M BreakfastSocial
SIGPLAN

09:00 - 11:00
09:00
20m
Talk
Obtaining Information Leakage Bounds via Approximate Model Counting
PLDI Research Papers
Seemanta Saha University of California Santa Barbara, Surendra Ghentiyala University of California Santa Barbara, Shihua Lu University of California Santa Barbara, Lucas Bang Harvey Mudd College, Tevfik Bultan University of California, Santa Barbara
09:20
20m
Talk
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
PLDI Research Papers
Marco Eilers ETH Zurich, Thibault Dardinier ETH Zurich, Peter Müller ETH Zurich
09:40
20m
Talk
Taype: a Policy-Agnostic Language for Oblivious Computation
PLDI Research Papers
Qianchuan Ye Purdue University, Benjamin Delaware Purdue University
10:00
20m
Talk
Generalized policy-based non-interference for efficient confidentiality-preservation
PLDI Research Papers
Shamiek Mangipudi Università della Svizzera italiana (USI), Pavel Chuprikov USI Lugano, Patrick Eugster USI Lugano; Purdue University, Malte Viering TU Darmstadt, Savvas Savvides Purdue University
10:20
20m
Talk
Discrete Adversarial Attack to Models of Code
PLDI Research Papers
Fengjuan Gao Nanjing University of Science and Technology, YUe Vang Nanjing University, K.P. Wang Visa Research
10:40
20m
Talk
Automated Detection of Under-constrained Circuits in Zero-Knowledge Proofs
PLDI Research Papers
Shankara Pailoor University of Texas at Austin, Yanju Chen University of California at Santa Barbara, Franklyn Wang Harvard University, 0xparc, Clara Rodríguez-Núñez Complutense University of Madrid, Jacob Van Geffen Veridise Inc., Jason Morton ZKonduit, Michael Chu 0xparc, Brian Gu 0xparc, Yu Feng University of California at Santa Barbara, Işil Dillig University of Texas at Austin
09:00 - 11:00
PLDI: SynthesisPLDI Research Papers at Royal
09:00
20m
Talk
Trace-Guided Inductive Synthesis of Recursive Functional ProgramsDistinguished Paper
PLDI Research Papers
Yongwei Yuan Purdue University, Arjun Radhakrishna Microsoft, Roopsha Samanta Purdue University
09:20
20m
Talk
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
PLDI Research Papers
Yongho Yoon Seoul National University, Woosuk Lee Hanyang University, Kwangkeun Yi Seoul National University
09:40
20m
Talk
ImageEye: Batch Image Processing using Program Synthesis
PLDI Research Papers
Celeste Barnaby University of Texas at Austin, Qiaochu Chen University of Texas at Austin, Roopsha Samanta Purdue University, Işil Dillig University of Texas at Austin
10:00
20m
Talk
One Pixel Adversarial Attacks via Sketched Programs
PLDI Research Papers
10:20
20m
Talk
Absynthe: Abstract Interpretation-Guided Synthesis
PLDI Research Papers
Sankha Narayan Guria University of Maryland, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland
Pre-print
10:40
20m
Talk
Conflict-Driven Synthesis for Layout Engines
PLDI Research Papers
Junrui Liu University of California, Santa Barbara, Yanju Chen University of California at Santa Barbara, Eric Atkinson MIT, Yu Feng University of California at Santa Barbara, Rastislav Bodík Google Research, Brain Team
12:30 - 13:40
PLDI: LGBTQ+ LunchPLDI Research Papers
12:30
70m
Lunch
PLDI LGBTQ+ LunchSocial
PLDI Research Papers

13:40 - 15:40
PLDI: Analysis & OptimizationsPLDI Research Papers at Cypress 2
13:40
20m
Talk
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
PLDI Research Papers
Tetsuro Yamazaki University of Tokyo, Tomoki Nakamaru University of Tokyo, Ryota Shioya University of Tokyo, Tomoharu Ugawa University of Tokyo, Shigeru Chiba The University of Tokyo
14:00
20m
Talk
Modular Hardware Design with Timeline Types
PLDI Research Papers
Rachit Nigam Cornell University, Pedro Henrique Azevedo de Amorim Cornell University, Adrian Sampson Cornell University
Pre-print
14:20
20m
Talk
Efficient Parallel Functional Programming with Effects
PLDI Research Papers
Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University
14:40
20m
Talk
Better Defunctionalization through Lambda Set Specialization
PLDI Research Papers
William Brandon MIT CSAIL, Benjamin Driscoll Stanford University, Wilson Berkow UC Berkeley, Frank Dai UC Berkeley, Mae Milano University of California at Berkeley
15:00
20m
Talk
Sound Dynamic Deadlock Prediction in Linear Time
PLDI Research Papers
Hünkar Can Tunç Aarhus University, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Pre-print
15:20
20m
Talk
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
PLDI Research Papers
Wenjie Ma Nanjing University, Shengyuan Yang Nanjing University, Tian Tan Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yue Li Nanjing University
Pre-print
13:40 - 15:40
PLDI: Probabilistic AnalysesPLDI Research Papers at Royal
13:40
20m
Talk
Lilac: a Modal Separation Logic for Conditional Probability
PLDI Research Papers
John Li Northeastern University, Amal Ahmed Northeastern University, USA, Steven Holtzen Northeastern University
Pre-print
14:00
20m
Talk
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
PLDI Research Papers
Alexander Bagnall Ohio University, Gordon Stewart Bedrock Systems, Anindya Banerjee IMDEA Software Institute
14:20
20m
Talk
Verified Density Compilation for a Probabilistic Programming Language
PLDI Research Papers
Joseph Tassarotti NYU, Jean-Baptiste Tristan Amazon Web Services
14:40
20m
Talk
Probabilistic Programming with Stochastic Probabilities
PLDI Research Papers
Alexander K. Lew Massachusetts Institute of Technology, Matin Ghavami Massachusetts Institute of Technology, Martin Rinard MIT, Vikash K. Mansinghka Massachusetts Institute of Technology
15:00
20m
Talk
Automated Expected Value Analysis of Recursive Programs
PLDI Research Papers
Martin Avanzini Inria, Georg Moser University of Innsbruck, Michael Schaper Build Informed
15:20
20m
Talk
Synthesizing Quantum-Circuit Optimizers
PLDI Research Papers
Amanda Xu University of Wisconsin-Madison, Abtin Molavi University of Wisconsin-Madison, Lauren Pick University of Wisconsin-Madison and University of California, Berkeley, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison
Pre-print
17:15 - 18:15
SIGPLAN: Business MeetingSIGPLAN at Royal
17:15
60m
Meeting
SIGPLAN Business Meeting
SIGPLAN

19:00 - 21:30
PLDI: Women's DinnerPLDI Research Papers
19:00
2h30m
Dinner
PLDI Women's DinnerSocial
PLDI Research Papers

Wed 21 Jun

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

09:00 - 11:00
PLDI: Memory Models & Program LogicsPLDI Research Papers at Cypress 1
09:00
20m
Talk
Compound Memory Models
PLDI Research Papers
Andrés Goens the University of Edinburgh, Soham Chakraborty TU Delft, Susmit Sarkar University of St. Andrews, Sukarn Agarwal University of Edinburgh, Nicolai Oswald NVIDIA, Vijay Nagarajan University of Edinburgh, UK
09:20
20m
Talk
Putting Weak Memory in Order via a Promising Intermediate Representation
PLDI Research Papers
Sung-Hwan Lee Seoul National University, Minki Cho Seoul National University, Roy Margalit Tel Aviv University, Israel, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University
09:40
20m
Talk
Optimal Reads-From Consistency Checking for C11-Style Memory Models
PLDI Research Papers
Hünkar Can Tunç Aarhus University, Parosh Aziz Abdulla Uppsala University, Sweden, Soham Chakraborty TU Delft, Shankaranarayanan Krishna IIT Bombay, India, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University
Pre-print
10:00
20m
Talk
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
PLDI Research Papers
Zongyuan Liu Aarhus University, Denmark, Sergei Stepanenko Aarhus University, Jean Pichon-Pharabod Aarhus University, Amin Timany Aarhus University, Aslan Askarov Aarhus University, Lars Birkedal Aarhus University
10:20
20m
Talk
Embedding Hindsight Reasoning in Separation Logic
PLDI Research Papers
Roland Meyer TU Braunschweig, Thomas Wies New York University, Sebastian Wolff New York University
10:40
20m
Talk
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
PLDI Research Papers
Ike Mulder Radboud University Nijmegen, Lukasz Czajka Heliax AG, Robbert Krebbers Radboud University Nijmegen
Pre-print
09:00 - 11:00
PLDI: Testing & VerificationPLDI Research Papers at Royal
09:00
20m
Talk
Mostly-Automated Proof Repair for Verified LibrariesDistinguished Paper
PLDI Research Papers
Kiran Gopinathan National University of Singapore, Mayank Keoliya National University of Singapore, Ilya Sergey National University of Singapore
DOI Pre-print
09:20
20m
Talk
Proving and Disproving Equivalence of Functional Programming Assignments
PLDI Research Papers
Dragana Milovancevic EPFL, Viktor Kunčak EPFL, Switzerland
09:40
20m
Talk
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
PLDI Research Papers
Jihyeok Park Korea University, Dongjun Youn KAIST, Kanguk Lee KAIST, Sukyoung Ryu KAIST
DOI Pre-print
10:00
20m
Talk
Psym: Efficient Symbolic Exploration of Distributed Systems
PLDI Research Papers
Lauren Pick University of Wisconsin-Madison and University of California, Berkeley, Ankush Desai Amazon Web Services, Aarti Gupta Princeton University
10:20
20m
Talk
Modular Control Plane Verification via Temporal Invariants
PLDI Research Papers
Tim Alberdingk Thijm Princeton University, Ryan Beckett Microsoft Research, USA, Aarti Gupta Princeton University, David Walker Princeton University
10:40
20m
Talk
Fair Operational Semantics
PLDI Research Papers
Dongjae Lee Seoul National University, Minki Cho Seoul National University, Jinwoo Kim Seoul National University, Soonwon Moon Inha University, Youngju Song MPI-SWS, Chung-Kil Hur Seoul National University
13:40 - 15:40
PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2
13:40
20m
Talk
Passport: Improving Automated Formal Verification Using Identifiers
PLDI Research Papers
Alex Sanchez-Stern University of Massachusetts, Emily First University of Massachusetts Amherst, Timothy Zhou University of Illinois Urbana-Champaign, Zhanna Kaufman University of Massachusetts, Yuriy Brun University of Massachusetts, Talia Ringer University of Illinois at Urbana-Champaign
Link to publication DOI Pre-print
14:00
20m
Talk
Scalable Verification of GNN-based Job Schedulers
PLDI Research Papers
Haoze Wu Stanford University, Clark Barrett Stanford University, Mahmood Sharif Tel Aviv University, Nina Narodytska VMware Research, Gagandeep Singh University of Illinois at Urbana-Champaign
Link to publication Pre-print
14:20
20m
Talk
A general construction for abstract interpretation of higher-order automatic differentiation
PLDI Research Papers
Jacob Laurel University of Illinois at Urbana-Champaign, Rem Yang University of Illinois at Urbana-Champaign, Shubham Ugare University of Illinois at Urbana-Champaign, Robert Nagel University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign
Link to publication
14:40
20m
Talk
Program Adverbs and Tlön Embeddings
PLDI Research Papers
Yao Li Portland State University, Stephanie Weirich University of Pennsylvania
Link to publication
15:00
20m
Talk
Gleipnir: toward practical error analysis for Quantum programs
PLDI Research Papers
Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, USA, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University
Link to publication
15:20
20m
Talk
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
PLDI Research Papers
Adithya Murali University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Eion Blanchard University of Illinois at Urbana-Champaign, Christof Löding RWTH Aachen University, P. Madhusudan University of Illinois at Urbana-Champaign
Link to publication
13:40 - 15:40
13:40
20m
Talk
Extensible Metatheory Mechanization via Family PolymorphismDistinguished Paper
PLDI Research Papers
Ende Jin University of Waterloo, Nada Amin Harvard University, Yizhou Zhang University of Waterloo
14:00
20m
Talk
Defunctionalization with Dependent Types
PLDI Research Papers
Yulong Huang University of Cambridge, Jeremy Yallop University of Cambridge
DOI Pre-print
14:20
20m
Talk
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
PLDI Research Papers
Martin Elsman University of Copenhagen, Denmark
14:40
20m
Talk
Flux: Liquid Types for Rust
PLDI Research Papers
Nico Lehmann University of California, San Diego, Adam Geller Computer Science, University of British Columbia, Niki Vazou IMDEA Software Institute, Ranjit Jhala University of California at San Diego
15:00
20m
Talk
Leveraging Rust Types for Program Synthesis
PLDI Research Papers
Jonas Fiala ETH Zürich, Shachar Itzhaky Technion, Peter Müller ETH Zurich, Nadia Polikarpova University of California at San Diego, Ilya Sergey National University of Singapore
DOI Pre-print
15:20
20m
Talk
Parameterized Algebraic Protocols
PLDI Research Papers
Andreia Mordido LASIGE, University of Lisbon, Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
16:00 - 18:00
PLDI: Parsing & Formal LanguagesPLDI Research Papers at Cypress 2
16:00
20m
Talk
Search-Based Regular Expression Inference on a GPU
PLDI Research Papers
Mojtaba Valizadeh University of Sussex, Martin Berger
Pre-print
16:20
20m
Talk
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
PLDI Research Papers
Dan Moseley Microsoft DevDiv, Mario Nishio Microsoft Azure, Jose Perez Rodriguez Microsoft DevDiv, Olli Saarikivi Microsoft Research, Redmond, Stephen Toub Microsoft DevDiv, Margus Veanes Microsoft, Tiki Wan Microsoft Azure, Eric Xu Microsoft, USA
16:40
20m
Talk
Repairing Regular Expressions for Extraction
PLDI Research Papers
Nariyoshi Chida NTT Social Informatics Laboratories, Tachio Terauchi Waseda University
17:00
20m
Talk
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
PLDI Research Papers
Yuxiang Lei University of New South Wales, Yulei Sui University of New South Wales, Sydney, Shin Hwei Tan Concordia University, Qirun Zhang Georgia Institute of Technology
17:20
20m
Talk
Interval Parsing Grammars for File Format Parsing
PLDI Research Papers
Jialun Zhang Pennsylvania State University, Greg Morrisett Cornell University, Gang Tan Pennsylvania State University
17:40
20m
Talk
flap: A Deterministic Parser with Fused Lexing
PLDI Research Papers
Jeremy Yallop University of Cambridge, Ningning Xie Google DeepMind / University of Toronto, Neel Krishnaswami University of Cambridge
DOI Pre-print
16:00 - 18:00
PLDI: Hardware & SystemsPLDI Research Papers at Royal
16:00
20m
Talk
Loop Rerolling For Hardware Decompilation
PLDI Research Papers
Zachary Sisco UC Santa Barbara, Jonathan Balkind UC Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara
16:20
20m
Talk
Memento: A Framework for Detectable Recoverability in Persistent Memory
PLDI Research Papers
Kyeongmin Cho KAIST, Seungmin Jeon KAIST, Azalea Raad Imperial College London, Jeehoon Kang KAIST
DOI
16:40
20m
Talk
Cutting the Cake: A Language for Fair Division
PLDI Research Papers
Noah Bertram Cornell University, Alex Levinson Cornell University, Justin Hsu Cornell University
17:00
20m
Talk
CuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
PLDI Research Papers
Pre-print
17:20
20m
Talk
A Lineage-Based Referencing DSL for Computer-Aided Design
PLDI Research Papers
Dan Cascaval University of Washington, Rastislav Bodík Google Research, Brain Team, Adriana Schulz University of Washington
Pre-print
17:40
20m
Talk
A Type System for Safe Intermittent Computing
PLDI Research Papers
Milijana Surbatovich Carnegie Mellon University, Naomi Spargo Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA