AST 2023
Mon 15 - Tue 16 May 2023 Melbourne, Australia
co-located with ICSE 2023
VenueMelbourne Convention Exhibition Centre | MCEC
Room nameLevel 1 Exhibtion Space
Floor1
Room Information

Morning, lunch, afternoon tea area

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 May

Displayed time zone: Hobart change

12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

Mon 15 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

Tue 16 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

Wed 17 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

10:30 - 11:00
10:30
30m
Talk
Cerberus: a Program Repair Framework
ICSE DEMO - Demonstrations
Ridwan Salihin Shariffdeen National University of Singapore, Martin Mirchev National University of Singapore, Yannic Noller National University of Singapore, Abhik Roychoudhury National University of Singapore
10:30 - 11:00
10:30
30m
Talk
InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation
ICSE DEMO - Demonstrations
Shuanglong Chang Northeast Petroleum University, Juntao Gao Northeast Petroleum University, Yilong Yang Beihang University
10:30 - 11:00
10:30
30m
Talk
FlaPy: Mining Flaky Python Tests at Scale
ICSE DEMO - Demonstrations
Martin Gruber BMW Group, University of Passau, Gordon Fraser University of Passau
Pre-print
12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

18:30 - 20:30
18:30
2h
Social Event
Welcome Reception
ICSE Social Events

Thu 18 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Talk
RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models
ICSE DEMO - Demonstrations
Zhen Tian Beihang University, Yilong Yang Beihang University, Sheng Cheng Software Engineering and Digitalization Center of China Manned Space Engineering
10:30 - 11:00
10:30
30m
Talk
What Would You do? An Ethical AI Quiz
ICSE DEMO - Demonstrations
Wei Teo Monash University, Ze Teoh Monash University, Dayang Abang Arabi Monash University, Morad Aboushadi Monash University, Khairenn Lai Monash University, Zhe Ng Monash University, Aastha Pant Monash Univeristy, Rashina Hoda Monash University, Kla Tantithamthavorn Monash University, Burak Turhan University of Oulu
Pre-print Media Attached
10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

Fri 19 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

10:30 - 11:00
10:30
30m
Talk
CryptOpt: Automatic Optimization of Straightline Code
ICSE DEMO - Demonstrations
Joel Kuepper University of Adelaide, Andres Erbsen MIT, Jason Gross MIT CSAIL, Owen Conoly MIT, Chuyue Sun Stanford, Samuel Tian MIT, David Wu University of Adelaide, Adam Chlipala Massachusetts Institute of Technology, Chitchanok Chuengsatiansup University of Adelaide, Daniel Genkin Georgia Tech, Markus Wagner Monash University, Australia, Yuval Yarom Ruhr University Bochum
Link to publication
10:30 - 11:00
10:30
30m
Talk
TSVD4J: Thread-Safety Violation Detection for Java
ICSE DEMO - Demonstrations
Shanto Rahman University of Texas at Austin, Chengpeng Li University of Texas at Austin, August Shi University of Texas at Austin
12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

Sat 20 May

Displayed time zone: Hobart change

10:30 - 11:00
10:30
30m
Coffee break
Morning Tea
ICSE Catering

12:30 - 13:45
12:30
75m
Lunch
Lunch
ICSE Catering

15:15 - 15:45
15:15
30m
Coffee break
Afternoon Tea
ICSE Catering

18:00 - 21:00
DinnerCAIN Dinner at Level 1 Exhibtion Space

CAIN Onsite Social Function

Taking place on Saturday 20th May from 1800 – 2100 (Australian Time) at Meat Market, South Wharf.

The event will include dinner and a 3-hour beverage package (no spirits).

Sun 14 May

Displayed time zone: Hobart change

Mon 15 May

Displayed time zone: Hobart change

Tue 16 May

Displayed time zone: Hobart change

Sat 20 May

Displayed time zone: Hobart change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Level 1 Exhibtion Space

Sun 14 May

Displayed time zone: Hobart change

Room12:0015304513:0015304514:0015304515:00153045
Level 1 Exhibtion Space
ICSE Catering
Lunch
12:30 - 13:45

Mon 15 May

Displayed time zone: Hobart change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Level 1 Exhibtion Space
ICSE Catering
Lunch
12:30 - 13:45

Tue 16 May

Displayed time zone: Hobart change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Level 1 Exhibtion Space
ICSE Catering
Lunch
12:30 - 13:45

Wed 17 May

Displayed time zone: Hobart change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Level 1 Exhibtion Space
ICSE Catering
Lunch
12:30 - 13:45

Thu 18 May

Displayed time zone: Hobart change

Fri 19 May

Displayed time zone: Hobart change

Sat 20 May

Displayed time zone: Hobart change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Level 1 Exhibtion Space
ICSE Catering
Lunch
12:30 - 13:45