Infer 2024
Mon 24 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
PLDI 2024 (series) / Infer 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Sweden

VenueRadisson Blu Scandinavia, Copenhagen
Room nameSweden
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

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
LiSAPLDI 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
LiSAPLDI 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 1PLMW@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 2PLMW@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 1PLMW@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 2PLMW@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 3PLMW@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 4PLMW@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 EffectsPLDI 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 AlgebraPLDI 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 FormalismsPLDI 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 ProfitPLDI 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 CouncilPLDI 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 1PLDI 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 DomainRemote
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 2PLDI 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sweden

PLDI Tutorials

LiSA

PLDI Tutorials

LiSA

PLMW@PLDI

Session 1

PLMW@PLDI

Session 2

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
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

Room9:003010:003011:003012:003013:003014:003015:0030
Sweden

PLDI Research Papers

PLDI Research Papers

Program Analysis 1

PLDI Research Papers

Program Analysis 2

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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 PapersRemote
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