Infer 2024
Mon 24 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Complete Program
Your Program
Mon 24 Jun
Track/Call
Organization
Infer 2024 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Infer 2024
Infer 2023
Infer 2022
Infer Practitioners 2021
Infer Practitioners 2020
Sign in
Sign up
PLDI 2024
(
series
) /
Infer 2024 (
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 14 Nov 08:25