DRAGSTERS 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
co-located with PLDI 2023
Room InformationNo extra information available
Program

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
BreakfastPLDI Catering at Royal
07:30
90m
Other
Breakfast
PLDI Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
PLDI Catering

Sun 18 Jun

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

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
PLDI Catering

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
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
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
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
19:30 - 21:30
SRC: PLDI / ISCA Junior Student MixerPLDI SRC at Royal
19:30
2h
Dinner
PLDI / ISCA Junior Student MixerSocial
PLDI SRC

Tue 20 Jun

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

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, Jocelyn (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
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
17:15 - 18:15
SIGPLAN: Business MeetingPLDI SIGPLAN at Royal

YouTube icon small

17:15
60m
Meeting
SIGPLAN Business Meeting
PLDI SIGPLAN

Wed 21 Jun

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

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

Sat 17 Jun

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

Room7:00308:00309:003010:003011:003012:003013:0030
Royal

Sun 18 Jun

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

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Royal

Mon 19 Jun

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

Tue 20 Jun

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

Wed 21 Jun

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

Sat 17 Jun

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:00153045
Royal
PLDI Catering
Lunch
12:30 - 14:00

Sun 18 Jun

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Royal
PLDI Catering
Lunch
12:30 - 14:00

Mon 19 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Royal

Wed 21 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Royal