PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
PLDI 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Finland

VenueRadisson Blu Scandinavia, Copenhagen
Room nameFinland
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
Welcome and KeynoteCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark
09:00
10m
Day opening
Opening
CP
Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA
09:10
60m
Keynote
Choreographic Programming: its essence, beauty, and necessity
CP
K: Fabrizio Montesi University of Southern Denmark
Media Attached
10:40 - 12:20
Theory & VerificationCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA
10:40
20m
Talk
A Propositional Dynamic Logic for Choreographies
CP
Matteo Acclavio University of Sussex, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
Pre-print Media Attached File Attached
11:00
20m
Talk
Choreographic Programming in Modal Type Theory
CP
Maxim Urschumzew None, Miëtek Bak
Media Attached
11:20
20m
Talk
Choreographies meet Communication Failures
CP
Eva Graversen University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
Media Attached
11:40
20m
Talk
Corps: A Core Calculus of Hierarchical Choreographic Programming
CP
Andrew K. Hirsch University at Buffalo, SUNY
Pre-print Media Attached File Attached
12:00
20m
Talk
Masquerade: Information Flow Control for Choreographies
CP
Michael Piskozub University at Buffalo, SUNY, Ethan Cecchetti University of Wisconsin-Madison, Andrew K. Hirsch University at Buffalo, SUNY
13:40 - 15:20
Languages & VerificationCP at Finland
Chair(s): Lindsey Kuper University of California, Santa Cruz
13:40
20m
Talk
A Probabilistic Choreography Language for PRISM
CP
Marco Carbone IT University of Copenhagen, Adele Veschetti Technische Universität Darmstadt
Media Attached
14:00
20m
Talk
A Function-as-a-Service Choreographic Programming Language: Examples and Applications
CP
Giuseppe De Palma Department of Computer Science and Engineering - Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Jacopo Mauro University of Southern Denmark, Matteo Trentin Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
Pre-print
14:20
20m
Talk
Exploring Algebraic Placement in Multiparty Languages
CP
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
Pre-print Media Attached
14:40
20m
Talk
Poroutines: The Essence of Choreographic Programming?
CP
Dan Plyukhin University of Southern Denmark
15:00
20m
Talk
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
CP
Mako P. Bates University of Vermont, Joseph P. Near University of Vermont
Pre-print Media Attached
16:00 - 17:40
LibrariesCP at Finland
Chair(s): Marco Peressotti University of Southern Denmark
16:00
20m
Talk
ChoRus: Library-Level Choreographic Programming in Rust
CP
Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz
Pre-print Media Attached
16:20
20m
Talk
Klor: Choreographies for the Working Clojurian
CP
Lovro Lugović University of Southern Denmark, Sung-Shik Jongmans Open University of the Netherlands; CWI
Media Attached
16:40
20m
Talk
Suki: Choreographed Distributed Dataflow in Rust
CP
Shadaj Laddad University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein UC Berkeley
Pre-print Media Attached
17:00
20m
Talk
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
CP
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California, Santa Cruz
Pre-print Media Attached
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Marco Peressotti University of Southern Denmark

Tue 25 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
What are we doing?Sparse at Finland
Chair(s): Fredrik Kjolstad Stanford University
09:00
10m
Talk
Welcome / Intro
Sparse
Saman Amarasinghe Massachusetts Institute of Technology
09:10
20m
Talk
Practical Considerations for Embracing Sparse Computation
Sparse
Shoaib Kamil Adobe Research
09:30
20m
Talk
When Are We Done Optimizing?
Sparse
Gilbert Bernstein University of Washington, Seattle
09:50
20m
Panel
Panel: What are we doing?
Sparse
Saman Amarasinghe Massachusetts Institute of Technology, Gilbert Bernstein University of Washington, Seattle, Shoaib Kamil Adobe Research
10:40 - 12:20
Databases and HardwareSparse at Finland
Chair(s): Saman Amarasinghe Massachusetts Institute of Technology
10:40
20m
Talk
Exploiting Sparsity and Redundancy
Sparse
Matthias Boehm
11:00
20m
Talk
Recent Advances in Incremental View Maintenance
Sparse
Haozhe Zhang University of Zurich
11:20
20m
Talk
Hybrid Relational Tensor Processing
Sparse
Amir Shaikhha University of Edinburgh
11:40
20m
Talk
Mapping Sparse Applications to 
Accelerated Computing Systems
Sparse
Olivia Hsu Stanford University
12:00
20m
Panel
Panel: Databases and Hardware
Sparse
Amir Shaikhha University of Edinburgh, Olivia Hsu Stanford University, Haozhe Zhang University of Zurich, Matthias Boehm
13:40 - 15:20
Compilation FrameworksSparse at Finland
Chair(s): Amir Shaikhha University of Edinburgh
13:40
20m
Talk
Equality Saturation and Joins
Sparse
Max Willsey UC Berkeley
14:00
20m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
Sparse
Avery Laird University of Toronto
14:20
20m
Talk
Design DSLs with xDSL
Sparse
Tobias Grosser University of Cambridge, UK
14:40
20m
Talk
Compiling Control Flow in Sparse and Structured Array Programs
Sparse
Willow Ahrens Massachusetts Institute of Technology
15:00
20m
Panel
Panel: Compilation Frameworks
Sparse
Max Willsey UC Berkeley, Avery Laird University of Toronto, Tobias Grosser University of Cambridge, UK, Willow Ahrens Massachusetts Institute of Technology
16:00 - 17:40
Applications and LanguagesSparse at Finland
Chair(s): Gilbert Bernstein University of Washington, Seattle
16:00
20m
Talk
Offloading-Efficient Sparse AI Systems
Sparse
Luo Mai
16:20
20m
Talk
Continuous Arrays
Sparse
Jaeyeon Won Massachusetts Institute of Technology
16:40
20m
Talk
Mapping the landscape of locality optimisation: compact metadata and amortisation
Sparse
Paul H J Kelly Imperial College London
17:00
20m
Talk
Four Languages for Portability
Sparse
Fredrik Kjolstad Stanford University
17:20
20m
Panel
Panel: Applications and Languages
Sparse
Luo Mai , Jaeyeon Won Massachusetts Institute of Technology, Paul H J Kelly Imperial College London, Fredrik Kjolstad Stanford University

Mon 24 Jun

Displayed time zone: Windhoek change

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

CP

Welcome and Keynote

CP

Theory & Verification

CP

Languages & Verification

CP

Libraries

Tue 25 Jun

Displayed time zone: Windhoek change

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

Sparse

What are we doing?

Sparse

Databases and Hardware

Sparse

Compilation Frameworks

Sparse

Applications and Languages

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Finland
CP
Opening
09:00 - 09:10
CP
Choreographic Programming: its essence, beauty, and necessity
09:10 - 10:10
CP
A Propositional Dynamic Logic for Choreographies
10:40 - 11:00
CP
Choreographic Programming in Modal Type Theory
11:00 - 11:20
CP
Choreographies meet Communication Failures
11:20 - 11:40
CP
Corps: A Core Calculus of Hierarchical Choreographic Programming
11:40 - 12:00
CP
Masquerade: Information Flow Control for Choreographies
12:00 - 12:20
CP
A Probabilistic Choreography Language for PRISM
13:40 - 14:00
CP
A Function-as-a-Service Choreographic Programming Language: Examples an ...
14:00 - 14:20
CP
Exploring Algebraic Placement in Multiparty Languages
14:20 - 14:40
CP
Poroutines: The Essence of Choreographic Programming?
14:40 - 15:00
CP
We Know I Know You Know; Choreographic Programming With Multicast and M ...
15:00 - 15:20
CP
ChoRus: Library-Level Choreographic Programming in Rust
16:00 - 16:20
CP
Klor: Choreographies for the Working Clojurian
16:20 - 16:40
CP
Suki: Choreographed Distributed Dataflow in Rust
16:40 - 17:00
CP
Toward Verified Library-Level Choreographic Programming with Algebraic ...
17:00 - 17:20
CP
Closing
17:20 - 17:40

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Finland
Sparse
Welcome / Intro
09:00 - 09:10
Sparse
Practical Considerations for Embracing Sparse Computation
09:10 - 09:30
Sparse
When Are We Done Optimizing?
09:30 - 09:50
Sparse
Panel: What are we doing?
09:50 - 10:10
Sparse
Exploiting Sparsity and Redundancy
10:40 - 11:00
Sparse
Recent Advances in Incremental View Maintenance
11:00 - 11:20
Sparse
Hybrid Relational Tensor Processing
11:20 - 11:40
Sparse
Mapping Sparse Applications to 
Accelerated Computing Systems
11:40 - 12:00
Sparse
Panel: Databases and Hardware
12:00 - 12:20
Sparse
Equality Saturation and Joins
13:40 - 14:00
Sparse
SpEQ: Translation of Sparse Codes using Equivalences
14:00 - 14:20
Sparse
Design DSLs with xDSL
14:20 - 14:40
Sparse
Compiling Control Flow in Sparse and Structured Array Programs
14:40 - 15:00
Sparse
Panel: Compilation Frameworks
15:00 - 15:20
Sparse
Offloading-Efficient Sparse AI Systems
16:00 - 16:20
Sparse
Continuous Arrays
16:20 - 16:40
Sparse
Mapping the landscape of locality optimisation: compact metadata and am ...
16:40 - 17:00
Sparse
Four Languages for Portability
17:00 - 17:20
Sparse
Panel: Applications and Languages
17:20 - 17:40