PLMW@PLDI 2024
Mon 24 - Tue 25 June 2024 Copenhagen, Denmark
co-located with PLDI 2024
PLDI 2024 (series) / PLMW@PLDI 2024 (series) / Radisson Blu Scandinavia, Copenhagen /

Room information: Stockholm

VenueRadisson Blu Scandinavia, Copenhagen
Room nameStockholm
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
RepairDNNPLDI 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
RepairDNNPLDI 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
BuildItPLDI 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
BuildItPLDI 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
IntroductionsARRAY at Stockholm
09:00
70m
Day opening
Academic jam session
ARRAY

10:40 - 12:20
TheoryARRAY 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
PerformanceARRAY 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 LanguagesARRAY 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 ComputingRemote
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

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

PLDI Tutorials

RepairDNN

PLDI Tutorials

RepairDNN

PLDI Tutorials

BuildIt

PLDI Tutorials

BuildIt

Tue 25 Jun

Displayed time zone: Windhoek change

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

ARRAY

Introductions

ARRAY

Theory

ARRAY

Performance

ARRAY

Array Languages

Mon 24 Jun

Displayed time zone: Windhoek change

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
ARRAYRemote
The Landscape of Formal Verification in APL: a Review with a Case Study ...
17:15 - 17:40