Infer 2024
Mon 24 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Infer 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: Stockholm
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Stockholm
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
RepairDNN
PLDI Tutorials
at
Stockholm
09:00
70m
Tutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks
PLDI Tutorials
Aditya V. Thakur
University of California at Davis
10:40 - 12:20
RepairDNN
PLDI Tutorials
at
Stockholm
10:40
1h40m
Tutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks
PLDI Tutorials
Aditya V. Thakur
University of California at Davis
13:40 - 15:20
BuildIt
PLDI Tutorials
at
Stockholm
13:40
1h40m
Tutorial
Democratizing DSL development with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
Link to publication
16:00 - 17:40
BuildIt
PLDI Tutorials
at
Stockholm
16:00
1h40m
Tutorial
Democratizing DSL development with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
Link to publication
Tue 25 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
Introductions
ARRAY
at
Stockholm
09:00
70m
Day opening
Academic jam session
ARRAY
10:40 - 12:20
Theory
ARRAY
at
Stockholm
10:40
25m
Talk
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
ARRAY
Robert Schenck
DIKU, University of Copenhagen
,
Nikolaj Hey Hinnerskov
DIKU, University of Copenhagen
,
Troels Henriksen
University of Copenhagen
,
Magnus Madsen
Aarhus University
,
Martin Elsman
University of Copenhagen, Denmark
File Attached
11:05
25m
Talk
An LLP (q, k) Parser Generator
ARRAY
William Due
DIKU, University of Copenhagen
,
Troels Henriksen
University of Copenhagen
File Attached
11:30
25m
Talk
Mechanical Proofs in an Array-Combinator Language
ARRAY
Nikolaj Hey Hinnerskov
DIKU, University of Copenhagen
,
Robert Schenck
DIKU, University of Copenhagen
,
Cosmin Oancea
University of Copenhagen, Denmark
File Attached
11:55
25m
Talk
Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
ARRAY
Chris Oliver Paulsen
Department of Computer Science, Aalborg University
,
Lars Jensen
,
Julian Teule
Department of Computer Science, Aalborg University
,
Hans Hüttel
Department of Computer Science, Aalborg University
File Attached
13:40 - 15:20
Performance
ARRAY
at
Stockholm
13:40
25m
Talk
Apple Array Allocation
ARRAY
Vanessa McHale
Northern Trust
File Attached
14:05
25m
Talk
Shray: an Owner-Compute Distributed Shared-Memory System
ARRAY
Stefan Schrijvers
Radboud University
,
Thomas Koopman
Radboud University
,
Sven-Bodo Scholz
Radboud University
DOI
14:30
25m
Talk
Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling
ARRAY
Ivo Gabe de Wolff
Utrecht University
,
Gabriele Keller
Utrecht University
DOI
14:55
25m
Talk
Zero-Overhead Parallel Scans for Multi-Core CPUs
ARRAY
Ivo Gabe de Wolff
Utrecht University
,
David van Balen
,
Gabriele Keller
Utrecht University
,
Trevor L. McDonell
Utrecht University
File Attached
16:00 - 17:40
Array Languages
ARRAY
at
Stockholm
16:00
25m
Talk
Points for Free: Embedding Pointful Array Programming in Python
ARRAY
Jakub Bachurski
University of Cambridge
,
Alan Mycroft
University of Cambridge, UK
DOI
16:25
25m
Talk
Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments
ARRAY
Aaron Hsu
Dyalog, Ltd.
,
Brandon Wilson
File Attached
16:50
25m
Talk
On Structural Under and GPUs
ARRAY
Juuso Haavisto
University of Oxford
File Attached
17:15
25m
Talk
The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing
Remote
ARRAY
Santiago Núñez-Corrales
National Center for Supercomputing Applications, University of Illinois Urbana-Champaign
,
Phuong Cao
National Center for Supercomputing Applications, University of Illinois Urbana-Champaign
,
Bach Hoang
National Center for Supercomputing Applications, University of Illinois Urbana-Champaign
File Attached
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
Stockholm
PLDI Tutorials
RepairDNN
PLDI Tutorials
RepairDNN
PLDI Tutorials
BuildIt
PLDI Tutorials
BuildIt
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
Stockholm
ARRAY
Introductions
ARRAY
Theory
ARRAY
Performance
ARRAY
Array 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
Stockholm
PLDI Tutorials
Algorithms and Applications for Provable Repair of Deep Neural Networks
09:00 - 10:10
PLDI Tutorials
Algorithms and Applications for Provable Repair of Deep Neural Networks
10:40 - 12:20
PLDI Tutorials
Democratizing DSL development with the BuildIt Framework
13:40 - 15:20
PLDI Tutorials
Democratizing DSL development with the BuildIt Framework
16:00 - 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
Stockholm
ARRAY
Academic jam session
09:00 - 10:10
ARRAY
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer ...
10:40 - 11:05
ARRAY
An LLP (q, k) Parser Generator
11:05 - 11:30
ARRAY
Mechanical Proofs in an Array-Combinator Language
11:30 - 11:55
ARRAY
Translating Concepts of the Futhark Programming Language into an Extend ...
11:55 - 12:20
ARRAY
Apple Array Allocation
13:40 - 14:05
ARRAY
Shray: an Owner-Compute Distributed Shared-Memory System
14:05 - 14:30
ARRAY
Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel ...
14:30 - 14:55
ARRAY
Zero-Overhead Parallel Scans for Multi-Core CPUs
14:55 - 15:20
ARRAY
Points for Free: Embedding Pointful Array Programming in Python
16:00 - 16:25
ARRAY
Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environ ...
16:25 - 16:50
ARRAY
On Structural Under and GPUs
16:50 - 17:15
ARRAY
Remote
The Landscape of Formal Verification in APL: a Review with a Case Study ...
17:15 - 17:40
x
Sat 21 Dec 18:13