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: Finland / Norway
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Finland / Norway
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
Probabilistic Programming
PLDI Research Papers
at
Finland / Norway
Chair(s):
Jeremy G. Siek
Indiana University, USA
10:40
20m
Talk
Bit Blasting Probabilistic Programs
PLDI Research Papers
Poorva Garg
University of California, Los Angeles
,
Steven Holtzen
Northeastern University
,
Guy Van den Broeck
University of California at Los Angeles
,
Todd Millstein
University of California at Los Angeles
DOI
11:00
20m
Talk
Compiling Probabilistic Programs for Variable Elimination with Information Flow
PLDI Research Papers
Jianlin Li
University of Waterloo
,
Eric Wang
University of Waterloo
,
Yizhou Zhang
University of Waterloo
DOI
11:20
20m
Talk
Equivalence and Similarity Refutation for Probabilistic Programs
PLDI Research Papers
Krishnendu Chatterjee
IST Austria
,
Ehsan Kafshdar Goharshady
IST Austria
,
Petr Novotný
Masaryk University
,
Đorđe Žikelić
Singapore Management University, Singapore
DOI
11:40
20m
Talk
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
PLDI Research Papers
Mathieu Huot
MIT
,
Matin Ghavami
Massachusetts Institute of Technology
,
Alexander K. Lew
Massachusetts Institute of Technology
,
Ulrich Schaechtle
Digital Garage
,
Cameron Freer
Massachusetts Institute of Technology
,
Zane Shelby
Digital Garage
,
Martin Rinard
MIT
,
Feras Saad
Carnegie Mellon University
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
12:00
20m
Talk
Probabilistic Programming with Programmable Variational Inference
PLDI Research Papers
McCoy Reynolds Becker
MIT
,
Alexander K. Lew
Massachusetts Institute of Technology
,
Xiaoyan Wang
Massachusetts Institute of Technology
,
Matin Ghavami
Massachusetts Institute of Technology
,
Mathieu Huot
MIT
,
Martin Rinard
MIT
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
13:40 - 15:20
Pot Pourri 1
PLDI Research Papers
at
Finland / Norway
Chair(s):
Steve Blackburn
Google and Australian National University
13:40
20m
Talk
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
PLDI Research Papers
Peixin Wang
University of Oxford
,
Tengshun Yang
SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
,
Hongfei Fu
Shanghai Jiao Tong University
,
Guanyan Li
University of Oxford
,
C.-H. Luke Ong
NTU
DOI
14:00
20m
Talk
Consolidating Smart Contracts with Behavioral Contracts
PLDI Research Papers
Guannan Wei
Purdue University
,
Danning Xie
Purdue University
,
Wuqi Zhang
The Hong Kong University of Science and Technology
,
Yongwei Yuan
Purdue University
,
Zhuo Zhang
Purdue University
DOI
14:20
20m
Talk
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
PLDI Research Papers
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Christopher Rinard
Massachusetts Institute of Technology
,
Manya Ghobadi
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
DOI
14:40
20m
Talk
KATch: A Fast Symbolic Verifier for NetKAT
PLDI Research Papers
Mark Moeller
Cornell University
,
Jules Jacobs
Cornell University
,
Olivier Savary Bélanger
Galois, Inc.
,
David Darais
Galois
,
Cole Schlesinger
Galois
,
Steffen Smolka
Google
,
Nate Foster
Cornell University and Jane Street
,
Alexandra Silva
Cornell University
DOI
16:00 - 17:20
Security and Cryptography
PLDI Research Papers
at
Finland / Norway
Chair(s):
Klaus v. Gleissenthall
Vrije Universiteit Amsterdam, Netherlands
16:00
20m
Talk
A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
PLDI Research Papers
Nikola Samardzic
Massachusetts Institute of Technology
,
Aleksandar Krastev
Massachusetts Institute of Technology
,
Simon Langowski
Massachusetts Institute of Technology
,
Srinivas Devadas
Massachusetts Institute of Technology
,
Daniel Sanchez
MIT
DOI
16:20
20m
Talk
Quantitative Robustness for Vulnerability Assessment
PLDI Research Papers
Guillaume Girol
CEA, List, Université Paris Saclay
,
Guilhem Lacombe
CEA LIST and Université Paris-Saclay
,
Sébastien Bardin
CEA LIST, University Paris-Saclay
DOI
16:40
20m
Talk
Quest Complete: The Holy Grail of Gradual Security
PLDI Research Papers
Tianyu Chen
Indiana University
,
Jeremy G. Siek
Indiana University, USA
DOI
Pre-print
17:00
20m
Talk
Foundational Integration Verification of a Cryptographic Server
PLDI Research Papers
Andres Erbsen
Google
,
Jade Philipoom
Google, Germany
,
Dustin Jamner
MIT CSAIL
,
Ashley Lin
Massachusetts Institute of Technology
,
Samuel Gruetter
Massachusetts Institute of Technology
,
Clément Pit-Claudel
EPFL
,
Adam Chlipala
Massachusetts Institute of Technology
DOI
Thu 27 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Formally Verified
PLDI Research Papers
at
Finland / Norway
Chair(s):
Peter Müller
ETH Zurich
10:40
20m
Talk
The Functional Essence of Imperative Binary Search Trees
PLDI Research Papers
Anton Lorenzen
University of Edinburgh
,
Daan Leijen
Microsoft Research
,
Wouter Swierstra
Utrecht University, Netherlands
,
Sam Lindley
University of Edinburgh
DOI
Pre-print
11:00
20m
Talk
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
PLDI Research Papers
Simon Spies
MPI-SWS
,
Lennard Gäher
MPI-SWS
,
Michael Sammler
MPI-SWS
,
Derek Dreyer
MPI-SWS
DOI
Pre-print
11:20
20m
Talk
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
PLDI Research Papers
Mridul Aanjaneya
Rutgers University
,
Santosh Nagarakatte
Rutgers University
DOI
Pre-print
11:40
20m
Talk
Live Verification in an Interactive Proof Assistant
PLDI Research Papers
Samuel Gruetter
Massachusetts Institute of Technology
,
Viktor Fukala
Massachusetts Institute of Technology
,
Adam Chlipala
Massachusetts Institute of Technology
DOI
12:00
20m
Talk
Predictable Verification using Intrinsic Definitions
PLDI Research Papers
Adithya Murali
University of Illinois at Urbana-Champaign
,
Cody Rivera
University of Illinois at Urbana-Champaign
,
P. Madhusudan
University of Illinois at Urbana-Champaign
DOI
13:40 - 14:40
Formal Verification 2
PLDI Research Papers
at
Finland / Norway
Chair(s):
Clément Pit-Claudel
EPFL
13:40
20m
Talk
Mechanised Hypersafety Proofs about Structured Data
PLDI Research Papers
Vladimir Gladshtein
National University of Singapore
,
Qiyuan Zhao
National University of Singapore
,
Willow Ahrens
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
,
Ilya Sergey
National University of Singapore
DOI
Pre-print
14:00
20m
Talk
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
PLDI Research Papers
Thibault Dardinier
ETH Zurich
,
Peter Müller
ETH Zurich
DOI
14:20
20m
Talk
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
PLDI Research Papers
Zhe Zhou
Purdue University
,
Qianchuan Ye
Purdue University
,
Benjamin Delaware
Purdue University
,
Suresh Jagannathan
Purdue University
DOI
15:20 - 17:00
Finals
PLDI SRC
at
Finland / Norway
15:20
1h40m
Other
SRC Finals
PLDI SRC
Fri 28 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Synthesis
PLDI Research Papers
at
Finland / Norway
10:40
20m
Talk
From Batch to Stream: Automatic Generation of Online Algorithms
PLDI Research Papers
Ziteng Wang
University of Texas at Austin
,
Shankara Pailoor
University of Texas at Austin
,
Aaryan Prakash
University of Texas at Austin
,
Yuepeng Wang
Simon Fraser University
,
Işıl Dillig
University of Texas at Austin
DOI
11:00
20m
Talk
[TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
PLDI Research Papers
Ruyi Ji
Peking University
,
Yuwei Zhao
Peking University
,
Yingfei Xiong
Peking University
,
Di Wang
Peking University
,
Lu Zhang
Peking University
,
Zhenjiang Hu
Peking University
11:20
20m
Talk
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI Research Papers
Ruyi Ji
Peking University
,
Yuwei Zhao
Peking University
,
Nadia Polikarpova
University of California at San Diego
,
Yingfei Xiong
Peking University
,
Zhenjiang Hu
Peking University
DOI
11:40
20m
Talk
Recursive Program Synthesis using Paramorphisms
Remote
PLDI Research Papers
Qiantan Hong
Stanford University
,
Alex Aiken
Stanford University
DOI
12:00
20m
Talk
Reward-Guided Synthesis of Intelligent Agents with Control Structures
Remote
PLDI Research Papers
Guofeng Cui
Rutgers University
,
Yuning Wang
Rutgers University
,
Wenjie Qiu
Rutgers University
,
He Zhu
Rutgers University, USA
DOI
13:40 - 15:20
Pot Pourri 2
PLDI Research Papers
at
Finland / Norway
Chair(s):
Caleb Stanford
University of California, Davis
13:40
20m
Talk
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI Research Papers
Peisen Yao
Zhejiang University
,
Jinguo Zhou
Ant Group
,
Xiao Xiao
Ant Group
,
Qingkai Shi
Nanjing University
,
Rongxin Wu
School of Informatics, Xiamen University
,
Charles Zhang
The Hong Kong University of Science and Technology
DOI
14:00
20m
Talk
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
PLDI Research Papers
Sunho Park
KAIST
,
Jaewoo Kim
KAIST
,
Ike Mulder
Radboud University Nijmegen
,
Jaehwang Jung
KAIST
,
Janggun Lee
KAIST
,
Robbert Krebbers
Radboud University Nijmegen
,
Jeehoon Kang
KAIST
DOI
14:20
20m
Talk
Compositional Semantics for Shared-Variable Concurrency
PLDI Research Papers
Mikhail Svyatlovskiy
Tel Aviv University
,
Shai Mermelstein
Tel Aviv University
,
Ori Lahav
Tel Aviv University
DOI
14:40
20m
Talk
Input-Relational Verification of Deep Neural Networks
PLDI Research Papers
Debangshu Banerjee
University of Illinois at Urbana-Champaign
,
Changming Xu
University of Illinois at Urbana-Champaign
,
Gagandeep Singh
University of Illinois at Urbana-Champaign
DOI
15:00
20m
Talk
Automated Verification of Fundamental Algebraic Laws
PLDI Research Papers
George Zakhour
University of St. Gallen
,
Pascal Weisenburger
University of St. Gallen
,
Guido Salvaneschi
University of St. Gallen
DOI
Wed 26 Jun
Displayed time zone:
Windhoek
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
Finland / Norway
PLDI Research Papers
PLDI Research Papers
Probabilistic Programming
PLDI Research Papers
Pot Pourri 1
PLDI Research Papers
Security and Cryptography
Thu 27 Jun
Displayed time zone:
Windhoek
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
Finland / Norway
PLDI Research Papers
PLDI Research Papers
Formally Verified
PLDI Research Papers
Formal Verification 2
PLDI SRC
Finals
Fri 28 Jun
Displayed time zone:
Windhoek
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Finland / Norway
PLDI Research Papers
PLDI Research Papers
Synthesis
PLDI Research Papers
Pot Pourri 2
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
Finland / Norway
PLDI Research Papers
Bit Blasting Probabilistic Programs
10:40 - 11:00
PLDI Research Papers
Compiling Probabilistic Programs for Variable Elimination with Informat ...
11:00 - 11:20
PLDI Research Papers
Equivalence and Similarity Refutation for Probabilistic Programs
11:20 - 11:40
PLDI Research Papers
GenSQL: A Probabilistic Programming System for Querying Generative Mode ...
11:40 - 12:00
PLDI Research Papers
Probabilistic Programming with Programmable Variational Inference
12:00 - 12:20
PLDI Research Papers
Static Posterior Inference of Bayesian Probabilistic Programming via Po ...
13:40 - 14:00
PLDI Research Papers
Consolidating Smart Contracts with Behavioral Contracts
14:00 - 14:20
PLDI Research Papers
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
14:20 - 14:40
PLDI Research Papers
KATch: A Fast Symbolic Verifier for NetKAT
14:40 - 15:00
PLDI Research Papers
A Tensor Compiler with Automatic Data Packing for Simple and Efficient ...
16:00 - 16:20
PLDI Research Papers
Quantitative Robustness for Vulnerability Assessment
16:20 - 16:40
PLDI Research Papers
Quest Complete: The Holy Grail of Gradual Security
16:40 - 17:00
PLDI Research Papers
Foundational Integration Verification of a Cryptographic Server
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
Finland / Norway
PLDI Research Papers
The Functional Essence of Imperative Binary Search Trees
10:40 - 11:00
PLDI Research Papers
Quiver: Guided Abductive Inference of Separation Logic Specifications i ...
11:00 - 11:20
PLDI Research Papers
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimension ...
11:20 - 11:40
PLDI Research Papers
Live Verification in an Interactive Proof Assistant
11:40 - 12:00
PLDI Research Papers
Predictable Verification using Intrinsic Definitions
12:00 - 12:20
PLDI Research Papers
Mechanised Hypersafety Proofs about Structured Data
13:40 - 14:00
PLDI Research Papers
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
14:00 - 14:20
PLDI Research Papers
A HAT Trick: Automatically Verifying Representation Invariants using Sy ...
14:20 - 14:40
PLDI SRC
SRC Finals
15:20 - 17:00
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
Finland / Norway
PLDI Research Papers
From Batch to Stream: Automatic Generation of Online Algorithms
10:40 - 11:00
PLDI Research Papers
[TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmi ...
11:00 - 11:20
PLDI Research Papers
Superfusion: Eliminating Intermediate Data Structures via Inductive Syn ...
11:20 - 11:40
PLDI Research Papers
Remote
Recursive Program Synthesis using Paramorphisms
11:40 - 12:00
PLDI Research Papers
Remote
Reward-Guided Synthesis of Intelligent Agents with Control Structures
12:00 - 12:20
PLDI Research Papers
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
13:40 - 14:00
PLDI Research Papers
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
14:00 - 14:20
PLDI Research Papers
Compositional Semantics for Shared-Variable Concurrency
14:20 - 14:40
PLDI Research Papers
Input-Relational Verification of Deep Neural Networks
14:40 - 15:00
PLDI Research Papers
Automated Verification of Fundamental Algebraic Laws
15:00 - 15:20
x
Thu 21 Nov 19:30