Infer 2024
Mon 24 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
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
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
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
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

Tue 25 Jun

Displayed time zone: Windhoek change