Grand Ball Room 1 - PLDI 2025

VenueThe Westin Josun Seoul

Room nameGrand Ball Room 1

Floor1

Room Information

Grand Ball Room 1

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 16 Jun
Displayed time zone: Seoul change

14:10 - 15:20	Keynote 1LCTES at Grand Ball Room 1

14:10 70m Keynote		Keynote 1: Prof. Soonhoi Ha (Seoul National University) LCTES

15:40 - 17:20	AI and Accelerator Architecture + WIPLCTES at Grand Ball Room 1

15:40 20m Talk		SPARQ: An Accelerator Architecture for Large Language Models with Joint Sparsity and Quantization Techniques LCTES Seonggyu Choi Sungkyunkwan University, Hyungmin Cho Sungkyunkwan University DOI
16:00 20m Talk		ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resource-Constrained Hardware LCTES Jaume Mateu Cuadrat Seoul National University, Bernhard Egger Seoul National University DOI
16:20 20m Talk		Graphitron: A Domain Specific Language for FPGA-Based Graph Processing Accelerator Generation LCTES Xinmiao Zhang SKLP, Institute of Computing Technology, CAS, Zheng Feng Institute of Computing Technology at Chinese Academy of Sciences, Shengwen Liang SKLP, Institute of Computing Technology, CAS, Xinyu Chen Hong Kong University of Science and Technology, Lei Zhang ICT CAS, Cheng Liu ICT CAS DOI
16:40 20m Talk		Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory LCTES Sirshendu Das Indian Statistical Institute, Ansuman Banerjee Indian Statistical Institute, Swarup Kumar Mohalik Ericsson Research DOI
17:00 10m Talk		Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Register Grouping Compilation Support (WIP) LCTES Siyi Xu Shanghai University, Limin Jiang Shanghai University, Yintao Liu Shanghai University, Yihao Shen Shanghai University, Yi Shi Shanghai University, Shan Cao Shanghai University, Zhiyuan Jiang Shanghai University DOI
17:10 10m Talk		Towards Macro-Aware C-to-Rust Transpilation (WIP) LCTES Robbe De Greef Vrije Universiteit Brussel, Attilio Discepoli Vrije Universiteit Brussel, Esteban Aguililla Klein Université Libre de Bruxelles, Théo Engels Royal Military Academy of Belgium, Ken Hasselmann Royal Military Academy of Belgium, Antonio Paolillo Vrije Universiteit Brussel DOI

Tue 17 Jun
Displayed time zone: Seoul change

09:00 - 10:10	Keynote 2LCTES at Grand Ball Room 1

09:00 70m Keynote		Keynote 2: Prof. Reinhard von Hanxleden (Kiel University) LCTES

10:30 - 11:50	Embedded Systems and Real-Time OptimizationLCTES at Grand Ball Room 1

10:30 20m Talk		rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems LCTES Yixiao Xing Nagoya University, Yixiao Li Nagoya University, Hiroaki Takada Nagoya University DOI
10:50 20m Talk		ASC-Hook: Efficient System Call Interception for ARM LCTES Yang Shen National University of Defense Technology, Min Xie National University of Defense Technology, Tao Wu Changsha University of Science and Technology, Wenzhe Zhang National University of Defense Technology, China, Ruibo Wang National University of Defense Technology, Gen Zhang National University of Defense Technology DOI
11:10 20m Talk		SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs LCTES Dongwon Yang Korea University, Jaebeom Jeon Korea University, Minseong Gil Korea University, Junsu Kim Korea University, Seondeok Kim Korea University, Gunjae Koo Korea University, Myung Kuk Yoon Ewha Womans University, Yunho Oh Korea University DOI
11:30 20m Talk		vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems LCTES Markus Elias Gerber Friedrich-Alexander-Universität Erlangen-Nürnberg, Luis Gerhorst Friedrich-Alexander-Universität Erlangen-Nürnberg, Ishwar Mudraje Saarland University, Kai Vogelgesang Saarland University, Thorsten Herfet Saarland University, Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU) DOI

14:00 - 15:20	Compiler Technology and Auto-TuningLCTES at Grand Ball Room 1

14:00 20m Talk		JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution LCTES Arman Cham Heidari Shahid Beheshti University, Mehran Alidoost Nia Shahid Beheshti University DOI
14:20 20m Talk		Grouptuner: Efficient Group-Aware Compiler Auto-tuning LCTES Bingyu Gao Peking University, Mengyu Yao Peking University, Ziming Wang Peking University, Dong Liu ZTE, Ding Li Peking University, Xiangqun Chen Peking University, Yao Guo Peking University DOI
14:40 20m Talk		Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator LCTES JooHyoung Cha Korea University of Science and Technology, Munyoung Lee ETRI, Jinse Kwon ETRI, Jemin Lee ETRI, Yongin Kwon ETRI DOI
15:00 20m Talk		DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing LCTES Abhinav Kumar Arizona State University, Atharva Khedkar Arizona State University, Hwisoo So Yonsei University, Megan Kuo Arizona State University, Ameya Gurjar Arizona State University, Partha Biswas MathWorks, Aviral Shrivastava Arizona State University DOI

15:40 - 17:00	SystemsLCTES at Grand Ball Room 1

15:40 20m Talk		R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set ArchitecturesRecorded LCTES Edwin Kayang Arizona State University, Mishel Jyothis Paul Arizona State University, Eric Jahns Arizona State University, Muslum Ozgur Ozmen Arizona State University, Milan Stojkov University of Novi Sad, Kevin Rudd Arizona State University, Michel Kinsy Arizona State University DOI
16:00 20m Talk		SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDsRemote LCTES Aobo Yang Southwest University, Huanhuan Tian Southwest University, Yuyang He Southwest University, Jiaojiao Wu Southwest University, Jiaxu Wu Southwest University, Zhibing Sha Southwest University, Zhigang Cai Southwest University, Jianwei Liao Southwest University DOI
16:20 20m Talk		LUCI: Lightweight UI Command Interface LCTES Guna Lagudu Arizona State University, Vinayak Sharma Arizona State University, Aviral Shrivastava Arizona State University DOI
16:40 20m Talk		Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms LCTES Seondeok Kim Korea University, Sangun Choi Korea University, Jaebeom Jeon Korea University, Junsu Kim Korea University, Minseong Gil Korea University, Jaehyeok Ryu Korea University, Yunho Oh Korea University DOI

17:30 - 19:30	ReceptionPLDI Events / Catering at Grand Ball Room 1

17:30 2h Dinner		Dinner Catering

Wed 18 Jun
Displayed time zone: Seoul change

10:30 - 12:10	Compilers 1PLDI Research Papers at Grand Ball Room 1

10:30 20m Talk		Partial Evaluation, Whole-Program Compilation PLDI Research Papers Chris Fallin F5, Maxwell Bernstein Recurse Center DOI Pre-print
10:50 20m Talk		Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact PLDI Research Papers Lucian Popescu INESC-ID; Instituto Superior Técnico - University of Lisbon; Politehnica University of Bucharest, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon Link to publication DOI
11:10 20m Talk		Relaxing Alias Analysis: Exploring the Unexplored Space PLDI Research Papers Michel Weber ETH Zurich, Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich DOI
11:30 20m Talk		Webs and Flow-Directed Well-Typedness Preserving Program Transformations PLDI Research Papers Benjamin Quiring University of Maryland, David Van Horn University of Maryland, John Reppy University of Chicago, Olin Shivers Northeastern University DOI
11:50 20m Talk		Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs PLDI Research Papers Rudi Schneider Technische Universität Berlin, Marcus Rossel Barkhausen Institut, Amir Shaikhha University of Edinburgh, Andrés Goens University of Amsterdam, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin DOI Pre-print

14:00 - 15:40	Security & CryptographyPLDI Research Papers at Grand Ball Room 1

14:00 20m Talk		Verified Foundations for Differential Privacy PLDI Research Papers Markus de Medeiros New York University, Muhammad Naveed Amazon, Tancrède Lepoint Amazon, Temesghen Kahsai Amazon, Tristan Ravitch Amazon, Stefan Zetzsche Amazon, Anjali Joshi Amazon, Joseph Tassarotti New York University, Aws Albarghouthi Amazon, Jean-Baptiste Tristan Amazon DOI
14:20 20m Talk		Automated Exploit Generation for Node.js Packages PLDI Research Papers Filipe Marques INESC-ID; Instituto Superior Técnico - University of Lisbon, Mafalda Ferreira INESC-ID; Instituto Superior Técnico - University of Lisbon, André Nascimento INESC-ID; Instituto Superior Técnico - University of Lisbon, Miguel E. Coimbra INESC-ID; Instituto Superior Técnico - University of Lisbon, Nuno Santos INESC-ID; Instituto Superior Técnico - University of Lisbon, Limin Jia Carnegie Mellon University, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon DOI
14:40 20m Talk		Robust Constant-Time Cryptography PLDI Research Papers Matthew Kolosick University of California at San Diego, Basavesh Ammanaghatta Shivakumar Virginia Tech, Sunjay Cauligi ICSI, Marco Patrignani University of Trento, Marco Vassena Utrecht University, Ranjit Jhala University of California at San Diego, Deian Stefan University of California at San Diego DOI
15:00 20m Talk		Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers PLDI Research Papers Owen Conoly Massachusetts Institute of Technology, Andres Erbsen Google, Adam Chlipala Massachusetts Institute of Technology DOI
15:20 20m Talk		Circuit Optimization using Arithmetic Table Lookups PLDI Research Papers Raghav Malik Purdue University, Vedant Paranjape Purdue University, Milind Kulkarni Purdue University DOI

16:00 - 17:20	Big Red KATsPLDI Research Papers at Grand Ball Room 1

16:00 20m Talk		Active Learning of Symbolic NetKAT Automata PLDI Research Papers Mark Moeller Cornell University, Tiago Ferreira University College London, Thomas Lu Cornell University, Nate Foster Cornell University; Jane Street, Alexandra Silva Cornell University DOI
16:20 20m Talk		StacKAT: Infinite State Network Verification PLDI Research Papers Jules Jacobs Cornell University, Nate Foster Cornell University; Jane Street, Tobias Kappé Leiden University, Dexter Kozen Cornell University, Lily Saada Cornell University, Alexandra Silva Cornell University, Jana Wagemaker Radboud University Nijmegen DOI
16:40 20m Talk		Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI Research Papers Shawn Ong Cornell University, Stephanie Ma Cornell University, Dexter Kozen Cornell University DOI
17:00 20m Talk		Membership Testing for Semantic Regular Expressions PLDI Research Papers Yifei Huang University of Southern California, Matin Amini University of Southern California, Alexis Le Glaunec Rice University, Konstantinos Mamouras Rice University, Mukund Raghothaman University of Southern California DOI

	17:30 - 19:30	SRC Poster Session with ReceptionStudent Research Competition at Grand Ball Room 1

Thu 19 Jun
Displayed time zone: Seoul change

10:30 - 12:10	Verification 1PLDI Research Papers at Grand Ball Room 1

10:30 20m Talk		A Hybrid Approach to Semi-automated Rust Verification PLDI Research Papers Sacha-Élie Ayoun Imperial College London, Xavier Denis ETH Zurich, Petar Maksimović Nethermind; Imperial College London, Philippa Gardner Imperial College London DOI Pre-print
10:50 20m Talk		RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI Research Papers Kimaya Bedarkar Max Planck Institute for Software Systems (MPI-SWS), Laila Elbeheiry MPI-SWS, Michael Sammler ETH Zurich; ISTA, Lennard Gäher MPI-SWS, Björn Brandenburg MPI-SWS, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI
11:10 20m Talk		Certified Compilers à la Carte PLDI Research Papers Oghenevwogaga Ebresafe University of Waterloo, Ian Zhao University of Waterloo, Ende Jin University of Waterloo, Arthur Bright University of Waterloo, Charles Jian University of Waterloo, Yizhou Zhang University of Waterloo DOI
11:30 20m Talk		Destabilizing Iris PLDI Research Papers Simon Spies MPI-SWS, Niklas Mück MPI-SWS, Haoyi Zeng Saarland University, Michael Sammler ETH Zurich; ISTA, Andrea Lattuada MPI-SWS, Peter Müller ETH Zurich, Derek Dreyer MPI-SWS DOI
11:50 20m Talk		Verifying Lock-Free Traversals in Relaxed Memory Separation Logic PLDI Research Papers Sunho Park KAIST, Jaehwang Jung Rebellions Inc, Janggun Lee KAIST, Jeehoon Kang KAIST DOI

14:00 - 15:00	Automata TheoryPLDI Research Papers at Grand Ball Room 1

14:00 20m Talk		A Uniform Framework for Handling Position Constraints in String Solving PLDI Research Papers Yu-Fang Chen Academia Sinica, Vojtěch Havlena Brno University of Technology, Michal Hečko Brno University of Technology, Lukáš Holík Brno University of Technology; Aalborg University, Ondřej Lengál Brno University of Technology DOI
14:20 20m Talk		Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI Research Papers Steven Schaefer University of Michigan, Nathan Varner University of Michigan, Pedro Henrique Azevedo de Amorim University of Oxford, Max S. New University of Michigan DOI Pre-print
14:40 20m Talk		Verifying Solutions to Semantics-Guided Synthesis Problems PLDI Research Papers Charlie Murphy Amazon Web Services, USA, Keith J.C. Johnson University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of California at San Diego DOI

Fri 20 Jun
Displayed time zone: Seoul change

10:30 - 12:10	Compilers 2PLDI Research Papers at Grand Ball Room 1

10:30 20m Talk		Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis PLDI Research Papers Shan Huang East China Normal University, Jingjing Liang East China Normal University, Ting Su East China Normal University, Qirun Zhang Georgia Institute of Technology DOI
10:50 20m Talk		CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI Research Papers Ling Zhang Shanghai Jiao Tong University, Yuting Wang Shanghai Jiao Tong University, Yalun Liang Shanghai Jiao Tong University, Zhong Shao Yale University DOI
11:10 20m Talk		Link-Time Optimization of Dynamic Casts in C++ Programs PLDI Research Papers Xufan Lu INESC-ID / Instituto Superior Técnico, University of Lisbon, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon Link to publication DOI
11:30 20m Talk		Divergence-Aware Testing of Graphics Shader Compiler Back-Ends PLDI Research Papers Dongwei Xiao Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Zhibo Liu Hong Kong University of Science and Technology, Yiteng Peng Hong Kong University of Science and Technology, Daoyuan Wu Hong Kong University of Science and Technology, Zhendong Su ETH Zurich DOI
11:50 20m Talk		Optimization-Directed Compiler Fuzzing for Continuous Translation Validation PLDI Research Papers Jaeseong Kwon KAIST, Bongjun Jang KAIST, Juneyoung Lee AWS, Kihong Heo KAIST DOI Pre-print

14:00 - 15:20	DatabasesPLDI Research Papers at Grand Ball Room 1

14:00 20m Talk		Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI Research Papers Pinhan Zhao University of Michigan, Yuepeng Wang Simon Fraser University, Xinyu Wang University of Michigan DOI Pre-print
14:20 20m Talk		Pointer Analysis for Database-Backed Applications PLDI Research Papers Yufei Liang Nanjing University, Teng Zhang Nanjing University, Ganlin Li Nanjing University, Tian Tan Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University, Yue Li Nanjing University DOI
14:40 20m Talk		Graphiti: Bridging Graph and Relational Database Queries PLDI Research Papers Yang He Simon Fraser University, Ruijie Fang University of Texas at Austin, Işıl Dillig University of Texas at Austin, Yuepeng Wang Simon Fraser University DOI
15:00 20m Talk		AWDIT: An Optimal Weak Database Isolation Tester PLDI Research Papers Lasse Møldrup Aarhus University, Andreas Pavlogiannis Aarhus University DOI

Mon 16 Jun
Displayed time zone: Seoul change


Room	14:00						30						15:00						30						16:00						30						17:00						30
Grand Ball Room 1			LCTES Keynote 1																		LCTES AI and Accelerator Architecture + WIP

Tue 17 Jun
Displayed time zone: Seoul change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Grand Ball Room 1	LCTES Keynote 2																		LCTES Embedded Systems and Real-Time Optimization																																										LCTES Compiler Technology and Auto-Tuning																				LCTES Systems																						PLDI Events + Catering Reception

Wed 18 Jun
Displayed time zone: Seoul change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
Grand Ball Room 1							PLDI Research Papers Compilers 1																																										PLDI Research Papers Security & Cryptography																								PLDI Research Papers Big Red KATs																		Student Research Competition SRC Poster Session with Reception

Thu 19 Jun
Displayed time zone: Seoul change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Grand Ball Room 1							PLDI Research Papers Verification 1																																										PLDI Research Papers Automata Theory

Fri 20 Jun
Displayed time zone: Seoul change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Grand Ball Room 1							PLDI Research Papers Compilers 2																																										PLDI Research Papers Databases

Mon 16 Jun
Displayed time zone: Seoul change


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Ball Room 1			LCTES Keynote 1: Prof. Soonhoi Ha (Seoul National University) 14:10 - 15:20																		LCTES SPARQ: An Accelerator Architecture for Large Language Models with Joint ... 15:40 - 16:00				LCTES ADaPS: Adaptive Data Partitioning to Parallelize CNN Inference on Resou ... 16:00 - 16:20				LCTES Graphitron: A Domain Specific Language for FPGA-Based Graph Processing ... 16:20 - 16:40				LCTES Modeling and Verification of Sigma Delta Neural Networks using Satisfia ... 16:40 - 17:00				LCTES Zoozve: A Strip-Mining-Free RISC-V Vector Extension with Arbitrary Regi ... 17:00 - 17:10		LCTES Towards Macro-Aware C-to-Rust Transpilation (WIP) 17:10 - 17:20

Tue 17 Jun
Displayed time zone: Seoul change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
Grand Ball Room 1	LCTES Keynote 2: Prof. Reinhard von Hanxleden (Kiel University) 09:00 - 10:10																		LCTES rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems 10:30 - 10:50				LCTES ASC-Hook: Efficient System Call Interception for ARM 10:50 - 11:10				LCTES SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in ... 11:10 - 11:30				LCTES vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded S ... 11:30 - 11:50																														LCTES JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code E ... 14:00 - 14:20				LCTES Grouptuner: Efficient Group-Aware Compiler Auto-tuning 14:20 - 14:40				LCTES Multi-level Machine Learning-Guided Autotuning for Efficient Code Gener ... 14:40 - 15:00				LCTES DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signa ... 15:00 - 15:20								LCTESRecorded R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Fram ... 15:40 - 16:00				LCTESRemote SetMP: Set Associative Mapping Management for Multi-plane Optimization ... 16:00 - 16:20				LCTES LUCI: Lightweight UI Command Interface 16:20 - 16:40				LCTES Kubism: Disassembling and Reassembling K-Means Clustering for Mobile He ... 16:40 - 17:00										PLDI Catering Dinner 17:30 - 19:30

Wed 18 Jun
Displayed time zone: Seoul change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Ball Room 1							PLDI Research Papers Partial Evaluation, Whole-Program Compilation 10:30 - 10:50				PLDI Research Papers Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Stu ... 10:50 - 11:10				PLDI Research Papers Relaxing Alias Analysis: Exploring the Unexplored Space 11:10 - 11:30				PLDI Research Papers Webs and Flow-Directed Well-Typedness Preserving Program Transformations 11:30 - 11:50				PLDI Research Papers Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs 11:50 - 12:10																										PLDI Research Papers Verified Foundations for Differential Privacy 14:00 - 14:20				PLDI Research Papers Automated Exploit Generation for Node.js Packages 14:20 - 14:40				PLDI Research Papers Robust Constant-Time Cryptography 14:40 - 15:00				PLDI Research Papers Smooth, Integrated Proofs of Cryptographic Constant Time for Nondetermi ... 15:00 - 15:20				PLDI Research Papers Circuit Optimization using Arithmetic Table Lookups 15:20 - 15:40								PLDI Research Papers Active Learning of Symbolic NetKAT Automata 16:00 - 16:20				PLDI Research Papers StacKAT: Infinite State Network Verification 16:20 - 16:40				PLDI Research Papers Probabilistic Kleene Algebra with Angelic Nondeterminism 16:40 - 17:00				PLDI Research Papers Membership Testing for Semantic Regular Expressions 17:00 - 17:20

Thu 19 Jun
Displayed time zone: Seoul change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Grand Ball Room 1							PLDI Research Papers A Hybrid Approach to Semi-automated Rust Verification 10:30 - 10:50				PLDI Research Papers RefinedProsa: Connecting Response-Time Analysis with C Verification for ... 10:50 - 11:10				PLDI Research Papers Certified Compilers à la Carte 11:10 - 11:30				PLDI Research Papers Destabilizing Iris 11:30 - 11:50				PLDI Research Papers Verifying Lock-Free Traversals in Relaxed Memory Separation Logic 11:50 - 12:10																										PLDI Research Papers A Uniform Framework for Handling Position Constraints in String Solving 14:00 - 14:20				PLDI Research Papers Intrinsic Verification of Parsers and Formal Grammar Theory in Dependen ... 14:20 - 14:40				PLDI Research Papers Verifying Solutions to Semantics-Guided Synthesis Problems 14:40 - 15:00

Fri 20 Jun
Displayed time zone: Seoul change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Grand Ball Room 1							PLDI Research Papers Robustifying Debug Information Updates in LLVM via Control-Flow Conform ... 10:30 - 10:50				PLDI Research Papers CompCertOC: Verified Compositional Compilation of Multi-threaded Progra ... 10:50 - 11:10				PLDI Research Papers Link-Time Optimization of Dynamic Casts in C++ Programs 11:10 - 11:30				PLDI Research Papers Divergence-Aware Testing of Graphics Shader Compiler Back-Ends 11:30 - 11:50				PLDI Research Papers Optimization-Directed Compiler Fuzzing for Continuous Translation Valid ... 11:50 - 12:10																										PLDI Research Papers Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approxi ... 14:00 - 14:20				PLDI Research Papers Pointer Analysis for Database-Backed Applications 14:20 - 14:40				PLDI Research Papers Graphiti: Bridging Graph and Relational Database Queries 14:40 - 15:00				PLDI Research Papers AWDIT: An Optimal Weak Database Isolation Tester 15:00 - 15:20

Room information: Grand Ball Room 1

This program is tentative and subject to change.

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

LCTES

LCTES

Tue 17 Jun
Displayed time zone: Seoul change

LCTES

LCTES

LCTES

LCTES

PLDI Events + Catering

Wed 18 Jun
Displayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Student Research Competition

Thu 19 Jun
Displayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

Fri 20 Jun
Displayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

Room information: Grand Ball Room 1

This program is tentative and subject to change.

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Tue 17 JunDisplayed time zone: Seoul change

Wed 18 JunDisplayed time zone: Seoul change

Thu 19 JunDisplayed time zone: Seoul change

Fri 20 JunDisplayed time zone: Seoul change

Mon 16 JunDisplayed time zone: Seoul change

LCTES

LCTES

Tue 17 JunDisplayed time zone: Seoul change

LCTES

LCTES

LCTES

LCTES

PLDI Events + Catering

Wed 18 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Student Research Competition

Thu 19 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

Fri 20 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

Mon 16 JunDisplayed time zone: Seoul change

Tue 17 JunDisplayed time zone: Seoul change

Wed 18 JunDisplayed time zone: Seoul change

Thu 19 JunDisplayed time zone: Seoul change

Fri 20 JunDisplayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change

Mon 16 Jun
Displayed time zone: Seoul change

Tue 17 Jun
Displayed time zone: Seoul change

Wed 18 Jun
Displayed time zone: Seoul change

Thu 19 Jun
Displayed time zone: Seoul change

Fri 20 Jun
Displayed time zone: Seoul change