SOAP 2024
Mon 24 - Fri 28 June 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Complete Program
Your Program
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Track/Call
Organization
SOAP 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SOAP 2024
SOAP 2023
SOAP 2022
SOAP 2021
SOAP 2020
SOAP 2019
SOAP 2018
SOAP 2017
SOAP 2016
SOAP 2015
Sign in
Sign up
PLDI 2024
(
series
) /
SOAP 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Sweden
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Sweden
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
Mon 24 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
LiSA
PLDI Tutorials
at
Sweden
09:00
70m
Tutorial
Quick and dirty development of static analyses with LiSA
PLDI Tutorials
Luca Negrini
Ca’ Foscari University of Venice
,
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
Link to publication
Pre-print
10:40 - 12:20
LiSA
PLDI Tutorials
at
Sweden
10:40
1h40m
Tutorial
Quick and dirty development of static analyses with LiSA
PLDI Tutorials
Luca Negrini
Ca’ Foscari University of Venice
,
Pietro Ferrara
Università Ca' Foscari, Venezia, Italy
Link to publication
Pre-print
13:40 - 15:20
Session 1
PLMW@PLDI
at
Sweden
Chair(s):
Anitha Gollamudi
University of Massachusetts Lowell
PLMW Day-1 Session-1
13:40
10m
Day opening
Day opening
PLMW@PLDI
13:50
40m
Social Event
Social Event: PL Cards
PLMW@PLDI
14:30
50m
Social Event
Skill Exchange
PLMW@PLDI
16:00 - 17:40
Session 2
PLMW@PLDI
at
Sweden
Chair(s):
Umang Mathur
National University of Singapore
PLMW Day-1 Session-2
16:00
90m
Other
Open research group positions
PLMW@PLDI
Tue 25 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Session 1
PLMW@PLDI
at
Sweden
Chair(s):
Anitha Gollamudi
University of Massachusetts Lowell
09:00
10m
Talk
Opening Remarks
PLMW@PLDI
Anitha Gollamudi
University of Massachusetts Lowell
09:10
60m
Talk
Thoughts on the interplay between corporate, government, and university R&D
PLMW@PLDI
Byron Cook
Amazon
10:40 - 12:20
Session 2
PLMW@PLDI
at
Sweden
Chair(s):
Marco Vassena
Utrecht University
10:40
30m
Talk
Letting users do the undecidable: lessons from program synthesis
PLMW@PLDI
Hila Peleg
Technion
11:10
30m
Talk
A Tale of Shared Memory Concurrency in Programming Languages
PLMW@PLDI
Soham Chakraborty
TU Delft
11:40
40m
Talk
How to read a PL-security paper
PLMW@PLDI
Aslan Askarov
Aarhus University
13:40 - 15:30
Session 3
PLMW@PLDI
at
Sweden
Chair(s):
Alexa VanHattum
Wellesley College
13:40
50m
Panel
Panel: PL and Beyond
PLMW@PLDI
P:
Jens Palsberg
University of California, Los Angeles (UCLA)
,
P:
Saman Amarasinghe
Massachusetts Institute of Technology
,
P:
Sukyoung Ryu
KAIST
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Nate Foster
Cornell University and Jane Street
,
M:
Umang Mathur
National University of Singapore
14:30
30m
Talk
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
PLMW@PLDI
Farnaz Behrang
Uber
15:00
30m
Talk
A Tour of Program Optimization
PLMW@PLDI
Max Willsey
UC Berkeley
16:00 - 18:00
Session 4
PLMW@PLDI
at
Sweden
Chair(s):
Umang Mathur
National University of Singapore
16:00
45m
Talk
Uncertainty and my scientific journey
PLMW@PLDI
Aws Albarghouthi
University of Wisconsin-Madison
16:45
60m
Panel
Panel: Career Paths in PL
PLMW@PLDI
P:
Alexa VanHattum
Wellesley College
,
P:
Işıl Dillig
University of Texas at Austin
,
P:
Conrad Watt
Nanyang Technological University
,
P:
Gilles Barthe
MPI-SP; IMDEA Software Institute
,
P:
David Pichardie
Meta
,
P:
Manu Sridharan
University of California at Riverside
,
M:
Anitha Gollamudi
University of Massachusetts Lowell
17:45
15m
Talk
Conclusion
PLMW@PLDI
Wed 26 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Parsing and Compiling and Transforming
PLDI Research Papers
at
Sweden
Chair(s):
Stephen Kell
University of Kent
10:40
20m
Talk
Daedalus: Safer Document Parsing
PLDI Research Papers
Iavor Diatchki
Galois, Inc.
,
Mike Dodds
Galois, Inc.
,
Harrison Goldstein
University of Pennsylvania
,
Bill Harris
Galois
,
David Holland
Galois
,
Benoit Razet
Galois, Inc
,
Cole Schlesinger
Galois
,
Simon Winwood
Galois
DOI
11:00
20m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
PLDI Research Papers
Avery Laird
University of Toronto
,
Bangtian Liu
University of Toronto
,
Nikolaj Bjørner
Microsoft Research
,
Maryam Mehri Dehnavi
University of Toronto
DOI
Pre-print
11:20
20m
Talk
[TOPLAS] Choral: Object-Oriented Choreographic Programming
PLDI Research Papers
Saverio Giallorenzo
Alma Mater Studiorum - Università di Bologna / INRIA
,
Fabrizio Montesi
University of Southern Denmark
,
Marco Peressotti
University of Southern Denmark
Link to publication
DOI
11:40
20m
Talk
Compiling with Abstract Interpretation
PLDI Research Papers
Dorian Lesbre
CEA List
,
Matthieu Lemerre
Université Paris-Saclay - CEA LIST
DOI
12:00
20m
Talk
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
PLDI Research Papers
Jaemin Hong
KAIST
,
Sukyoung Ryu
KAIST
DOI
13:40 - 15:20
Types and Effects
PLDI Research Papers
at
Sweden
Chair(s):
Yizhou Zhang
University of Waterloo
13:40
20m
Talk
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
PLDI Research Papers
Atsushi Igarashi
Kyoto University
,
Shota Ozaki
Kyoto University
,
Taro Sekiyama
National Institute of Informatics
,
Yudai Tanabe
Tokyo Institute of Technology
DOI
14:00
20m
Talk
Associated Effects
PLDI Research Papers
Matthew Lutze
Aarhus University
,
Magnus Madsen
Aarhus University
DOI
14:20
20m
Talk
Decidable Subtyping of Existential Types for Julia
PLDI Research Papers
Julia Belyakova
Purdue University
,
Benjamin Chung
JuliaHub
,
Ross Tate
Independent Consultant
,
Jan Vitek
Northeastern University
DOI
14:40
20m
Talk
Numerical Fuzz: A Type System for Rounding Error Analysis
PLDI Research Papers
Ariel E. Kellison
Cornell University
,
Justin Hsu
Cornell University
DOI
15:00
20m
Talk
Stream Types
PLDI Research Papers
Joseph W. Cutler
University of Pennsylvania
,
Chris Watson
University of Pennsylvania
,
Emeka Nkurumeh
California Institute of Technology
,
Phillip Hilliard
University of Pennsylvania
,
Harrison Goldstein
University of Pennsylvania
,
Caleb Stanford
University of California, Davis
,
Benjamin C. Pierce
University of Pennsylvania
DOI
16:00 - 17:20
Fast Linear Algebra
PLDI Research Papers
at
Sweden
Chair(s):
Zachary Tatlock
University of Washington
16:00
20m
Talk
A Verified Compiler for a Functional Tensor Language
PLDI Research Papers
Amanda Liu
Massachusetts Institute of Technology
,
Gilbert Bernstein
University of Washington, Seattle
,
Adam Chlipala
Massachusetts Institute of Technology
,
Jonathan Ragan-Kelley
Massachusetts Institute of Technology
DOI
16:20
20m
Talk
[TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphism
PLDI Research Papers
Ari Rasch
University of Muenster
Link to publication
DOI
Pre-print
Media Attached
16:40
20m
Talk
Compilation of Modular and General Sparse Workspaces
PLDI Research Papers
Genghan Zhang
Stanford University
,
Olivia Hsu
Stanford University
,
Fredrik Kjolstad
Stanford University
DOI
17:00
20m
Talk
Descend: A Safe GPU Systems Programming Language
PLDI Research Papers
Bastian Köpcke
University of Münster
,
Sergei Gorlatch
University of Muenster
,
Michel Steuwer
Technische Universität Berlin
DOI
Pre-print
Thu 27 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Grammars and Code and Formalisms
PLDI Research Papers
at
Sweden
Chair(s):
Nadia Polikarpova
University of California at San Diego
10:40
20m
Talk
Equivalence by Canonicalization for Synthesis-Backed Refactoring
PLDI Research Papers
Justin Lubin
University of California at Berkeley
,
Jeremy Ferguson
University of California-Berkeley
,
Kevin Ye
University of California at Berkeley
,
Jacob Yim
UC Berkeley
,
Sarah E. Chasins
University of California at Berkeley
DOI
11:00
20m
Talk
PL4XGL: A Programming Language Approach to Explainable Graph Learning
PLDI Research Papers
Minseok Jeon
Korea University
,
Jihyeok Park
Korea University
,
Hakjoo Oh
Korea University
DOI
11:20
20m
Talk
Syntactic Code Search with Sequence-to-Tree Matching
PLDI Research Papers
Gabriel Matute
UC Berkeley
,
Wode Ni
Columbia University
,
Titus Barik
Apple
,
Alvin Cheung
University of California at Berkeley
,
Sarah E. Chasins
University of California at Berkeley
DOI
11:40
20m
Talk
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
PLDI Research Papers
Xiaodong Jia
Pennsylvania State University
,
Gang (Gary) Tan
Pennsylvania State University
DOI
12:00
20m
Talk
Hashing Modulo Context-Sensitive Alpha-Equivalence
PLDI Research Papers
Lasse Blaauwbroek
Czech Institute for Informatics Robotics and Cybernetics
,
Miroslav Olšák
Institut des Hautes Études Scientifiques
,
Herman Geuvers
Radboud University Nijmegen, Netherlands
DOI
Pre-print
13:40 - 14:40
Solvers for Fun and Profit
PLDI Research Papers
at
Sweden
Chair(s):
Santosh Nagarakatte
Rutgers University
13:40
20m
Talk
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
PLDI Research Papers
Elvira Albert
Complutense University of Madrid
,
Maria Garcia de la Banda
Monash University
,
Alejandro Hernández-Cerezo
Complutense University of Madrid
,
Alexey Ignatiev
Monash University
,
Albert Rubio
Complutense University of Madrid
,
Peter J. Stuckey
Monash University
DOI
14:00
20m
Talk
Inductive Approach to Spacer
PLDI Research Papers
Takeshi Tsukada
Chiba University
,
Hiroshi Unno
Tohoku University
DOI
14:20
20m
Talk
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
PLDI Research Papers
Benjamin Mikek
Georgia Institute of Technology
,
Qirun Zhang
Georgia Institute of Technology
DOI
15:20 - 16:30
European Research Council
PLDI Events
at
Sweden
15:20
70m
Talk
European Research Council Funding Opportunities
PLDI Events
Fabrizio Montesi
University of Southern Denmark
,
Mikaela Poulymenopoulou
European Research Council Executive Agency
,
Jian-Jia Chen
TU Dortmund University
File Attached
Fri 28 Jun
Displayed time zone:
Windhoek
change
10:40 - 12:20
Program Analysis 1
PLDI Research Papers
at
Sweden
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
10:40
20m
Talk
[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
PLDI Research Papers
Benno Stein
SkipLabs
,
Bor-Yuh Evan Chang
University of Colorado Boulder & Amazon
,
Manu Sridharan
University of California at Riverside
DOI
11:00
20m
Talk
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
PLDI Research Papers
Mafalda Ferreira
INESC-ID / Instituto Superior Técnico, Universidade de Lisboa
,
Miguel Monteiro
INESC-ID and Universidade de Lisboa
,
Tiago Brito
INESC-ID and Universidade de Lisboa
,
Miguel E. Coimbra
INESC-ID and Universidade de Lisboa
,
Nuno Santos
INESC-ID / Instituto Superior Tecnico, University of Lisbon
,
Limin Jia
,
José Fragoso Santos
INESC-ID/Instituto Superior Técnico, Portugal
DOI
Pre-print
11:20
20m
Talk
Floating-Point TVPI Abstract Domain
Remote
PLDI Research Papers
Joao Rivera
ETH Zurich
,
Franz Franchetti
Carnegie Mellon University, USA
,
Markus Püschel
ETH Zurich
DOI
11:40
20m
Talk
Reducing Static Analysis Unsoundness with Approximate Interpretation
PLDI Research Papers
Mathias Rud Laursen
Aarhus University
,
Wenyuan Xu
Aarhus University
,
Anders Møller
Aarhus University
DOI
12:00
20m
Talk
Falcon: A Scalable Analytical Cache Model
PLDI Research Papers
Arjun Pitchanathan
University of Edinburgh
,
Kunwar Grover
AMD
,
Tobias Grosser
University of Cambridge, UK
DOI
13:40 - 15:20
Program Analysis 2
PLDI Research Papers
at
Sweden
Chair(s):
Anders Møller
Aarhus University
13:40
20m
Talk
Scaling Type-Based Points-to Analysis with Saturation
PLDI Research Papers
Christian Wimmer
Oracle Labs
,
Codrut Stancu
Oracle Labs
,
David Kozak
Brno University of Technology & Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
DOI
Pre-print
14:00
20m
Talk
Program Analysis for Adaptive Data Analysis
PLDI Research Papers
Jiawen Liu
,
Weihao Qu
Monmouth University
,
Marco Gaboardi
Boston University
,
Deepak Garg
MPI-SWS
,
Jonathan Ullman
Northeastern University
DOI
14:20
20m
Talk
Robust Resource Bounds with Static Analysis and Bayesian Inference
PLDI Research Papers
Long Pham
Carnegie Mellon University
,
Feras Saad
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
DOI
14:40
20m
Talk
Context-Free Language Reachability via Skewed Tabulation
PLDI Research Papers
Yuxiang Lei
UNSW Sydney
,
Camille Bossut
Georgia Institute of Technology
,
Yulei Sui
UNSW Sydney
,
Qirun Zhang
Georgia Institute of Technology
DOI
15:00
20m
Talk
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
PLDI Research Papers
Konstantinos Mamouras
Rice University
,
Alexis Le Glaunec
Rice University
,
Wu Angela Li
Rice University
,
Agnishom Chattopadhyay
Rice University
DOI
Mon 24 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
Sweden
PLDI Tutorials
LiSA
PLDI Tutorials
LiSA
PLMW@PLDI
Session 1
PLMW@PLDI
Session 2
Tue 25 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
Sweden
PLMW@PLDI
Session 1
PLMW@PLDI
Session 2
PLMW@PLDI
Session 3
PLMW@PLDI
Session 4
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
Sweden
PLDI Research Papers
PLDI Research Papers
Parsing and Compiling and Transforming
PLDI Research Papers
Types and Effects
PLDI Research Papers
Fast Linear Algebra
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
Sweden
PLDI Research Papers
PLDI Research Papers
Grammars and Code and Formalisms
PLDI Research Papers
Solvers for Fun and Profit
PLDI Events
European Research Council
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
Sweden
PLDI Research Papers
PLDI Research Papers
Program Analysis 1
PLDI Research Papers
Program Analysis 2
Mon 24 Jun
Displayed time zone:
Windhoek
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
Sweden
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
09:00 - 10:10
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
10:40 - 12:20
PLMW@PLDI
Day opening
13:40 - 13:50
PLMW@PLDI
Social Event: PL Cards
13:50 - 14:30
PLMW@PLDI
Skill Exchange
14:30 - 15:20
PLMW@PLDI
Open research group positions
16:00 - 17:30
Tue 25 Jun
Displayed time zone:
Windhoek
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
Sweden
PLMW@PLDI
Opening Remarks
09:00 - 09:10
PLMW@PLDI
Thoughts on the interplay between corporate, government, and university R&D
09:10 - 10:10
PLMW@PLDI
Letting users do the undecidable: lessons from program synthesis
10:40 - 11:10
PLMW@PLDI
A Tale of Shared Memory Concurrency in Programming Languages
11:10 - 11:40
PLMW@PLDI
How to read a PL-security paper
11:40 - 12:20
PLMW@PLDI
Panel: PL and Beyond
13:40 - 14:30
PLMW@PLDI
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
14:30 - 15:00
PLMW@PLDI
A Tour of Program Optimization
15:00 - 15:30
PLMW@PLDI
Uncertainty and my scientific journey
16:00 - 16:45
PLMW@PLDI
Panel: Career Paths in PL
16:45 - 17:45
PLMW@PLDI
Conclusion
17:45 - 18:00
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
Sweden
PLDI Research Papers
Daedalus: Safer Document Parsing
10:40 - 11:00
PLDI Research Papers
SpEQ: Translation of Sparse Codes using Equivalences
11:00 - 11:20
PLDI Research Papers
[TOPLAS] Choral: Object-Oriented Choreographic Programming
11:20 - 11:40
PLDI Research Papers
Compiling with Abstract Interpretation
11:40 - 12:00
PLDI Research Papers
Don’t Write, but Return: Replacing Output Parameters with Algebraic Dat ...
12:00 - 12:20
PLDI Research Papers
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
13:40 - 14:00
PLDI Research Papers
Associated Effects
14:00 - 14:20
PLDI Research Papers
Decidable Subtyping of Existential Types for Julia
14:20 - 14:40
PLDI Research Papers
Numerical Fuzz: A Type System for Rounding Error Analysis
14:40 - 15:00
PLDI Research Papers
Stream Types
15:00 - 15:20
PLDI Research Papers
A Verified Compiler for a Functional Tensor Language
16:00 - 16:20
PLDI Research Papers
[TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Di ...
16:20 - 16:40
PLDI Research Papers
Compilation of Modular and General Sparse Workspaces
16:40 - 17:00
PLDI Research Papers
Descend: A Safe GPU Systems Programming Language
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
Sweden
PLDI Research Papers
Equivalence by Canonicalization for Synthesis-Backed Refactoring
10:40 - 11:00
PLDI Research Papers
PL4XGL: A Programming Language Approach to Explainable Graph Learning
11:00 - 11:20
PLDI Research Papers
Syntactic Code Search with Sequence-to-Tree Matching
11:20 - 11:40
PLDI Research Papers
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
11:40 - 12:00
PLDI Research Papers
Hashing Modulo Context-Sensitive Alpha-Equivalence
12:00 - 12:20
PLDI Research Papers
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint- ...
13:40 - 14:00
PLDI Research Papers
Inductive Approach to Spacer
14:00 - 14:20
PLDI Research Papers
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded ...
14:20 - 14:40
PLDI Events
European Research Council Funding Opportunities
15:20 - 16:30
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
Sweden
PLDI Research Papers
[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
10:40 - 11:00
PLDI Research Papers
Efficient Static Vulnerability Analysis for JavaScript with Multiversio ...
11:00 - 11:20
PLDI Research Papers
Remote
Floating-Point TVPI Abstract Domain
11:20 - 11:40
PLDI Research Papers
Reducing Static Analysis Unsoundness with Approximate Interpretation
11:40 - 12:00
PLDI Research Papers
Falcon: A Scalable Analytical Cache Model
12:00 - 12:20
PLDI Research Papers
Scaling Type-Based Points-to Analysis with Saturation
13:40 - 14:00
PLDI Research Papers
Program Analysis for Adaptive Data Analysis
14:00 - 14:20
PLDI Research Papers
Robust Resource Bounds with Static Analysis and Bayesian Inference
14:20 - 14:40
PLDI Research Papers
Context-Free Language Reachability via Skewed Tabulation
14:40 - 15:00
PLDI Research Papers
Static Analysis for Checking the Disambiguation Robustness of Regular E ...
15:00 - 15:20
x
Thu 14 Nov 15:36