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

07:30 - 09:00
BreakfastCatering at Royal
07:30
90m
Other
Breakfast
Catering

09:00 - 11:00
09:00
5m
Day opening
Introduction
CSC

09:05
40m
Keynote
Letting HPC Programmers Focus On Correctness First, Then On PerformanceInvited Talk
CSC
Ignacio Laguna Lawrence Livermore National Laboratory
09:50
70m
Talk
Lightning Talks
CSC
Andrew Siegel , Sreepathi Pai University of Rochester, Harshitha Menon Lawrence Livermore National Lab, Piotr Luszczek , Alyson Fox , Vivek Sarkar Rice University, USA, Andrew W. Appel Princeton University
09:00 - 11:00
SOAP: Session 1 - Static AnalysisSOAP at Magnolia 18
Chair(s): Vincenzo Arceri University of Parma, Italy

#soap-sat-magnolia18 Discord icon small YouTube icon small

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
DOI
09:30
30m
Talk
Static Analysis of Data Transformations in Jupyter Notebooks (Virtual)
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
DOI
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
DOI
10:30
30m
Talk
When Long Jumps Fall Short: Control-Flow Tracking and 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
DOI Media Attached
09:00 - 11:00
PLARCH: Session 1PLARCH at Magnolia 4
Chair(s): Adam Chlipala Massachusetts Institute of Technology

#plarch-sat-magnolia4 Discord icon small YouTube icon small

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
File Attached
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
Pre-print
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
File Attached
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
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
09:00
45m
Talk
How Programmers Interact with AI Assistants
ASA
Nadia Polikarpova University of California at San Diego
09:45
45m
Talk
A Cambrian Explosion for Software Development Tools
ASA
Emery D. Berger University of Massachusetts Amherst
10:30
45m
Talk
Towards Code-Aware AI Models for Code
ASA
Baishakhi Ray Columbia University
09:00 - 11:00
09:00
2h
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
11:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:20 - 12:30
11:20
40m
Keynote
Formal Verification in Scientific ComputingInvited Talk
CSC
Jean-Baptiste Jeannin University of Michigan at Ann Arbor
12:00
20m
Talk
Lightning Talks
CSC
Laura Titolo NIA/NASA LaRC, Aditya V. Thakur University of California at Davis
12:20
10m
Other
Announcements
CSC

11:20 - 12:30
SOAP: Session 2 - Dynamic AnalysisSOAP at Magnolia 18

#soap-sat-magnolia18 Discord icon small YouTube icon small

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
DOI
11:45
45m
Keynote
Flux: Refinement types for RustInvited Talk
SOAP
Ranjit Jhala University of California at San Diego
11:20 - 12:30
PLARCH: Session 2PLARCH at Magnolia 4
Chair(s): Mengjia Yan MIT

#plarch-sat-magnolia4 Discord icon small YouTube icon small

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
11:20
30m
Talk
Keynote (Fredrik Kjolstad): Portable Compilation of Sparse Computation
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
11:45
45m
Talk
Differentiable Symbolic Execution
ASA
Swarat Chaudhuri University of Texas at Austin
11:20 - 12:30
11:20
70m
Neurosymbolic Programming in Scallop
Tutorials
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
12:30 - 14:00
LunchCatering at Royal
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
CSC: Closed SessionCSC at Magnolia 1-3
14:00 - 15:30
SOAP: Session 3 - Scalable AnalysisSOAP at Magnolia 18
Chair(s): Pietro Ferrara Università Ca' Foscari, Venezia, Italy

#soap-sat-magnolia18 Discord icon small YouTube icon small

14:00
40m
Keynote
Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)Invited 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
DOI
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
DOI
14:00 - 15:30
PLARCH: Session 3PLARCH at Magnolia 4
Chair(s): Caroline Trippel Stanford University

#plarch-sat-magnolia4 Discord icon small YouTube icon small

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
File Attached
14:40
10m
Talk
Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware
PLARCH
Tianrui Wei University of California, Berkeley, Shangyin Tan University of California at Berkeley, Koushik Sen University of California at 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 Sandia National Laboratories
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
14:00
45m
Talk
Program Analysis at Uber Scale
ASA
Raj Barik Uber Technologies Inc.
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:50
SOAP: Session 4 - Program Verification and Dynamic AnalysisSOAP at Magnolia 18
Chair(s): Liana Hadarean Amazon Web Services

#soap-sat-magnolia18 Discord icon small YouTube icon small

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 KU Leuven, Bart Jacobs KU Leuven
DOI
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
DOI
17:25
25m
Talk
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual)
SOAP
Michael Wang Massachusetts Institute of Technology, Shashank Srikant MIT, Malavika Samak CSAIL, MIT, Una-May O’Reilly Massachusetts Institute of Technology
DOI
16:00 - 17:50
PLARCH: Session 4PLARCH at Magnolia 4
Chair(s): Adrian Sampson Cornell University

#plarch-sat-magnolia4 Discord icon small YouTube icon small

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
File Attached
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
File Attached
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 University of California at Berkeley, Borivoje Nikolic University of California, Berkeley
File Attached
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
Pre-print

Sun 18 Jun

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

05:00 - 05:20
Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

05:00
20m
Social Event
Virtual PLTeaSocial
Social

07:30 - 09:00
BreakfastCatering at Royal
07:30
90m
Other
Breakfast
Catering

09:00 - 11:00
PLMW: Session 1PLMW@PLDI at Magnolia 10
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon

#plmw-sun-magnolia10 Discord icon small YouTube icon small

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
From Bug Detection to Mitigation and Elimination: The Role of Tools and Language Design in Memory Safety
PLMW@PLDI
09:00 - 11:00
09: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
Pre-print File Attached
10:00
20m
Talk
egglog In Practice: Automatically Improving Floating-point Error
EGRAPHS
Oliver Flatt University of Washington, Yihong Zhang University of Washington
10:20
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
Pre-print File Attached
10:40
20m
Talk
Egg-smol Python: A Pythonic Library for E-graphs
EGRAPHS
Link to publication Pre-print
09:00 - 10:20
ISMM: Session 1ISMM at Magnolia 22
Chair(s): Erez Petrank Technion

#ismm-0855-session1-magnolia22 Discord icon small YouTube icon small

09:00
5m
Day opening
Welcome to ISMM
ISMM
Steve Blackburn Google and Australian National University, Erez Petrank Technion
09:05
60m
Talk
Keynote: A Brave New World for Memory Management Research
ISMM
10:05
15m
Break
BreakSocial
ISMM

09:00 - 11:00
09:00
5m
Day opening
Introduction
CTSTA
Fredrik Kjolstad Stanford University
09:05
15m
Talk
Software and Hardware for Sparse ML
CTSTA
Fredrik Kjolstad Stanford University
09:20
15m
Talk
Integrating Data Layout into Compilers and Code Generators
CTSTA
Mary Hall University of Utah
09:35
15m
Talk
Tackling the challenges of high-performance graph analytics at compiler level
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
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
CTSTA
Nandeeka Nayak University of Illinois at Urbana-Champaign
10:50
10m
Panel
Discussion
CTSTA

09:00 - 11:00
ARRAY: Session 1ARRAY at Magnolia 6
Chair(s): Troels Henriksen University of Copenhagen, Denmark

#array-sun-magnolia6 Discord icon small YouTube icon small

09:00
60m
Keynote
Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
ARRAY
Gilbert Bernstein University of Washington, Seattle
10:00
30m
Talk
Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled)
ARRAY
Hui Shi University of California, San Diego, Sicun Gao University of California San Diego, Jishen Zhao UCSD
10:30
30m
Talk
Array Programming via Multi-Dimensional Homomorphisms
ARRAY
Ari Rasch University of Muenster, Richard Schulze University of Muenster, Sergei Gorlatch University of Muenster
File Attached
09:00 - 10:00
LCTES: KeynoteLCTES at Magnolia 7-8
Chair(s): Bernhard Egger Seoul National University

#lctes-0900-keynote-magnolia78 Discord icon small YouTube icon small

09:00
60m
Keynote
Decreasing the Miss Rate and Eliminating the Performance Penalty of a Data Filter Cache
LCTES
David B. Whalley Florida State University
DOI
09:00 - 11:00
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
LCTES: Code GenLCTES at Magnolia 7-8
Chair(s): Bernhard Egger Seoul National University

#lctes-1000-codegen-magnolia78 Discord icon small YouTube icon small

10:00
20m
Talk
Facilitating the Bootstrapping of a New ISA
LCTES
Abigail Mortensen Florida State University, Scott Pomerville Michigan Technological University, David B. Whalley Florida State University, Soner Onder Michigan Technological University, Gang-Ryung Uh Florida State University
DOI
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
DOI
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
DOI Pre-print Media Attached
10:20 - 11:00
ISMM: Session 2 - Application ScalabilityISMM at Magnolia 22
Chair(s): Steve Blackburn Google and Australian National University

#ismm-1020-session2-magnolia22 Discord icon small YouTube icon small

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 Pierer Innovation / The University of Manchester, Foivos S. Zakkak Red Hat, Inc.
DOI
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
DOI
11:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:00 - 11:20
Virtual PLTeaSocial at PLTea Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

11:00
20m
Social Event
Virtual PLTeaSocial
Social

11:20 - 12:30
PLMW: Session 2PLMW@PLDI at Magnolia 10
Chair(s): Anitha Gollamudi University of Massachusetts Lowell

#plmw-sun-magnolia10 Discord icon small YouTube icon small

11:20
30m
Talk
Research area overview talk I: PL Meets ML - A Probabilistic Perspective
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
ISMM: Session 3 - Intellectual AbstractsISMM at Magnolia 22
Chair(s): Michael D. Bond Ohio State University, USA

#ismm-1120-session3-magnolia22 Discord icon small YouTube icon small

11:20
20m
Talk
Memory Consistency Models for Program Transformations: An Intellectual Abstract
ISMM
Akshay Gopalakrishnan McGill University, Clark Verbrugge McGill University, Canada, Mark Batty University of Kent, Clark Verbrugge McGill University, Canada
DOI
11:40
20m
Talk
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
ISMM
Christian Navasca UCLA, Martin Maas Google, Petros Maniatis Google, Hyeontaek Lim Google, Harry Xu University of California, Los Angeles (UCLA)
DOI
12:00
20m
Talk
The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
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
DOI
12:20
10m
Awards
Best Paper Award
ISMM

11:20 - 12:30
11:20
15m
Talk
Accelerating Sparse Matrix Computations with Code Specialization
CTSTA
Maryam Mehri Dehnavi University of Toronto
11:35
15m
Talk
A General Distributed Framework for Contraction of a Sparse Tensor with a Tensor Network
CTSTA
Raghavendra Kanakagiri University of Illinois Urbana-Champaign
11:50
15m
Talk
Automatic Differentiation for Sparse TensorsVirtual
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
11:20
45m
Talk
Predictable inlining in OCaml
Infer
Pierre Oechsel Jane Street
11:20 - 12:30
LCTES: Code/Image SizeLCTES at Magnolia 7-8
Chair(s): Jongouk Choi University of Central Florida

#lctes-1120-codeimgsize-magnolia78 Discord icon small YouTube icon small

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
DOI
11:50
20m
Talk
Optimizing Function Layout for Mobile Applications
LCTES
Ellis Hoag Meta, Kyungwoo Lee Meta, Julián Mestre University of Sydney, Sergey Pupyrev Meta Platforms Inc., Facebook
DOI
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
DOI
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
12:30 - 14:00
LunchCatering at Royal
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
PLMW: Session 3PLMW@PLDI at Magnolia 10
Chair(s): Marco Guarnieri IMDEA Software Institute

#plmw-sun-magnolia10 Discord icon small YouTube icon small

14:00
30m
Talk
Research area overview talk II - Program Synthesis: Big Ideas in Program Synthesis
PLMW@PLDI
Nadia Polikarpova University of California at San Diego
14:30
30m
Talk
Research area overview talk III - Language design: Compiler Verification: A Look Back, A Look Forward
PLMW@PLDI
Amal Ahmed Northeastern University, USA
File Attached
15:00
30m
Talk
Research area overview talk IV - Security
PLMW@PLDI
Danfeng Zhang Pennsylvania State University
14:00 - 15:20
ISMM: Session 4 - Allocations and Garbage CollectionISMM at Magnolia 22
Chair(s): Tony Hosking Australian National University

#ismm-1400-session4-magnolia22 Discord icon small YouTube icon small

14:00
20m
Talk
Concurrent GCs and Modern Java Workloads: A Cache PerspectiveBest Paper Award
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
DOI
14:20
20m
Talk
Wait-Free Weak Reference Counting
ISMM
Matthew J. Parkinson Azure Research, Microsoft, UK, Sylvan Clebsch Azure Research, Ben Simner
DOI
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
DOI
15:00
20m
Talk
Picking a CHERI Allocator: Security and Performance Considerations
ISMM
Jacob Bramley Arm, Dejice Jacob University of Glasgow, UK, Andrei Lascu King's College London, Jeremy Singer University of Glasgow, Laurence Tratt King's College London, Andrei Lascu King's College London
DOI Pre-print
14:00 - 15:30
14:00
15m
Talk
Learning workload-aware cost model for sparse tensor program
CTSTA
Jaeyeon Won Massachusetts Institute of Technology
14:15
15m
Talk
Autoscheduling for Sparse Tensor Contraction
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
Moving the MLIR Sparse Compilation Pipeline into ProductionVirtual
CTSTA
Aart Bik Google, Inc., Peiming Liu 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
ARRAY: Session 3ARRAY at Magnolia 6
Chair(s): Mary Sheeran Chalmers

#array-sun-magnolia6 Discord icon small YouTube icon small

14:00
30m
Talk
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
ARRAY
Bjorn Lisper Malardalen University, Linus Källberg Mälardalen University
DOI
14:30
30m
Talk
OptiTrust: an Interactive Optimization Framework
ARRAY
Thomas Koehler INRIA, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Begatim Bytyqi Inria, Damien Rouhling Inria, Yann Barsamian Ecole Européenne de Bruxelles
Pre-print File Attached
15:00
30m
Talk
Polymorphic Types with Polynomial Sizes
ARRAY
Jean-Louis Colaço ANSYS, Baptiste Pauget ANSYS/Inria, Marc Pouzet École normale supérieure
DOI
14:00 - 15:30
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
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:50
PLMW: Session 4PLMW@PLDI at Magnolia 10
Chair(s): Limin Jia Carnegie Mellon University

#plmw-sun-magnolia10 Discord icon small YouTube icon small

16:00
50m
Talk
How to Design Talks
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

#egraphs-sun-magnolia18 Discord icon small YouTube icon small

16:00
20m
Talk
Optimizing Beta-Reduction in E-Graphs
EGRAPHS
Emmanuel Anaya-Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego
File Attached
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
File Attached
16:40
20m
Talk
E-graph Extraction Using ZDDs
EGRAPHS
16:00 - 17:20
ISMM: Session 5 - MiscellaneousISMM at Magnolia 22
Chair(s): Martin Maas Google

#ismm-1600-session5-magnolia22 Discord icon small YouTube icon small

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
DOI
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
DOI
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
DOI
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
DOI
16:00 - 17:50
16:00
1h50m
Poster
Poster Session and Free-Form Discussion
CTSTA

16:00 - 17:50
ARRAY: Session 4ARRAY at Magnolia 6
Chair(s): Martin Elsman University of Copenhagen, Denmark

#array-sun-magnolia6 Discord icon small YouTube icon small

16:00
30m
Talk
A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos
ARRAY
Pedro Valero-Lara Oak Ridge National Laboratory, Jeffrey Vetter Oak Ridge National Laboratory
DOI
16:30
30m
Talk
Opportunities for Linear Algebraic Graph Databases
ARRAY
Yuttapichai Kerdcharoen Carnegie Mellon University, Upasana Sridhar Carnegie Mellon University, Tze Meng Low Carnegie Mellon University
17:00
30m
Talk
Towards Structured Algebraic Programming
ARRAY
Denis Jelovina Computing Systems Lab Huawei Zurich Research Center, Daniele Giuseppe Spampinato Computing Systems Lab Huawei Zurich Research Center, Jiawei Zhuang Huawei Technologies Co. Ltd., Albert-Jan Nicholas Yzelman Computing Systems Lab Huawei Zurich Research Center
DOI
16:00 - 17:00
LCTES: StorageLCTES at Magnolia 7-8
Chair(s): Dongyoon Lee Stony Brook University

#lctes-1600-storage-magnolia78 Discord icon small YouTube icon small

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
DOI
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
DOI
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
DOI
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

05:00 - 05:20
Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

05:00
20m
Social Event
Virtual PLTeaSocial
Social

07:30 - 09:00
BreakfastCatering at Cypress 3
07:30
90m
Other
Breakfast
Catering

09:00 - 11:00
PLDI: Welcome & Opening SessionPLDI Research Papers at Royal
Chair(s): Nate Foster Cornell University

#pldi-mon-0900-opening-royal Discord icon small YouTube icon small

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
DOI
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
DOI
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
DOI
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
DOI Pre-print
11:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:00 - 11:20
Virtual PLTeaSocial at PLTea Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

11:00
20m
Social Event
Virtual PLTeaSocial
Social

11:20 - 12:30
Plenary SessionFCRC at Cypress 2
11:20
70m
Keynote
Computing in the Foundation Model EraInvited Talk
FCRC
Kunle Olukotun Stanford University
12:30 - 13:40
SIGPLAN: Awards LunchSIGPLAN at Cypress 1
12:30
70m
Lunch
SIGPLAN Awards LunchSocial
SIGPLAN

13:40 - 15:20
PLDI: CompilationPLDI Research Papers at Cypress 2
Chair(s): Chung-Kil Hur Seoul National University

#pldi-mon-1340-compilation-cypress Discord icon small YouTube icon small

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
DOI
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
DOI Pre-print
14:20
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
DOI
14:40
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:00
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
DOI Pre-print
13:40 - 15:20
PLDI: Verification & Proof AssistantsPLDI Research Papers at Royal
Chair(s): Adam Chlipala Massachusetts Institute of Technology

#pldi-mon-1340-verification-royal Discord icon small YouTube icon small

13:40
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
DOI Pre-print
14:00
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
DOI
14:20
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
DOI
14:40
20m
Talk
Merging Inductive Relations
PLDI Research Papers
Jacob Prinz University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
DOI
15:00
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
DOI
15:40 - 16:00
15:40
20m
Coffee break
Break
Catering

15:40 - 16:00
Boba SocialSocial at Patio
15:40
20m
Social Event
Boba SocialSocial
Social

16:00 - 18:00
PLDI: Concurrency & ParallelismPLDI Research Papers at Cypress 2
Chair(s): Calin Cascaval Google Research

#pldi-mon-1600-concurrency-cypress Discord icon small YouTube icon small

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
DOI
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
DOI
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
DOI
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
DOI
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
DOI
16:00 - 18:00
PLDI: Machine LearningPLDI Research Papers at Royal
Chair(s): Yaniv David Columbia University

#pldi-mon-1600-ml-royal Discord icon small YouTube icon small

16:00
20m
Talk
Scallop: A Language for Neurosymbolic Programming
PLDI Research Papers
Ziyang Li UPenn, Jiani Huang UPenn, Mayur Naik University of Pennsylvania
DOI
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
DOI
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
DOI
17:00
20m
Talk
Architecture-Preserving Provable Repair of Deep Neural Networks
PLDI Research Papers
Zhe Tao University of California, Davis, Stephanie Nawas University of California, Davis, Jacqueline Mitchell University of California, Davis, Aditya V. Thakur University of California at Davis
DOI 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
DOI
17:40
20m
Talk
Prompting Is Programming: A Query Language for Large Language Models
PLDI Research Papers
Luca Beurer-Kellner ETH Zurich, Marc Fischer ETH Zurich, Martin Vechev ETH Zurich
DOI
18:00 - 19:30
SRC: Poster SessionSRC at Cypress 1
18:00
7m
Poster
An Eager SMT Solver for Algebraic Data Type Queries
SRC
File Attached
18:07
7m
Poster
A Synchronization Mechanism for an Accelerator Design IR
SRC
Pai Li Cornell University, USA
Media Attached
18:15
7m
Poster
ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
SRC
Media Attached
18:22
7m
Poster
Distributions for Compositionally Differentiating Parametric Discontinuities
SRC
Jesse Michel Massachusetts Institute of Technology
Media Attached
18:30
7m
Poster
Formal Verification of a MIR-to-MIR optimisation
SRC
Media Attached
18:37
7m
Poster
Formal verification of approximate differential privacy via the characteristic function
SRC
Media Attached
18:45
7m
Poster
Leveraging Far Memory for Data-Intensive Processing: A Hotness-Segregated Heap Approach
SRC
Dat Nguyen Texas A & M University
File Attached
18:52
7m
Poster
On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound
SRC
Xingyu Xie Tsinghua University
Media Attached
19:00
7m
Poster
Prettybird: A DSL for Programmatic Font Compilation
SRC
Charles Averill University of Texas at Dallas
Media Attached
19:07
7m
Poster
Quantum Simulation using Context-Free-Language Ordered Binary Decision Diagrams
SRC
Media Attached
19:15
7m
Poster
Resource Sharing through Control-Flow Based Optimizations
SRC
Media Attached
19:22
7m
Poster
Scaling Decision-Theoretic Probabilistic Programs Through Factorization
SRC
Minsung Cho Northeastern University
Media Attached
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

05:00 - 05:20
Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

05:00
20m
Social Event
Virtual PLTeaSocial
Social

07:30 - 09:00
BreakfastCatering at Cypress 3
07:30
90m
Other
Breakfast
Catering

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

09:00 - 11:00
PLDI: SecurityPLDI Research Papers at Cypress 1
Chair(s): Limin Jia Carnegie Mellon University

#pldi-tue-0900-security-cypress Discord icon small YouTube icon small

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 at Santa Barbara
DOI
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
DOI
09:40
20m
Talk
Discrete Adversarial Attack to Models of Code
PLDI Research Papers
Fengjuan Gao Nanjing University of Science and Technology, Yu Wang Nanjing University, Ke Wang Visa Research
DOI
10:00
20m
Talk
Generalized Policy-Based Noninterference 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
DOI
10:20
20m
Talk
Taype: A Policy-Agnostic Language for Oblivious Computation
PLDI Research Papers
Qianchuan Ye Purdue University, Benjamin Delaware Purdue University
DOI
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şıl Dillig University of Texas at Austin
DOI
09:00 - 11:00
SRC: FinalSRC at Emerald

Emerald is on the 5th floor, East Tower.

09:00 - 11:00
PLDI: SynthesisPLDI Research Papers at Royal
Chair(s): Ilya Sergey National University of Singapore

#pldi-tue-0900-synthesis-royal Discord icon small YouTube icon small

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
DOI
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
DOI
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şıl Dillig University of Texas at Austin
DOI
10:00
20m
Talk
One Pixel Adversarial Attacks via Sketched Programs
PLDI Research Papers
DOI
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
DOI 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
DOI
11:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:00 - 11:20
Virtual PLTeaSocial at PLTea Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

11:00
20m
Social Event
Virtual PLTeaSocial
Social

12:30 - 13:40
PLDI: LGBTQ+ LunchPLDI Research Papers
12:30
70m
Lunch
PLDI LGBTQ+ LunchSocial
PLDI Research Papers

12:30 - 13:40
12:30
70m
Lunch
Lunch
Catering

13:40 - 15:40
PLDI: Analysis & OptimizationsPLDI Research Papers at Cypress 2
Chair(s): Fredrik Kjolstad Stanford University

#pldi-tue-1340-optimizations-cypress Discord icon small YouTube icon small

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
DOI
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
DOI 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
DOI
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
DOI
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
DOI 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
DOI Pre-print
13:40 - 15:40
PLDI: Probabilistic AnalysesPLDI Research Papers at Royal
Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign

#pldi-tue-1340-probabilistic-royal Discord icon small YouTube icon small

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
DOI 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
DOI
14:20
20m
Talk
Verified Density Compilation for a Probabilistic Programming Language
PLDI Research Papers
Joseph Tassarotti NYU, Jean-Baptiste Tristan Amazon Web Services
DOI
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
DOI
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
DOI
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
DOI Pre-print
15:40 - 16:00
15:40
20m
Coffee break
Break
Catering

15:40 - 16:00
Boba SocialSocial at Patio
15:40
20m
Social Event
Boba SocialSocial
Social

16:15 - 17:15
Plenary PanelFCRC at Cypress 2
16:15
60m
Panel
Reflecting on 50 Years of Computing Research, and Future Outlook
FCRC
Hagit Attiya Technion, Jack Dongarra University of Tennessee, Knoxville, Mary Hall University of Utah, Lizy John University of Texas, Austin, Huan Liu Arizona State University, Guy L. Steele Jr. Oracle Labs
17:15 - 18:15
SIGPLAN: Business MeetingSIGPLAN at Royal

YouTube icon small

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

05:00 - 05:20
Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

05:00
20m
Social Event
Virtual PLTeaSocial
Social

07:30 - 09:00
BreakfastCatering at Cypress 3
07:30
90m
Other
Breakfast
Catering

09:00 - 11:00
PLDI: Memory Models & Program LogicsPLDI Research Papers at Cypress 1
Chair(s): Matthew J. Parkinson Azure Research, Microsoft, UK

#pldi-wed-0900-memory-cypress Discord icon small YouTube icon small

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
DOI
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
DOI
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
DOI 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, Sergei Stepanenko Aarhus University, Jean Pichon-Pharabod Aarhus University, Amin Timany Aarhus University, Aslan Askarov Aarhus University, Lars Birkedal Aarhus University
DOI
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
DOI
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
DOI Pre-print
09:00 - 11:00
PLDI: Testing & VerificationPLDI Research Papers at Royal
Chair(s): Yao Li Portland State University

#pldi-wed-0900-testing-royal Discord icon small YouTube icon small

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
DOI Pre-print
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
DOI
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
DOI
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
DOI
11:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:00 - 11:20
Virtual PLTeaSocial at PLTea Zoom Room

PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote.

11:00
20m
Social Event
Virtual PLTeaSocial
Social

11:20 - 12:30
Plenary SessionFCRC at Cypress 2
11:20
70m
Keynote
Constructing and Deconstructing Trust: Employing Cryptographic Recipe in the ML DomainInvited Talk
FCRC
Shafi Goldwasser University of California, Berkeley
12:30 - 13:40
12:30
70m
Lunch
Lunch
Catering

13:40 - 15:40
PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2
Chair(s): Gang Tan Pennsylvania State University

#pldi-wed-1340-toplas-cypress Discord icon small YouTube icon small

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 Media Attached
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 DOI Pre-print
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
DOI
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
DOI
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
DOI
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
DOI
15:40 - 16:00
15:40
20m
Coffee break
Break
Catering

16:00 - 18:00
PLDI: Parsing & Formal LanguagesPLDI Research Papers at Cypress 2
Chair(s): Eric Eide University of Utah

#pldi-wed-1600-parsing-cypress Discord icon small YouTube icon small

16:00
20m
Talk
Search-Based Regular Expression Inference on a GPU
PLDI Research Papers
Mojtaba Valizadeh University of Sussex, Martin Berger
DOI 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
DOI
16:40
20m
Talk
Repairing Regular Expressions for Extraction
PLDI Research Papers
Nariyoshi Chida NTT Social Informatics Laboratories, Tachio Terauchi Waseda University
DOI
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
DOI
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
DOI
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
Chair(s): Zachary Tatlock University of Washington

#pldi-wed-1600-hardware-royal Discord icon small YouTube icon small

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
DOI
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
DOI
17:00
20m
Talk
cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
PLDI Research Papers
DOI 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
DOI 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
DOI