Orchid - PLDI 2025

VenueThe Westin Josun Seoul

Room nameOrchid

Floor2

Room InformationNo extra information available

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

09:00 - 10:10	SOAP 1SOAP at Orchid Chair(s): Luca Negrini Ca’ Foscari University of Venice

09:00 10m Day opening		Opening SOAP Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice
09:10 60m Keynote		The MemCAD static analyser: shape, value and collection abstraction and application to OS verification SOAP Xavier Rival Inria; ENS; CNRS; PSL University

10:30 - 12:00	SOAP 2SOAP at Orchid Chair(s): Michael Schwarz TU Munich

10:30 20m Talk		Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies SOAP Sedick David Baker Effendi Stellenbosch University, Xavier Pinho StackGen, Andrei Michael Dreyer Whirly Labs, Fabian Yamaguchi Whirly Labs DOI Pre-print File Attached
10:50 20m Talk		Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses SOAP Kadiray Karakaya Heinz Nixdorf Institute at Paderborn University, Palaniappan Muthuraman Heinz Nixdorf Institute at Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University; Fraunhofer IEM DOI
11:10 20m Talk		Universal High-Performance CFL-Reachability via Matrix Multiplication SOAP Ilia Muravev Saint-Petersburg State University, Semyon Grigorev Saint-Petersburg State University DOI
11:30 20m Talk		Beyond Affine Loops: A Geometric Approach to Program SynthesisRecorded SOAP Erdenebayar Bayarmagnai KU Leuven, Fatemeh Mohammadi KU Leuven, Rémi Prébet Inria DOI

14:00 - 15:20	SOAP 3SOAP at Orchid Chair(s): Mukund Raghothaman University of Southern California

14:00 60m Keynote		Static Analysis from Code Graphs to Neural Networks SOAP Yulei Sui University of New South Wales
15:00 20m Talk		Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health SOAP Ákos Hajdu Meta, Roman Lee Meta, Gavin Weng Meta, Nilesh Agrawal Meta, Jérémy Dubreil Unaffiliated DOI

15:40 - 17:30	SOAP 4SOAP at Orchid Chair(s): Kihong Heo KAIST

15:40 60m Keynote		Building X-Ray for enterprise-scale software SOAP Charles Zhang Hong Kong University of Science and Technology
16:40 20m Talk		Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers SOAP Dorra Ben Khalifa ENAC - University of Toulouse, Matthieu Martel University of Peprignan; Numalis DOI
17:00 20m Talk		Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph ApproachRecorded SOAP Qingxiao Xu Texas A&M University, Jeff Huang Texas A&M University DOI
17:20 10m Day closing		Closing and Best Presentation Award SOAP Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice

Tue 17 Jun
Displayed time zone: Seoul change

09:00 - 10:10	Applications 1EGRAPHS at Orchid

09:00 20m Talk		Cut Tracing with E-Graphs for Boolean FHE Circuit SynthesisRecorded EGRAPHS Julien de Castelnau EPFL, Mingfei Yu EPFL, Giovanni De Micheli EPFL Pre-print
09:20 20m Talk		Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling EGRAPHS Hiromi Ishii Jij, Inc., Taro Shimizu Jij, Inc., Toshiki Teramura Jij, Inc. Media Attached File Attached
09:40 20m Talk		Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization EGRAPHS Oren Hecht Technion, Yotam M. Y. Feldman Tel Aviv University, Barak Hirshberg Tel Aviv University, Hila Peleg Technion

10:30 - 12:00	Applications 2EGRAPHS at Orchid

10:30 20m Talk		eqsat: An Equality Saturation Dialect for Non-destructive Rewriting EGRAPHS Jules Merckx Ghent University, Alexandre Lopoukhine University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Jianyi Cheng University of Edinburgh, UK, Bjorn De Sutter Ghent University, Belgium , Tobias Grosser University of Cambridge Pre-print
10:50 20m Talk		Hatching Theory Instantiations with Yardbird EGRAPHS Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA
11:10 20m Talk		Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification EGRAPHS Andy Wanna Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology, Theo Drane AMD

14:00 - 15:20	PerformanceEGRAPHS at Orchid

14:00 20m Talk		Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles
14:20 20m Talk		Incremental Equality Saturation EGRAPHS Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University Pre-print
14:40 20m Talk		Oatlog: A performant ahead-of-time compiled e-graph engineRecorded EGRAPHS Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology Media Attached File Attached

15:40 - 17:00	Theories / GuidanceEGRAPHS at Orchid

15:40 20m Talk		Equality Saturation Guided by Large Language Models EGRAPHS Wentao Peng Peking University, Ruyi Ji Peking University, Yingfei Xiong Peking University
16:00 20m Talk		Machine Learning Guided Equality Saturation EGRAPHS Nicole Heinimann Technische Universität Berlin, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin Pre-print File Attached
16:20 20m Talk		Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching EGRAPHS Philip Zucker Draper Pre-print File Attached

Wed 18 Jun
Displayed time zone: Seoul change

10:30 - 12:10	SynthesisPLDI Research Papers at Orchid Chair(s): Sébastien Bardin CEA LIST, University Paris-Saclay

10:30 20m Talk		Programming by Navigation PLDI Research Papers Justin Lubin University of California at Berkeley, Parker Ziegler University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI Pre-print
10:50 20m Talk		A Concurrent Approach to String Transformation Synthesis PLDI Research Papers Yuantian Ding Purdue University, Xiaokang Qiu Purdue University DOI
11:10 20m Talk		Exact Loop Bound Analysis PLDI Research Papers Daniel Riley Florida State University, Grigory Fedyukovich Florida State University DOI
11:30 20m Talk		Multi-stage Relational Programming PLDI Research Papers Michael Ballantyne Northeastern University, Rafaello Sanna Harvard University, Jason Hemann Seton Hall University, William E. Byrd University of Alabama at Birmingham, Nada Amin Harvard University DOI
11:50 20m Talk		Program Synthesis From Partial Traces PLDI Research Papers Margarida Ferreira Carnegie Mellon University; INESC-ID; Instituto Superior Técnico - University of Lisbon, Victor Nicolet Amazon, Joey Dodds Amazon, Daniel Kroening Amazon DOI

14:00 - 15:40	SemanticsPLDI Research Papers at Orchid Chair(s): Alexa VanHattum Wellesley College

14:00 20m Talk		Functional Meaning for Parallel Streaming PLDI Research Papers Nick Rioux University of Pennsylvania, Steve Zdancewic University of Pennsylvania DOI Pre-print
14:20 20m Talk		MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote PLDI Research Papers Abdul Rafae Noor University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign, Akash Kothari University of Illinois at Urbana-Champaign, Muchen Xu University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign DOI
14:40 20m Talk		First-Class Verification Dialects for MLIR PLDI Research Papers Mathieu Fehr The University of Edinburgh, Yuyou Fan University of Utah, Hugo Pompougnac Université Grenoble Alpes; Inria; CNRS; Grenoble INP, John Regehr University of Utah, Tobias Grosser University of Cambridge DOI
15:00 20m Talk		[TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible LanguagesRemote PLDI Research Papers Dawn Michaelson University of Minnesota, Gopalan Nadathur University of Minnesota, Eric Van Wyk University of Minnesota, Twin Cities DOI
15:20 20m Talk		Handling the Selection Monad PLDI Research Papers Gordon Plotkin Google DeepMind, Ningning Xie University of Toronto DOI

16:00 - 17:20	High Performance ComputingPLDI Research Papers at Orchid Chair(s): Charith Mendis University of Illinois at Urbana-Champaign

16:00 20m Talk		Task-Based Tensor Computations on Modern GPUs PLDI Research Papers Rohan Yadav Stanford University, Michael Garland NVIDIA, Alex Aiken Stanford University, Michael Bauer NVIDIA DOI
16:20 20m Talk		Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI Research Papers Manya Bansal Massachusetts Institute of Technology, Dillon Sharlet Google, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology DOI
16:40 20m Talk		Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs PLDI Research Papers Alonso Rodriguez Universidade da Coruña, Santoshkumar T. Tongli Colorado State University, Emily Tucker Colorado State University, Louis-Noël Pouchet Colorado State University, Gabriel Rodríguez Universidade da Coruña, Juan Tourino Universidade da Coruña DOI
17:00 20m Talk		Dynamic Robustness Verification against Weak MemoryRemote PLDI Research Papers Roy Margalit Tel Aviv University, Michalis Kokologiannakis ETH Zurich, Shachar Itzhaky Technion, Ori Lahav Tel Aviv University DOI

Thu 19 Jun
Displayed time zone: Seoul change

10:30 - 12:10	Software EngineeringPLDI Research Papers at Orchid Chair(s): Steve Blackburn Google and Australian National University

10:30 20m Talk		Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence PLDI Research Papers Parker Ziegler University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI
10:50 20m Talk		An Interactive Debugger for Rust Trait Errors PLDI Research Papers Gavin Gray Brown University, Will Crichton Brown University, Shriram Krishnamurthi Brown University DOI Pre-print
11:10 20m Talk		Spineless Traversal for Layout Invalidation PLDI Research Papers Marisa Kirisame University of Utah, Tiezhi Wang Tongji University, Pavel Panchekha University of Utah DOI
11:30 20m Talk		DR.FIX: Automatically Fixing Data Races at Industry Scale PLDI Research Papers Farnaz Behrang Uber Technologies, Zhizhou (Chris) Zhang Uber Technologies, Georgian-Vlad Saioc Aarhus University, Peng Liu Uber Technologies, Milind Chabbi Uber Technologies DOI
11:50 20m Talk		Program Skeletons for Automated Program Translation PLDI Research Papers Bo Wang National University of Singapore, Tianyu Li National University of Singapore, Ruishi Li National University of Singapore, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore DOI Pre-print

14:00 - 15:00	ArchitecturePLDI Research Papers at Orchid Chair(s): Rachit Nigam Massachusetts Institute of Technology

14:00 20m Talk		Ripple: Asynchronous Programming for Spatial Dataflow Architectures PLDI Research Papers Souradip Ghosh Carnegie Mellon University, Yufei Shi Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Nathan Beckmann Carnegie Mellon University DOI
14:20 20m Talk		Making Concurrent Hardware Verification Sequential PLDI Research Papers Thomas Bourgeat EPFL, Jiazheng Liu Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology DOI
14:40 20m Talk		Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote PLDI Research Papers Angus Hammond University of Cambridge, Ricardo Almeida University of Glasgow, Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh, Ian Stark University of Edinburgh, Peter Sewell University of Cambridge DOI

	17:00 - 18:00	Business MeetingPLDI Events at Orchid

Fri 20 Jun
Displayed time zone: Seoul change

10:30 - 11:50	Type SystemsPLDI Research Papers at Orchid Chair(s): Ariel E. Kellison Cornell University

10:30 20m Talk		Usability Barriers for Liquid Types PLDI Research Papers Catarina Gamboa Carnegie Mellon University and University of Lisbon, Abigail Elena Reese Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon, Jonathan Aldrich Carnegie Mellon University DOI Pre-print
10:50 20m Talk		Dynamic Region Ownership for Concurrency Safety PLDI Research Papers Fridtjof Stoldt Uppsala University, Brandt Bucher Microsoft, Sylvan Clebsch Microsoft Azure Research, Matthew A. Johnson Microsoft Azure Research, Matthew J. Parkinson Microsoft Azure Research, Guido van Rossum Microsoft, Eric Snow Microsoft, Tobias Wrigstad Uppsala University DOI
11:10 20m Talk		Practical Type Inference with Levels PLDI Research Papers Andong Fan University of Toronto, Han Xu Princeton University, Ningning Xie University of Toronto DOI
11:30 20m Talk		Thrust: A Prophecy-Based Refinement Type System for Rust PLDI Research Papers Hiromi Ogawa University of Tsukuba, Taro Sekiyama National Institute of Informatics, Hiroshi Unno Tohoku University DOI

14:00 - 15:20	Static Anlysis and VerificationPLDI Research Papers at Orchid Chair(s): Manu Sridharan University of California at Riverside

14:00 20m Talk		PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs PLDI Research Papers Gabriel Ebner Microsoft Research, Guido Martínez Microsoft Research, Aseem Rastogi Microsoft Research, Thibault Dardinier ETH Zurich, Megan Frisella University of Washington, Tahina Ramananandro Microsoft Research, Nikhil Swamy Microsoft Research DOI
14:20 20m Talk		LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols PLDI Research Papers Longfei Qiu Yale University, Jingqi Xiao Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University DOI
14:40 20m Talk		Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI Research Papers Fabian Stemmler TU Munich, Michael Schwarz TU Munich, Julian Erhard TU Munich; LMU Munich, Sarah Tilscher TU Munich; LMU Munich, Helmut Seidl TU Munich DOI Pre-print Media Attached
15:00 20m Talk		Relational Abstractions Based on Labeled Union-Find PLDI Research Papers Dorian Lesbre Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Hichem Rami Ait-El-Hara OCamlPro; Université Paris-Saclay - CEA LIST, François Bobot Université Paris-Saclay - CEA LIST DOI

Hide past events

Mon 16 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
Orchid	SOAP SOAP 1																		SOAP SOAP 2																																										SOAP SOAP 3																				SOAP SOAP 4

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
Orchid	EGRAPHS Applications 1																		EGRAPHS Applications 2																																										EGRAPHS Performance																				EGRAPHS Theories / Guidance

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
Orchid							PLDI Research Papers Synthesis																																										PLDI Research Papers Semantics																								PLDI Research Papers High Performance Computing

Thu 19 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
Orchid							PLDI Research Papers Software Engineering																																										PLDI Research Papers Architecture																																				PLDI Events Business Meeting

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
Orchid							PLDI Research Papers Type Systems																																										PLDI Research Papers Static Anlysis and Verification

Hide past events

Mon 16 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
Orchid	SOAP Opening 09:00 - 09:10		SOAP The MemCAD static analyser: shape, value and collection abstraction and ... 09:10 - 10:10																SOAP Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies 10:30 - 10:50				SOAP Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses 10:50 - 11:10				SOAP Universal High-Performance CFL-Reachability via Matrix Multiplication 11:10 - 11:30				SOAPRecorded Beyond Affine Loops: A Geometric Approach to Program Synthesis 11:30 - 11:50																														SOAP Static Analysis from Code Graphs to Neural Networks 14:00 - 15:00												SOAP Compositional Static Callgraph Reachability Analysis for WhatsApp Andro ... 15:00 - 15:20								SOAP Building X-Ray for enterprise-scale software 15:40 - 16:40												SOAP Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers 16:40 - 17:00				SOAPRecorded Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data F ... 17:00 - 17:20				SOAP Closing and Best Presentation Award 17:20 - 17:30

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
Orchid	EGRAPHSRecorded Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis 09:00 - 09:20				EGRAPHS Optimizing Optimizations: Case Study on Detecting Specific Types of Mat ... 09:20 - 09:40				EGRAPHS Using Equality Saturation and Stochastic Mutations for Molecular Dynami ... 09:40 - 10:00										EGRAPHS eqsat: An Equality Saturation Dialect for Non-destructive Rewriting 10:30 - 10:50				EGRAPHS Hatching Theory Instantiations with Yardbird 10:50 - 11:10				EGRAPHS Automated High-Level Synthesis Design Modularization via E-Graph Anti-U ... 11:10 - 11:30																																		EGRAPHS Destructive E-Graph Rewrites 14:00 - 14:20				EGRAPHS Incremental Equality Saturation 14:20 - 14:40				EGRAPHSRecorded Oatlog: A performant ahead-of-time compiled e-graph engine 14:40 - 15:00												EGRAPHS Equality Saturation Guided by Large Language Models 15:40 - 16:00				EGRAPHS Machine Learning Guided Equality Saturation 16:00 - 16:20				EGRAPHS Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching 16:20 - 16:40

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
Orchid							PLDI Research Papers Programming by Navigation 10:30 - 10:50				PLDI Research Papers A Concurrent Approach to String Transformation Synthesis 10:50 - 11:10				PLDI Research Papers Exact Loop Bound Analysis 11:10 - 11:30				PLDI Research Papers Multi-stage Relational Programming 11:30 - 11:50				PLDI Research Papers Program Synthesis From Partial Traces 11:50 - 12:10																										PLDI Research Papers Functional Meaning for Parallel Streaming 14:00 - 14:20				PLDI Research PapersRemote MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargeta ... 14:20 - 14:40				PLDI Research Papers First-Class Verification Dialects for MLIR 14:40 - 15:00				PLDI Research PapersRemote [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible L ... 15:00 - 15:20				PLDI Research Papers Handling the Selection Monad 15:20 - 15:40								PLDI Research Papers Task-Based Tensor Computations on Modern GPUs 16:00 - 16:20				PLDI Research Papers Lightweight and Locality-Aware Composition of Black-Box Subroutines 16:20 - 16:40				PLDI Research Papers Modular Construction and Optimization of the UZP Sparse Format for SpMV ... 16:40 - 17:00				PLDI Research PapersRemote Dynamic Robustness Verification against Weak Memory 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
Orchid							PLDI Research Papers Fast Direct Manipulation Programming with Patch-Reconciliation Correspo ... 10:30 - 10:50				PLDI Research Papers An Interactive Debugger for Rust Trait Errors 10:50 - 11:10				PLDI Research Papers Spineless Traversal for Layout Invalidation 11:10 - 11:30				PLDI Research Papers DR.FIX: Automatically Fixing Data Races at Industry Scale 11:30 - 11:50				PLDI Research Papers Program Skeletons for Automated Program Translation 11:50 - 12:10																										PLDI Research Papers Ripple: Asynchronous Programming for Spatial Dataflow Architectures 14:00 - 14:20				PLDI Research Papers Making Concurrent Hardware Verification Sequential 14:20 - 14:40				PLDI Research PapersRemote Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Cap ... 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
Orchid							PLDI Research Papers Usability Barriers for Liquid Types 10:30 - 10:50				PLDI Research Papers Dynamic Region Ownership for Concurrency Safety 10:50 - 11:10				PLDI Research Papers Practical Type Inference with Levels 11:10 - 11:30				PLDI Research Papers Thrust: A Prophecy-Based Refinement Type System for Rust 11:30 - 11:50																														PLDI Research Papers PulseCore: An Impredicative Concurrent Separation Logic for Dependently ... 14:00 - 14:20				PLDI Research Papers LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Co ... 14:20 - 14:40				PLDI Research Papers Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitiv ... 14:40 - 15:00				PLDI Research Papers Relational Abstractions Based on Labeled Union-Find 15:00 - 15:20

Hide past events

Room information: Orchid

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

SOAP

SOAP

SOAP

SOAP

Tue 17 Jun
Displayed time zone: Seoul change

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

Wed 18 Jun
Displayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Thu 19 Jun
Displayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Events

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

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

SOAP

SOAP

SOAP

SOAP

Tue 17 JunDisplayed time zone: Seoul change

EGRAPHS

EGRAPHS

EGRAPHS

EGRAPHS

Wed 18 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Thu 19 JunDisplayed time zone: Seoul change

PLDI Research Papers

PLDI Research Papers

PLDI Events

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