SOAP 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
co-located with PLDI 2024
PLDI 2024 (series) / SOAP 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Iceland / Denmark

VenueRadisson Blu Scandinavia, Copenhagen
Room nameIceland / Denmark
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

Wed 26 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
QuantumPLDI Research Papers at Iceland / Denmark
Chair(s): Robert Rand University of Chicago
10:40
20m
Talk
Compilation of Qubit Circuits to Optimized Qutrit Circuits
PLDI Research Papers
Ritvik Sharma Stanford University, Sara Achour Stanford University
DOI
11:00
20m
Talk
Qubit Recycling Revisited
PLDI Research Papers
Hanru Jiang Beijing Institute of Mathematical Sciences and Applications
DOI
11:20
20m
Talk
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
PLDI Research Papers
Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
11:40
20m
Talk
Compiling Conditional Quantum Gates without Using Helper Qubits
PLDI Research Papers
Keli Huang University of California at Los Angeles, Jens Palsberg University of California, Los Angeles (UCLA)
DOI
12:00
20m
Talk
An Algebraic Language for Specifying Quantum Networks
PLDI Research Papers
Anita Buckley USI Lugano, Pavel Chuprikov USI Lugano, Rodrigo Otoni USI Lugano, Robert Soulé Yale University, Robert Rand University of Chicago, Patrick Eugster USI Lugano; Purdue University
DOI
13:40 - 15:20
Formal Verification 1PLDI Research Papers at Iceland / Denmark
Chair(s): Jeehoon Kang KAIST
13:40
20m
Talk
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
PLDI Research Papers
Gaurav Parthasarathy ETH Zurich, Thibault Dardinier ETH Zurich, Benjamin Bonneau Verimag, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
DOI
14:00
20m
Talk
Verified Extraction from Coq to OCaml
PLDI Research Papers
Yannick Forster Inria, Matthieu Sozeau Inria, Nicolas Tabareau Inria
DOI
14:20
20m
Talk
Verification under Intel-x86 with Persistency
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Ahmed Bouajjani IRIF, Université Paris Diderot, K Narayan Kumar Chennai Mathematical Institute, Prakash Saivasan The Institute of Mathematical Sciences, India
DOI
14:40
20m
Talk
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
PLDI Research Papers
Lennard Gäher MPI-SWS, Michael Sammler MPI-SWS, Ralf Jung ETH Zurich, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS
DOI
15:00
20m
Talk
Hyperblock Scheduling for Verified High-Level Synthesis
PLDI Research Papers
Yann Herklotz Imperial College London, John Wickerson Imperial College London
DOI Pre-print File Attached
16:00 - 17:20
BugsPLDI Research Papers at Iceland / Denmark
Chair(s): V Krishna Nandivada IIT Madras
16:00
20m
Talk
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
PLDI Research Papers
Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich
DOI
16:20
20m
Talk
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingRemote
PLDI Research Papers
Qiuping Yi Beijing University of Posts and Telecommunications, Yifan Yu Beijing University of Posts and Telecommunications, Guowei Yang University of Queensland
DOI
16:40
20m
Talk
Diffy: Data-Driven Bug Finding for Configurations
PLDI Research Papers
Siva Kesava Reddy Kakarla Microsoft Research, Francis Y. Yan Microsoft Research, Ryan Beckett Microsoft Research, USA
DOI
17:00
20m
Talk
Boosting Compiler Testing by Injecting Real-World Code
PLDI Research Papers
Shaohua Li ETH Zurich, Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich
DOI

Thu 27 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Managed LanguagesPLDI Research Papers at Iceland / Denmark
10:40
20m
Talk
Linear Matching of JavaScript Regular Expressions
PLDI Research Papers
Aurèle Barrière EPFL, Clément Pit-Claudel EPFL
DOI Pre-print
11:00
20m
Talk
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
PLDI Research Papers
Michael Fitzgibbons Northeastern University, Zoe Paraskevopoulou Ethereum Foundation, Noble Mushtak Northeastern University, Michelle Thalakottur Northeastern University, Jose Sulaiman Manzur Northeastern University, Amal Ahmed Northeastern University, USA
DOI
11:20
20m
Talk
Bringing the WebAssembly Standard up to Speed with SpecTec
PLDI Research Papers
Dongjun Youn KAIST, Shin Wonho KAIST, Jaehyun Lee KAIST, Sukyoung Ryu KAIST, Joachim Breitner unaffiliated, Philippa Gardner Imperial College London, Sam Lindley University of Edinburgh, Matija Pretnar University of Ljubljana, Xiaojia Rao Imperial College, Conrad Watt Nanyang Technological University, Andreas Rossberg Independent
DOI
11:40
20m
Talk
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
PLDI Research Papers
Aditya Anand Indian Institute of Technology Bombay, Solai Adithya IIT Mandi, Swapnil Rustagi IIT Mandi, Priyam Seth IIT Mandi, Vijay Sundaresan IBM Canada, Daryl Maier IBM Canada, V Krishna Nandivada IIT Madras, Manas Thakur Indian Institute of Technology Bombay
DOI Pre-print
12:00
20m
Talk
Concurrent Immediate Reference Counting
PLDI Research Papers
Jaehwang Jung KAIST, Jeonghyeon Kim KAIST, Matthew J. Parkinson Microsoft Azure Research, Jeehoon Kang KAIST
DOI
13:40 - 14:40
SIGPLAN + TOPLASPLDI Research Papers at Iceland / Denmark
Chair(s): Qirun Zhang Georgia Institute of Technology
13:40
20m
Talk
[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
PLDI Research Papers
Nikita Koval JetBrains, Dmitry Khalanskiy JetBrains, Dan Alistarh IST Austria
DOI
14:00
20m
Talk
[PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
PLDI Research Papers
Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London
DOI
14:20
20m
Talk
[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
PLDI Research Papers
Meghana Aparna Sistla The University of Texas at Austin, Swarat Chaudhuri University of Texas at Austin, Thomas Reps University of Wisconsin-Madison
15:20 - 16:30
Industry sessionPLDI Events at Iceland / Denmark
Chair(s): Fredrik Kjolstad Stanford University

Come hear about activities going on at our platinum sponsors, Apple, AWS, and Huawei!

15:20
20m
Industry talk
Data-race safety for the masses
PLDI Events
Holly Borla Apple, Inc,
15:40
20m
Industry talk
Programming Languages at Huawei
PLDI Events
Magnus Morton Huawei
16:00
20m
Industry talk
Formal reasoning at Amazon Web Services
PLDI Events
Byron Cook Amazon

Fri 28 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Concurrent and DistributedPLDI Research Papers at Iceland / Denmark
Chair(s): Suresh Jagannathan Purdue University
10:40
20m
Talk
A Lightweight Polyglot Code Transformation Language
PLDI Research Papers
Ameya Ketkar Gitar, Daniel Ramos Carnegie Mellon University, and INESC-ID, Lazaro Clapp Gitar, Raj Barik Gitar Co., Murali Krishna Ramanathan AWS AI Labs
DOI Pre-print
11:00
20m
Talk
SPORE: Combining Symmetry and Partial Order Reduction
PLDI Research Papers
Michalis Kokologiannakis MPI-SWS, Iason Marmanis MPI-SWS, Viktor Vafeiadis MPI-SWS
DOI
11:20
20m
Talk
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
PLDI Research Papers
Chujun Geng The Ohio State University, USA, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, Yang Wang The Ohio State University
DOI
11:40
20m
Talk
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness ProofsRemote
PLDI Research Papers
Longfei Qiu Yale University, Yoonseung Kim Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Inha University, Wolf Honore Yale University, Zhong Shao Yale University
DOI
12:00
20m
Talk
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
PLDI Research Papers
Ruslan Nikolaev The Pennsylvania State University, Binoy Ravindran Virginia Tech
DOI
13:40 - 15:20
Close to the HardwarePLDI Research Papers at Iceland / Denmark
Chair(s): Steve Blackburn Google and Australian National University
13:40
20m
Talk
Allo: A Programming Model for Composable Accelerator Design
PLDI Research Papers
Hongzheng Chen Cornell University, Niansong Zhang Cornell University, Shaojie Xiang Cornell University, Zhichen Zeng University of Science and Technology of China, Mengjia Dai University of Science and Technology of China, Zhiru Zhang Cornell University, USA
DOI
14:00
20m
Talk
VESTA: Power Modeling with Language Runtime Events
PLDI Research Papers
Joseph Raskind SUNY Binghamton, Timur Babakol SUNY Binghamton, USA, Khaled Mahmoud SUNY Binghamton, USA, Yu David Liu SUNY Binghamton
DOI
14:20
20m
Talk
Modular Hardware Design of Pipelined Circuits with Hazards
PLDI Research Papers
Minseong Jang KAIST, Jungin Rhee KAIST, Woojin Lee KAIST, Shuangshuang Zhao KAIST, Jeehoon Kang KAIST
DOI
14:40
20m
Talk
Jacdac: Service-Based Prototyping of Embedded Systems
PLDI Research Papers
Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, James Devine Microsoft, Steve Hodges Lancaster University, Michał Moskal Microsoft Research
DOI
15:00
20m
Talk
Wavefront Threading Enables Effective High-Level Synthesis
PLDI Research Papers
Blake Pelton Microsoft, Adam Sapek Microsoft, Ken Eguro Microsoft, Daniel Lo Microsoft, Alessandro Forin Microsoft, Matt Humphrey Microsoft, Jinwen Xi Microsoft, David Cox Microsoft, Rajas Karandikar Microsoft, Johannes de Fine Licht NextSilicon, Evgeny Babin Microsoft, Adrian Caulfield Microsoft, Doug Burger Microsoft
DOI Pre-print

Wed 26 Jun

Displayed time zone: Windhoek change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Iceland / Denmark

PLDI Research Papers

Quantum

PLDI Research Papers

Formal Verification 1

PLDI Research Papers

Bugs

Thu 27 Jun

Displayed time zone: Windhoek change

Room10:003011:003012:003013:003014:003015:003016:0030
Iceland / Denmark

PLDI Research Papers

Managed Languages

PLDI Research Papers

SIGPLAN + TOPLAS

PLDI Events

Industry session

Fri 28 Jun

Displayed time zone: Windhoek change

Room10:003011:003012:003013:003014:003015:0030
Iceland / Denmark

PLDI Research Papers

Concurrent and Distributed

PLDI Research Papers

Close to the Hardware

Wed 26 Jun

Displayed time zone: Windhoek change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Iceland / Denmark
PLDI Research Papers
Compilation of Qubit Circuits to Optimized Qutrit Circuits
10:40 - 11:00
PLDI Research Papers
Qubit Recycling Revisited
11:00 - 11:20
PLDI Research Papers
The T-Complexity Costs of Error Correction for Control Flow in Quantum ...
11:20 - 11:40
PLDI Research Papers
Compiling Conditional Quantum Gates without Using Helper Qubits
11:40 - 12:00
PLDI Research Papers
An Algebraic Language for Specifying Quantum Networks
12:00 - 12:20
PLDI Research Papers
Towards Trustworthy Automated Program Verifiers: Formally Validating Tr ...
13:40 - 14:00
PLDI Research Papers
Verified Extraction from Coq to OCaml
14:00 - 14:20
PLDI Research Papers
Verification under Intel-x86 with Persistency
14:20 - 14:40
PLDI Research Papers
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
14:40 - 15:00
PLDI Research Papers
Hyperblock Scheduling for Verified High-Level Synthesis
15:00 - 15:20
PLDI Research Papers
Refined Input, Degraded Output: The Counterintuitive World of Compiler ...
16:00 - 16:20
PLDI Research PapersRemote
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug ...
16:20 - 16:40
PLDI Research Papers
Diffy: Data-Driven Bug Finding for Configurations
16:40 - 17:00
PLDI Research Papers
Boosting Compiler Testing by Injecting Real-World Code
17:00 - 17:20

Thu 27 Jun

Displayed time zone: Windhoek change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Iceland / Denmark
PLDI Research Papers
Linear Matching of JavaScript Regular Expressions
10:40 - 11:00
PLDI Research Papers
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability D ...
11:00 - 11:20
PLDI Research Papers
Bringing the WebAssembly Standard up to Speed with SpecTec
11:20 - 11:40
PLDI Research Papers
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
11:40 - 12:00
PLDI Research Papers
Concurrent Immediate Reference Counting
12:00 - 12:20
PLDI Research Papers
[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable S ...
13:40 - 14:00
PLDI Research Papers
[PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When F ...
14:00 - 14:20
PLDI Research Papers
[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
14:20 - 14:40
PLDI Events
Data-race safety for the masses
15:20 - 15:40
PLDI Events
Programming Languages at Huawei
15:40 - 16:00
PLDI Events
Formal reasoning at Amazon Web Services
16:00 - 16:20

Fri 28 Jun

Displayed time zone: Windhoek change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Iceland / Denmark
PLDI Research Papers
A Lightweight Polyglot Code Transformation Language
10:40 - 11:00
PLDI Research Papers
SPORE: Combining Symmetry and Partial Order Reduction
11:00 - 11:20
PLDI Research Papers
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Be ...
11:20 - 11:40
PLDI Research PapersRemote
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based ...
11:40 - 12:00
PLDI Research Papers
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
12:00 - 12:20
PLDI Research Papers
Allo: A Programming Model for Composable Accelerator Design
13:40 - 14:00
PLDI Research Papers
VESTA: Power Modeling with Language Runtime Events
14:00 - 14:20
PLDI Research Papers
Modular Hardware Design of Pipelined Circuits with Hazards
14:20 - 14:40
PLDI Research Papers
Jacdac: Service-Based Prototyping of Embedded Systems
14:40 - 15:00
PLDI Research Papers
Wavefront Threading Enables Effective High-Level Synthesis
15:00 - 15:20