ASA 2023
co-located with PLDI 2023
VenueOrlando World Center Marriott
Room nameMagnolia 6
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

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
09:00
45m
Talk
How Programmers Interact with AI Assistants
ASA 2023
Nadia Polikarpova University of California at San Diego
09:45
45m
Talk
A Cambrian Explosion for Software Development Tools
ASA 2023
Emery D. Berger University of Massachusetts Amherst
10:30
45m
Talk
Towards Code-Aware AI Models for Code
ASA 2023
Baishakhi Ray Columbia University
11:20 - 12:30
11:45
45m
Talk
Differentiable Symbolic Execution
ASA 2023
Swarat Chaudhuri University of Texas at Austin
14:00 - 15:30
14:00
45m
Talk
Program Analysis at Uber Scale
ASA 2023
Raj Barik Uber Technologies Inc.

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
ARRAY: Session 1ARRAY at Magnolia 6
Chair(s): Troels Henriksen University of Copenhagen, Denmark

#array-sun-magnolia6 Discord icon small YouTube icon small

09:00
60m
Keynote
Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
ARRAY
Gilbert Bernstein University of Washington, Seattle
10:00
30m
Talk
Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled)
ARRAY
Hui Shi University of California, San Diego, Sicun Gao University of California San Diego, Jishen Zhao UCSD
10:30
30m
Talk
Array Programming via Multi-Dimensional Homomorphisms
ARRAY
Ari Rasch University of Muenster, Richard Schulze University of Muenster, Sergei Gorlatch University of Muenster
File Attached
14:00 - 15:30
ARRAY: Session 3ARRAY at Magnolia 6
Chair(s): Mary Sheeran Chalmers

#array-sun-magnolia6 Discord icon small YouTube icon small

14:00
30m
Talk
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
ARRAY
Bjorn Lisper Malardalen University, Linus Källberg Mälardalen University
DOI
14:30
30m
Talk
OptiTrust: an Interactive Optimization Framework
ARRAY
Thomas Koehler INRIA, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Begatim Bytyqi Inria, Damien Rouhling Inria, Yann Barsamian Ecole Européenne de Bruxelles
Pre-print File Attached
15:00
30m
Talk
Polymorphic Types with Polynomial Sizes
ARRAY
Jean-Louis Colaço ANSYS, Baptiste Pauget ANSYS/Inria, Marc Pouzet École normale supérieure
DOI
16:00 - 17:50
ARRAY: Session 4ARRAY at Magnolia 6
Chair(s): Martin Elsman University of Copenhagen, Denmark

#array-sun-magnolia6 Discord icon small YouTube icon small

16:00
30m
Talk
A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos
ARRAY
Pedro Valero-Lara Oak Ridge National Laboratory, Jeffrey Vetter Oak Ridge National Laboratory
DOI
16:30
30m
Talk
Opportunities for Linear Algebraic Graph Databases
ARRAY
Yuttapichai Kerdcharoen Carnegie Mellon University, Upasana Sridhar Carnegie Mellon University, Tze Meng Low Carnegie Mellon University
17:00
30m
Talk
Towards Structured Algebraic Programming
ARRAY
Denis Jelovina Computing Systems Lab Huawei Zurich Research Center, Daniele Giuseppe Spampinato Computing Systems Lab Huawei Zurich Research Center, Jiawei Zhuang Huawei Technologies Co. Ltd., Albert-Jan Nicholas Yzelman Computing Systems Lab Huawei Zurich Research Center
DOI

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Magnolia 6

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Magnolia 6

Sat 17 Jun

Displayed time zone: Eastern Time (US & Canada) change