Infer 2024
Mon 24 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Complete Program
Your Program
Mon 24 Jun
Track/Call
Organization
Infer 2024 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Infer 2024
Infer 2023
Infer 2022
Infer Practitioners 2021
Infer Practitioners 2020
Sign in
Sign up
PLDI 2024
(
series
) /
Infer 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Finland
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Finland
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
Welcome and Keynote
CP
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 & Verification
CP
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 & Verification
CP
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
Libraries
CP
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 Hardware
Sparse
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 Frameworks
Sparse
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 Languages
Sparse
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
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
CP
Welcome and Keynote
CP
Theory & Verification
CP
Languages & Verification
CP
Libraries
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
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
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
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
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
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
x
Thu 14 Nov 08:27