PODELSKI
Tue 25 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
PODELSKI Program
Your Program
Tue 25 Jun
Track/Call
Organization
PODELSKI Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2024
(
series
) /
PODELSKI (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Iceland / Denmark
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Iceland / Denmark
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Windhoek
.
Use conference time zone: (GMT+02:00) Windhoek
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Wed 26 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Quantum
PLDI 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 1
PLDI 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
Bugs
PLDI 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 Finding
Remote
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 Languages
PLDI 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 + TOPLAS
PLDI 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 session
PLDI 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 Distributed
PLDI 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 Proofs
Remote
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 Hardware
PLDI 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
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
Iceland / Denmark
PLDI Research Papers
Quantum
PLDI Research Papers
Formal Verification 1
PLDI Research Papers
Bugs
Thu 27 Jun
Displayed time zone:
Windhoek
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Iceland / Denmark
PLDI Research Papers
Managed Languages
PLDI Research Papers
SIGPLAN + TOPLAS
PLDI Events
Industry session
Fri 28 Jun
Displayed time zone:
Windhoek
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Iceland / Denmark
PLDI Research Papers
Concurrent and Distributed
PLDI Research Papers
Close to the Hardware
Wed 26 Jun
Displayed time zone:
Windhoek
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
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 Papers
Remote
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
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
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
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
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 Papers
Remote
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
x
Thu 21 Nov 19:52