AISTA 2022
Mon 18 - Fri 22 July 2022 Online
co-located with ISSTA 2022
VenueOnline
Room nameKeynote
Floor0
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

Wed 20 Jul

Displayed time zone: Seoul change

00:00 - 01:00
KeynoteISSTA Keynotes at Keynote
Chair(s): Yannis Smaragdakis University of Athens
00:00
60m
Talk
Neural Software Analysis: the Good, the Bad, and the Ugly
ISSTA Keynotes
Michael Pradel University of Stuttgart
15:00 - 16:00
KeynoteISSTA Keynotes at Keynote
Chair(s): Sukyoung Ryu KAIST
15:00
60m
Talk
Neural Software Analysis: the Good, the Bad, and the Ugly
ISSTA Keynotes
Michael Pradel University of Stuttgart

Thu 21 Jul

Displayed time zone: Seoul change

00:00 - 01:00
KeynoteISSTA Keynotes at Keynote
Chair(s): Yannis Smaragdakis University of Athens
00:00
60m
Talk
Software Developer Tools for Democratizing Heterogeneous Computing Applications
ISSTA Keynotes
Miryung Kim University of California at Los Angeles, USA
15:00 - 16:00
KeynoteISSTA Keynotes at Keynote
Chair(s): Sukyoung Ryu KAIST
15:00
60m
Talk
Software Developer Tools for Democratizing Heterogeneous Computing Applications
ISSTA Keynotes
Miryung Kim University of California at Los Angeles, USA
23:00 - 23:15
Awards & ReportsISSTA Keynotes at Keynote
23:00
15m
Talk
Award Presentations & Chair Report
ISSTA Keynotes
Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens
23:15 - 00:00
Impact Paper PresentationISSTA Keynotes at Keynote
Chair(s): Sukyoung Ryu KAIST
23:15
45m
Talk
Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
ISSTA Keynotes
Jaco Geldenhuys University of Stellenbosch, South Africa, Matthew B Dwyer University of Virginia, Willem Visser Stellenbosch University
DOI

Wed 20 Jul

Displayed time zone: Seoul change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:0030
Keynote

Thu 21 Jul

Displayed time zone: Seoul change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Keynote

Wed 20 Jul

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Keynote

Thu 21 Jul

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Keynote