PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
PLDI 2025 (series) / The Westin Josun Seoul /

Room information: Cosmos, Violet & Tulip

VenueThe Westin Josun Seoul
Room nameCosmos, Violet & Tulip
Floor2
Room Information

A combined room of Cosmos, Violet & Tulip

Program

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

Wed 18 Jun

Displayed time zone: Seoul change

10:30 - 12:10
Probabilistic ProgrammingPLDI Research Papers at Cosmos, Violet & Tulip
10:30
20m
Talk
Random Variate Generation with Formal Guarantees
PLDI Research Papers
Feras Saad Carnegie Mellon University, Wonyeol Lee POSTECH
DOI
10:50
20m
Talk
Semantics of Integrating and Differentiating Singularities
PLDI Research Papers
Jesse Michel Massachusetts Institute of Technology, Wonyeol Lee POSTECH, Hongseok Yang KAIST; IBS
DOI
11:10
20m
Talk
Probabilistic Refinement Session Types
PLDI Research Papers
Qiancheng Fu Boston University, Ankush Das Boston University, Marco Gaboardi Boston University
DOI
11:30
20m
Talk
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
PLDI Research Papers
Maddy Bowers Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology; Yale University, Joshua B. Tenenbaum Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology
DOI
11:50
20m
Talk
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
PLDI Research Papers
Cameron Moy Northeastern University, Jack Czenszak Northeastern University, John Li Northeastern University, Brianna Marshall Northeastern University, Steven Holtzen Northeastern University
DOI
14:00 - 15:20
Numerics and ApproximationPLDI Research Papers at Cosmos, Violet & Tulip
14:00
20m
Talk
Solving Floating-Point Constraints with Continuous Optimization
PLDI Research Papers
Qian Chen Nanjing University, Chenqi Cui Nanjing University, Fengjuan Gao Nanjing University of Science and Technology, Yu Wang Nanjing University, Ke Wang Visa Research, Linzhang Wang Nanjing University
DOI
14:20
20m
Talk
Support Triangle Machine
PLDI Research Papers
Jiaying Li R3 Lab, Chunxue Hao China CITIC Bank
DOI
14:40
20m
Talk
Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
PLDI Research Papers
Sehyeok Park Rutgers University, Justin Kim Rutgers University, Santosh Nagarakatte Rutgers University
DOI
15:00
20m
Talk
Bean: A Language for Backward Error Analysis
PLDI Research Papers
Ariel E. Kellison Cornell University, Laura Zielinski Cornell University, David Bindel Cornell University, Justin Hsu Cornell University
DOI
16:00 - 17:20
Machine LearningPLDI Research Papers at Cosmos, Violet & Tulip
16:00
20m
Talk
Type-Constrained Code Generation with Language Models
PLDI Research Papers
Niels Mündler ETH Zurich, Jingxuan He University of California at Berkeley, Hao Wang University of California at Berkeley, Koushik Sen University of California at Berkeley, Dawn Song University of California at Berkeley, Martin Vechev ETH Zurich
DOI Pre-print
16:20
20m
Talk
Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
PLDI Research Papers
Xiangwei Wang North Carolina State University, Xinning Hui North Carolina State University, Chunhua Liao Lawrence Livermore National Laboratory, Xipeng Shen North Carolina State University
DOI
16:40
20m
Talk
Scalable, Validated Code Translation of Entire Projects using Large Language Models
PLDI Research Papers
Hanliang Zhang University of Bristol, Cristina David University of Bristol, Meng Wang University of Bristol, Brandon Paulsen Amazon, Daniel Kroening Amazon
DOI
17:00
20m
Talk
Guided Tensor Lifting
PLDI Research Papers
Yixuan Li University of Edinburgh, José Wesley De Souza Magalhães University of Edinburgh, Alexander Brauckmann University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh, Elizabeth Polgreen University of Edinburgh
DOI

Thu 19 Jun

Displayed time zone: Seoul change

10:30 - 12:10
QuantumPLDI Research Papers at Cosmos, Violet & Tulip
10:30
20m
Talk
Optimizing Ancilla-Based Quantum Circuits with SPARE
PLDI Research Papers
Ritvik Sharma Stanford University, Sara Achour Stanford University
DOI
10:50
20m
Talk
MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
PLDI Research Papers
Xiuqi Cao University of Pennsylvania, Junyu Zhou University of Pennsylvania, Yuhao Liu University of Pennsylvania, Yunong Shi AWS Quantum Technologies, Gushu Li University of Pennsylvania
DOI
11:10
20m
Talk
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
PLDI Research Papers
Zhicheng Zhang University of Technology Sydney, Mingsheng Ying University of Technology Sydney
DOI
11:30
20m
Talk
QVM: Quantum Gate Virtualization Machine
PLDI Research Papers
Nathaniel Tornow TU Munich; LRZ, Emmanouil Giortamis TU Munich, Pramod Bhatotia TU Munich
DOI
11:50
20m
Talk
Efficient Formal Verification of Quantum Error Correcting Programs
PLDI Research Papers
Qifan Huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou Institute of Software at Chinese Academy of Sciences, Wang Fang University of Edinburgh, Mengyu Zhao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingsheng Ying University of Technology Sydney
DOI Pre-print
14:00 - 15:00
Language DesignPLDI Research Papers at Cosmos, Violet & Tulip
14:00
20m
Talk
Tree Borrows
PLDI Research Papers
Neven Villani University of Grenoble Alpes - VERIMAG, Johannes Hostert ETH Zurich, Derek Dreyer MPI-SWS, Ralf Jung ETH Zurich
Link to publication DOI
14:20
20m
Talk
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
PLDI Research Papers
Daan Leijen Microsoft Research, Wenjia Ye National University of Singapore; University of Hong Kong
DOI Pre-print
14:40
20m
Talk
Efficient, Portable, Census-Polymorphic Choreographic Programming
PLDI Research Papers
Mako P. Bates University of Vermont, Shun Kashiwa University of California at San Diego, Syed Jafri University of Vermont, Gan Shen University of California at Santa Cruz, Lindsey Kuper University of California at Santa Cruz, Joseph P. Near University of Vermont
DOI Pre-print

Fri 20 Jun

Displayed time zone: Seoul change

10:30 - 12:10
Memory ManagementPLDI Research Papers at Cosmos, Violet & Tulip
10:30
20m
Talk
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
PLDI Research Papers
Jaehwang Jung Rebellions Inc, Sunho Park KAIST, Janggun Lee KAIST, Jeho Yeon KAIST, Jeehoon Kang KAIST
DOI
10:50
20m
Talk
Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
PLDI Research Papers
Janggun Lee KAIST, Jeonghyeon Kim KAIST, Jeehoon Kang KAIST
DOI
11:10
20m
Talk
Iso: Request-Private Garbage Collection
PLDI Research Papers
Tianle Qiu Australian National University, Stephen M. Blackburn Google; Australian National University
DOI
11:30
20m
Talk
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
PLDI Research Papers
Dan Plyukhin University of Southern Denmark, Gul Agha University of Illinois at Urbana-Champaign, Fabrizio Montesi University of Southern Denmark
DOI
11:50
20m
Talk
RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
PLDI Research Papers
Md Amit Hasan Arovi Pennsylvania State University, Ruslan Nikolaev Pennsylvania State University
DOI
14:00 - 15:20
ConcurrencyPLDI Research Papers at Cosmos, Violet & Tulip
14:00
20m
Talk
Efficient Timestamping for Sampling-Based Race Detection
PLDI Research Papers
Minjian Zhang University of Illinois at Urbana-Champaign, Daniel Wee Soong Lim National University of Singapore, Mosaad Al Thokair Saudi Aramco, Umang Mathur National University of Singapore, Mahesh Viswanathan University of Illinois at Urbana-Champaign
DOI Pre-print
14:20
20m
Talk
Efficient Linearizability Monitoring
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University; Mälardalen University, Samuel Grahn Uppsala University, Bengt Jonsson Uppsala University, Shankaranarayanan Krishna IIT Bombay, Om Swostik Mishra IIT Bombay
DOI
14:40
20m
Talk
[TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost?
PLDI Research Papers
Karoliine Holter University of Tartu, Estonia, Simmo Saan University of Tartu, Estonia, Patrick Lam University of Waterloo, Vesal Vojdani University of Tartu
15:00
20m
Talk
Nola: Later-Free Ghost State for Verifying Termination in Iris
PLDI Research Papers
Yusuke Matsushita Kyoto University, Takeshi Tsukada Chiba University
Link to publication DOI

Wed 18 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Cosmos, Violet & Tulip

PLDI Research Papers

Probabilistic Programming

PLDI Research Papers

Numerics and Approximation

PLDI Research Papers

Machine Learning

Thu 19 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:0030
Cosmos, Violet & Tulip

PLDI Research Papers

Quantum

PLDI Research Papers

Language Design

Fri 20 Jun

Displayed time zone: Seoul change

Room10:003011:003012:003013:003014:003015:0030
Cosmos, Violet & Tulip

PLDI Research Papers

Memory Management

PLDI Research Papers

Concurrency

Wed 18 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cosmos, Violet & Tulip
PLDI Research Papers
Random Variate Generation with Formal Guarantees
10:30 - 10:50
PLDI Research Papers
Semantics of Integrating and Differentiating Singularities
10:50 - 11:10
PLDI Research Papers
Probabilistic Refinement Session Types
11:10 - 11:30
PLDI Research Papers
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabi ...
11:30 - 11:50
PLDI Research Papers
Roulette: A Language for Expressive, Exact, and Efficient Discrete Prob ...
11:50 - 12:10
PLDI Research Papers
Solving Floating-Point Constraints with Continuous Optimization
14:00 - 14:20
PLDI Research Papers
Support Triangle Machine
14:20 - 14:40
PLDI Research Papers
Correctly Rounded Math Libraries without Worrying about the Application ...
14:40 - 15:00
PLDI Research Papers
Bean: A Language for Backward Error Analysis
15:00 - 15:20
PLDI Research Papers
Type-Constrained Code Generation with Language Models
16:00 - 16:20
PLDI Research Papers
Reductive Analysis with Compiler-Guided Large Language Models for Input ...
16:20 - 16:40
PLDI Research Papers
Scalable, Validated Code Translation of Entire Projects using Large Lan ...
16:40 - 17:00
PLDI Research Papers
Guided Tensor Lifting
17:00 - 17:20

Thu 19 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Cosmos, Violet & Tulip
PLDI Research Papers
Optimizing Ancilla-Based Quantum Circuits with SPARE
10:30 - 10:50
PLDI Research Papers
MarQSim: Reconciling Determinism and Randomness in Compiler Optimizatio ...
10:50 - 11:10
PLDI Research Papers
Quantum Register Machine: Efficient Implementation of Quantum Recursive ...
11:10 - 11:30
PLDI Research Papers
QVM: Quantum Gate Virtualization Machine
11:30 - 11:50
PLDI Research Papers
Efficient Formal Verification of Quantum Error Correcting Programs
11:50 - 12:10
PLDI Research Papers
Tree Borrows
14:00 - 14:20
PLDI Research Papers
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
14:20 - 14:40
PLDI Research Papers
Efficient, Portable, Census-Polymorphic Choreographic Programming
14:40 - 15:00

Fri 20 Jun

Displayed time zone: Seoul change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Cosmos, Violet & Tulip
PLDI Research Papers
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separat ...
10:30 - 10:50
PLDI Research Papers
Leveraging Immutability to Validate Hazard Pointers for Optimistic Trav ...
10:50 - 11:10
PLDI Research Papers
Iso: Request-Private Garbage Collection
11:10 - 11:30
PLDI Research Papers
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
11:30 - 11:50
PLDI Research Papers
RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free ...
11:50 - 12:10
PLDI Research Papers
Efficient Timestamping for Sampling-Based Race Detection
14:00 - 14:20
PLDI Research Papers
Efficient Linearizability Monitoring
14:20 - 14:40
PLDI Research Papers
[TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost?
14:40 - 15:00
PLDI Research Papers
Nola: Later-Free Ghost State for Verifying Termination in Iris
15:00 - 15:20