ISMM 2023
Sun 18 Jun 2023
Orlando, Florida, United States
co-located with
PLDI 2023
Toggle navigation
Attending
Venue: Orlando World Center Marriott
PLDI 2023
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2023
(
series
) /
ISMM 2023 (
series
) /
Orlando World Center Marriott
/
Room information: Magnolia 6
Venue
Orlando World Center Marriott
Room name
Magnolia 6
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-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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
Sat 17 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
ASA: Session 1
ASA
at
Magnolia 6
#asa-sat-magnolia6
09:00
45m
Talk
How Programmers Interact with AI Assistants
ASA
Nadia Polikarpova
University of California at San Diego
09:45
45m
Talk
A Cambrian Explosion for Software Development Tools
ASA
Emery D. Berger
University of Massachusetts Amherst
10:30
45m
Talk
Towards Code-Aware AI Models for Code
ASA
Baishakhi Ray
Columbia University
11:20 - 12:30
ASA: Session 2
ASA
at
Magnolia 6
#asa-sat-magnolia6
11:45
45m
Talk
Differentiable Symbolic Execution
ASA
Swarat Chaudhuri
University of Texas at Austin
14:00 - 15:30
ASA: Session 3
ASA
at
Magnolia 6
#asa-sat-magnolia6
14:00
45m
Talk
Program Analysis at Uber Scale
ASA
Raj Barik
Uber Technologies Inc.
16:00 - 17:50
ASA: Session 4
ASA
at
Magnolia 6
#asa-sat-magnolia6
16:00
45m
Talk
Why can’t we all just get along? Training SA and AI tools to communicate
ASA
Yaniv David
Columbia University
16:45
45m
Talk
AI-based Program Analysis via Relevance and Similarity
ASA
Kihong Heo
KAIST
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 11:00
ARRAY: Session 1
ARRAY
at
Magnolia 6
Chair(s):
Troels Henriksen
University of Copenhagen, Denmark
#array-sun-magnolia6
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
11:20 - 12:30
ARRAY: Session 2
ARRAY
at
Magnolia 6
Chair(s):
Aaron Hsu
Dyalog, Ltd.
#array-sun-magnolia6
11:20
30m
Talk
Faster APL with Lazy Extensions
ARRAY
Andrew Sengul
Independent Researcher
DOI
File Attached
11:50
30m
Talk
U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
ARRAY
Aaron Hsu
Dyalog, Ltd.
,
Rodrigo Girão Serrão
Dyalog, Ltd.
DOI
14:00 - 15:30
ARRAY: Session 3
ARRAY
at
Magnolia 6
Chair(s):
Mary Sheeran
Chalmers
#array-sun-magnolia6
14:00
30m
Talk
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
ARRAY
Björn 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 4
ARRAY
at
Magnolia 6
Chair(s):
Martin Elsman
University of Copenhagen, Denmark
#array-sun-magnolia6
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
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
Magnolia 6
ASA
ASA: Session 1
ASA
ASA: Session 2
ASA
ASA: Session 3
ASA
ASA: Session 4
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
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
Magnolia 6
ARRAY
ARRAY: Session 1
ARRAY
ARRAY: Session 2
ARRAY
ARRAY: Session 3
ARRAY
ARRAY: Session 4
Sat 17 Jun
Displayed time zone:
Eastern Time (US & Canada)
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
Magnolia 6
ASA
How Programmers Interact with AI Assistants
09:00 - 09:45
ASA
A Cambrian Explosion for Software Development Tools
09:45 - 10:30
ASA
Towards Code-Aware AI Models for Code
10:30 - 11:15
ASA
Differentiable Symbolic Execution
11:45 - 12:30
ASA
Program Analysis at Uber Scale
14:00 - 14:45
ASA
Why can’t we all just get along? Training SA and AI tools to communicate
16:00 - 16:45
ASA
AI-based Program Analysis via Relevance and Similarity
16:45 - 17:30
Sun 18 Jun
Displayed time zone:
Eastern Time (US & Canada)
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
Magnolia 6
ARRAY
Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
09:00 - 10:00
ARRAY
Accurate Array Program Mapping with Neural Program Translation and Synt ...
10:00 - 10:30
ARRAY
Array Programming via Multi-Dimensional Homomorphisms
10:30 - 11:00
ARRAY
Faster APL with Lazy Extensions
11:20 - 11:50
ARRAY
U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning
11:50 - 12:20
ARRAY
HERO-ML: A Very High-Level Array Language for Executable Modelling of D ...
14:00 - 14:30
ARRAY
OptiTrust: an Interactive Optimization Framework
14:30 - 15:00
ARRAY
Polymorphic Types with Polynomial Sizes
15:00 - 15:30
ARRAY
A MultiGPU Performance-Portable Solution for Array Programming Based on ...
16:00 - 16:30
ARRAY
Opportunities for Linear Algebraic Graph Databases
16:30 - 17:00
ARRAY
Towards Structured Algebraic Programming
17:00 - 17:30
x
Sat 21 Dec 19:35