PODELSKI
Tue 25 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
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
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
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
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
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

Tue 25 Jun

Displayed time zone: Windhoek change

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