Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020
Melbourne, Australia
Toggle navigation
Attending
Virtual: (Virtual) Arts Centre Melbourne
Welcome message from chair of ASE Steering Committee
Sponsorship Details
Diversity and Inclusion
Code of Conduct
Student Support
Registration
Travel Safety and Medical Guidelines
Author Information
Presenter Information
Program
ASE Program
Your Program
Keynote
Awards
Mon 21 Sep
Tue 22 Sep
Wed 23 Sep
Thu 24 Sep
Fri 25 Sep
Tracks
ASE 2020
Plenary
[Workshop] A-Mobile
[Workshop] HCSE&CS
[Workshop] NLP-SEA
[Workshop] SUSTAIN-SE
Research Papers
Tool Demonstrations
Doctoral Symposium
Journal-first Papers
Workshops
Tutorials
Late Breaking Results
Student Research Competition
Student Volunteers
Industry Showcase
NIER track
Social/Networking
Organization
ASE 2020 Committees
Organizing Committee
Track Committees
Research Papers
Research Papers Chair
Program Committee
Tool Demonstrations
Tool Demonstrations Chair
Program Committee
Doctoral Symposium
Journal-first Papers
Workshops
Tutorials
Late Breaking Results
Late Breaking Results Chair
Program Committee
Student Research Competition
Student Research Competition Chair
Program Committee
Student Volunteers
Industry Showcase
Industry showcases Chair
Program Committee
NIER track
NIER Chairs
Program Committee
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2020
(
series
) /
(Virtual) Arts Centre Melbourne
/
Room information: Kangaroo
Venue
(Virtual) Arts Centre Melbourne
Room name
Kangaroo
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(UTC) Coordinated Universal Time
.
Use conference time zone: (UTC) Coordinated Universal Time
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-05: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-03: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
Mon 21 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
Workshop Opening
[Workshop] HCSE&CS
at
Kangaroo
Chair(s):
Mohan Baruwal Chhetri
Data61 CSIRO Australia
,
Thuong Hoang
School of Information Technology, Deakin University
,
Karen Renaud
Abertay University
00:00
60m
Keynote
Children and Cyber Security
Workshop
[Workshop] HCSE&CS
K:
Karen Renaud
Abertay University
01:10 - 02:40
Panel Session
[Workshop] HCSE&CS
at
Kangaroo
Chair(s):
Mohan Baruwal Chhetri
Data61 CSIRO Australia
01:10
90m
Other
Panel Session: Cyber security at home - how much more important is it when working from home
Workshop
[Workshop] HCSE&CS
Marthie Grobler
CSIRO's Data61
,
Paul Watters
,
Ivano Bongiovanni
The University of Queensland
02:50 - 03:50
Session 1 Paper Presentation
[Workshop] HCSE&CS
at
Kangaroo
02:50
12m
Talk
A Risk Homeostasis Perspective on Zimbabwean Protective Point-of-Sale Transaction Behaviours
Workshop
[Workshop] HCSE&CS
Alfred Musarurwa
Abertay University
,
Karen Renaud
Abertay University
,
Tim Shuermann
TU Darmstadt
03:02
12m
Talk
Designing a Serious Game: Teaching Developers to Embed Privacy into Software Systems
Workshop
[Workshop] HCSE&CS
Nalin Asanka Gamagedara Arachchilage
La Trobe University, Australia
,
Mumtaz Abdulhameed
Technovation Consulting & Training PVT
03:14
12m
Talk
Vulnerability Discovery Strategies Used in Software Projects
Workshop
[Workshop] HCSE&CS
Farzana Ahamed Bhuiyan
Tennessee Tech University
,
Akond Rahman
Tennessee Tech University
,
Patrick Morrison
IBM
03:26
12m
Talk
An Informed Consent Model for Handling the Privacy Paradox in Smart Buildings
Workshop
[Workshop] HCSE&CS
Chehara Pathmabandu
Monash University
,
Mohan Baruwal Chhetri
Data61 CSIRO Australia
,
John Grundy
Monash University
,
A:
Zubair Baig
Deakin University
03:38
12m
Talk
Characterizing Co-located Insecure Coding Patterns in Infrastructure as Code Scripts
Workshop
[Workshop] HCSE&CS
Farzana Ahamed Bhuiyan
Tennessee Tech University
,
Akond Rahman
Tennessee Tech University
04:30 - 05:50
Session 2 Paper Presentation
[Workshop] HCSE&CS
at
Kangaroo
Chair(s):
Thuong Hoang
School of Information Technology, Deakin University
04:30
16m
Talk
Exploring the Requirements of Pandemic Awareness Systems: A Case Study of COVID-19 Using Twitter, Reddit, and Google Trends
Workshop
[Workshop] HCSE&CS
Esmaeil Shakeri
University of Calgary
,
Behrouz Far
University of Calgary
04:46
16m
Talk
mHealth4U: Designing for Health and Wellbeing Self-Managemen
Workshop
[Workshop] HCSE&CS
Hamza Sellak
CSIRO's Data61
,
Marthie Grobler
CSIRO's Data61
05:02
16m
Talk
Reducing Delay Penalty of Multiple Concurrent Software Projects based on Overtime Planning
Workshop
[Workshop] HCSE&CS
wei zhang
East China University of Technology
,
Yun Yang
Swinburne University of Technology
,
Xiao Liu
School of Information Technology, Deakin University
05:18
16m
Talk
Towards Better Understanding of Agile Teams through Behavior Change Models
Workshop
[Workshop] HCSE&CS
Kashumi Madampe
Monash University, Australia
,
Rashina Hoda
Monash University
,
John Grundy
Monash University
Pre-print
05:34
16m
Talk
A Vision to Mitigate Bioinformatics Software Development Challenges
Workshop
[Workshop] HCSE&CS
Akond Rahman
Tennessee Tech University
,
Farzana Ahamed Bhuiyan
Tennessee Tech University
06:00 - 07:15
Panel Session & Closing
[Workshop] HCSE&CS
at
Kangaroo
Chair(s):
Xiao Liu
School of Information Technology, Deakin University
06:00
75m
Other
Panel Session: Human-centric software engineering, past, present and future
Workshop
[Workshop] HCSE&CS
Rashina Hoda
Monash University
,
Chetan Arora
School of Information Technology, Deakin University
09:00 - 10:15
Opening & Keynote
Doctoral Symposium
at
Kangaroo
Chair(s):
Massimiliano Di Penta
University of Sannio, Italy
,
Jean-Guy Schneider
Deakin University
09:00
10m
Day opening
Opening of Doctoral Symposium
Doctoral Symposium
Massimiliano Di Penta
University of Sannio, Italy
,
Jean-Guy Schneider
Deakin University
09:10
65m
Keynote
Taming your PhD
Doctoral Symposium
Oscar Nierstrasz
University of Bern, Switzerland
10:15 - 11:00
DS: Presentation 1
Doctoral Symposium
at
Kangaroo
Chair(s):
Massimiliano Di Penta
University of Sannio, Italy
10:15
22m
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala Abdelkader
Applied Artificial Intelligence Institute, Deakin University
10:37
22m
Talk
Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing
Doctoral Symposium
Anjana Perera
Monash University
DOI
Pre-print
16:00 - 16:40
DS: Presentation 2
Doctoral Symposium
at
Kangaroo
Chair(s):
Jean-Guy Schneider
Deakin University
16:00
20m
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian Schindler
Institute for Enterprise Systems, University of Mannheim
16:20
20m
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar Cornejo
University of Rio Cuarto and CONICET
16:40 - 17:15
DS: Presentation 3
Doctoral Symposium
at
Kangaroo
Chair(s):
Jean-Guy Schneider
Deakin University
16:40
17m
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo Molina
University of Río Cuarto
16:57
17m
Talk
Automated generation of client-specific backends utilizing existing microservices and architectural knowledge
Doctoral Symposium
Nils Wieber
Institute for Enterprise Systems (InES), University of Mannheim
17:15 - 18:20
Panel & Clossing
Doctoral Symposium
at
Kangaroo
17:15
45m
Panel Discussion
Doctoral Symposium
18:00
10m
Day closing
Closing of ASE 2020 Doctoral Symposium
Doctoral Symposium
Massimiliano Di Penta
University of Sannio, Italy
,
Jean-Guy Schneider
Deakin University
Tue 22 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
Opening Ceremony
Plenary
at
Kangaroo
00:00
60m
Day opening
ASE2020 Opening & Awards
Plenary
John Grundy
Monash University
,
David Lo
Singapore Management University
,
Claire Le Goues
Carnegie Mellon University
01:10 - 02:10
Keynote - Mahesh Krishnan
Plenary
at
Kangaroo
Chair(s):
Claire Le Goues
Carnegie Mellon University
01:10
60m
Keynote
Evolution in the automation of CI/CD
Plenary
Mahesh Krishnan
02:20 - 03:20
Test Generation
Research Papers
/
Industry Showcase
/
Tool Demonstrations
at
Kangaroo
Chair(s):
Xusheng Xiao
Case Western Reserve University
02:20
20m
Talk
Legion: Best-First Concolic Testing
Research Papers
Dongge Liu
The Univeristy of Melbourne
,
Gidon Ernst
LMU Munich
,
Toby Murray
University of Melbourne, Australia
,
Benjamin I.P. Rubinstein
University of Melbourne
02:40
20m
Talk
The New Approach to IT Testing
Industry Showcase
YongSik Kim
,
SoAh Min
,
YouKyung Kim
LG CNS
03:00
10m
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze Yu
Wuhan University
,
Youzhe Zhang
Wuhan University
,
Jifeng Xuan
Wuhan University
08:00 - 09:00
Software Analysis (1)
Research Papers
at
Kangaroo
Chair(s):
Michael Pradel
University of Stuttgart, Germany
08:00
20m
Talk
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Research Papers
Timotej Kapus
Imperial College London, UK
,
Frank Busse
Imperial College London
,
Cristian Cadar
Imperial College London, UK
Pre-print
Media Attached
08:20
20m
Talk
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis
Research Papers
Sungho Lee
Chungnam National University, Korea
,
Hyogun Lee
KAIST
,
Sukyoung Ryu
KAIST
08:40
20m
Talk
Assessing and Restoring Reproducibility of Jupyter Notebooks
Research Papers
Jiawei Wang
,
Tzu-yang Kuo
The Hong Kong University of Science and Technology
,
Li Li
Monash University, Australia
,
Andreas Zeller
CISPA, Germany
09:10 - 10:10
Formal Methods (2)
Research Papers
at
Kangaroo
Chair(s):
Eunsuk Kang
Carnegie Mellon University, USA
09:10
20m
Talk
Verified from Scratch: Program Analysis for Learners' Programs
Research Papers
Andreas Stahlbauer
University of Passau
,
Christoph Frädrich
University of Passau
,
Gordon Fraser
University of Passau
09:30
20m
Talk
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Research Papers
Xingyu Zhao
Heriot-Watt University
,
Radu Calinescu
University of York, UK
,
Simos Gerasimou
University of York, UK
,
Valentin Robu
Heriot-Watt University
,
David Flynn
Heriot-Watt University
Pre-print
09:50
20m
Talk
UnchartIt: An Interactive Framework for Program Recovery from Charts
Research Papers
Daniel Ramos
INESC-ID/IST, Universidade de Lisboa
,
Jorge Pereira
INESC-ID/IST, Universidade de Lisboa
,
Ines Lynce
INESC-ID/IST, Universidade de Lisboa
,
Vasco Manquinho
INESC-ID/IST, Universidade de Lisboa
,
Ruben Martins
Carnegie Mellon University
10:20 - 11:20
Women in ASE
Social/Networking
at
Kangaroo
Chair(s):
Hourieh Khalajzadeh
Monash University, Australia
10:20
60m
Social Event
Women in ASE
Panel
Social/Networking
Aldeida Aleti
Monash University
,
Muneera Bano
School of Information Technology, Deakin University
,
Didar Zowghi
University of Technology Sydney
,
Jon Whittle
CSIRO's Data61 and Monash University
16:00 - 17:00
Synthesis and Repair
Research Papers
at
Kangaroo
Chair(s):
Shahar Maoz
Tel Aviv University, Israel
16:00
20m
Talk
Synthesis of Infinite-State Systems with Random Behavior
Research Papers
Andreas Katis
University of Minnesota
,
Grigory Fedyukovich
Florida State University
,
Jeffrey Chen
University of Minnesota
,
David Greve
Collins Aerospace
,
Sanjai Rayadurgam
University of Minnesota
,
Michael Whalen
University of Minnesota
16:20
20m
Talk
Demystifying Loops in Smart Contracts
Research Papers
Benjamin Mariano
University of Texas at Austin
,
Yanju Chen
University of California, Santa Barbara
,
Yu Feng
University of California, Santa Barbara
,
Shuvendu K. Lahiri
Microsoft Research
,
Işıl Dillig
University of Texas at Austin, USA
16:40
20m
Talk
Patching as Translation: The Data and the Metaphor
Research Papers
Yangruibo Ding
Columbia University
,
Baishakhi Ray
Columbia University, USA
,
Prem Devanbu
University of California
,
Vincent J. Hellendoorn
Carnegie Mellon University
DOI
Pre-print
17:10 - 18:10
Software Analysis (2)
Research Papers
/
Industry Showcase
at
Kangaroo
Chair(s):
Saba Alimadadi
Simon Fraser University
17:10
20m
Talk
Representing and Reasoning about Dynamic Code
Research Papers
Jesse Bartels
University of Arizona
,
Jon Stephens
University of Texas at Austin
,
Saumya Debray
University of Arizona
17:30
20m
Talk
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Research Papers
Navid Salehnamadi
University of California, Irvine
,
Abdulaziz Alshayban
University of California, Irvine
,
Iftekhar Ahmed
University of California at Irvine, USA
,
Sam Malek
University of California at Irvine, USA
17:50
20m
Talk
Automatic Generation of IFTTT Mashup Infrastructures
Industry Showcase
Lei Liu
Fujitsu Laboratories of America, Inc.
,
Mehdi Bahrami
Fujitsu Laboratories of America, Inc.
,
Wei-Peng Chen
Fujitsu Laboratories of America, Inc.
18:20 - 19:20
Ask Me Anything
Social/Networking
at
Kangaroo
Chair(s):
Laura Moreno
Colorado State University
18:20
60m
Social Event
Ask Me Anything - Miryung Kim
Ask Me Anything
Social/Networking
Miryung Kim
University of California at Los Angeles, USA
Wed 23 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
Software Engineering for AI (1)
NIER track
/
Research Papers
at
Kangaroo
Chair(s):
Song Wang
York University, Canada
00:00
20m
Talk
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
Research Papers
Weijun Shen
Nanjing University
,
Yanhui Li
Department of Computer Science and Technology, Nanjing University
,
Lin Chen
Nanjing University
,
YuanLei Han
Nanjing University
,
Yuming Zhou
Nanjing University
,
Baowen Xu
State Key Laboratory for Novel Software Technology, Nanjing University
00:20
20m
Talk
MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
Research Papers
Xiaoning Du
Nanyang Technological University
,
Yi Li
Nanyang Technological University
,
Xiaofei Xie
Nanyang Technological University
,
Lei Ma
Kyushu University
,
Yang Liu
Nanyang Technological University, Singapore
,
Jianjun Zhao
Kyushu University
00:40
10m
Talk
Making Fair ML Software using Trustworthy Explanation
NIER track
Joymallya Chakraborty
North Carolina State University, USA
,
Kewen Peng
North Carolina State University
,
Tim Menzies
North Carolina State University, USA
Link to publication
DOI
Pre-print
Media Attached
01:10 - 02:10
Software Engineering for AI (2)
Research Papers
/
Industry Showcase
at
Kangaroo
Chair(s):
Aldeida Aleti
Monash University
01:10
20m
Talk
Audee: Automated Testing for Deep Learning Frameworks
Research Papers
Qianyu Guo
College of Intelligence and Computing, Tianjin University
,
Xiaofei Xie
Nanyang Technological University
,
Yi Li
Nanyang Technological University
,
Xiaoyu Zhang
Xi'an Jiaotong University
,
Yang Liu
Nanyang Technological University, Singapore
,
Xiaohong Li
TianJin University
,
Chao Shen
Xi'an Jiaotong University
01:30
20m
Talk
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Research Papers
Guoliang Dong
Computer College of Zhejiang University
,
Jingyi Wang
Zhejiang University
,
Jun Sun
Singapore Management University
,
Yang Zhang
Zhejiang University
,
Xinyu Wang
Zhejiang University
,
Dai Ting
Huawei International Pte Ltd
,
Jin Song Dong
National University of Singapore
,
Xingen Wang
Zhejiang University
01:50
20m
Talk
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
Industry Showcase
Haruki Yokoyama
Fujitsu Laboratories Ltd.
,
Satoshi Onoue
Fujitsu Ltd.
,
Shinji Kikuchi
Fujitsu Laboratories Ltd.
02:20 - 03:20
How To Get a Job in Industry or Academia
Social/Networking
at
Kangaroo
02:20
60m
Social Event
How To Get a Job in Industry or Academia
Networking Event
Social/Networking
Steve Versteeg
Secureworks
,
Muneera Bano
School of Information Technology, Deakin University
08:00 - 09:00
Keynote - Marta Kwiatkowska
Plenary
at
Kangaroo
Chair(s):
John Grundy
Monash University
08:00
60m
Keynote
Safety and Robustness for Deep Learning with Provable Guarantees
Plenary
Marta Kwiatkowska
University of Oxford
09:10 - 10:10
Synthesis
Research Papers
at
Kangaroo
Chair(s):
Domenico Bianculli
University of Luxembourg
09:10
20m
Talk
Just-In-Time Reactive Synthesis
Research Papers
Shahar Maoz
Tel Aviv University, Israel
,
Ilia Shevrin
Tel Aviv University
09:30
20m
Talk
JISET: JavaScript IR-based Semantics Extraction Toolchain
Research Papers
Jihyeok Park
KAIST, South Korea
,
Jihee Park
KAIST
,
Seungmin An
KAIST
,
Sukyoung Ryu
KAIST
09:50
20m
Talk
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Research Papers
Yeting Li
Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Zhiwu Xu
Shenzhen University
,
Jialun Cao
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Haiming Chen
Institute of Software, Chinese Academy of Sciences
,
Tingjian Ge
University of Massachusetts, Lowell
,
Shing-Chi Cheung
Hong Kong University of Science and Technology, China
,
Haoren Zhao
Shaanxi Normal University, Xi'an, China
10:20 - 11:20
PhD Advice
Social/Networking
at
Kangaroo
Chair(s):
Humphrey Obie
Monash University
,
Zhenchang Xing
Australian National University, Australia
10:20
60m
Social Event
PhD Advice
Panel
Social/Networking
Zhenchang Xing
Australian National University, Australia
,
Humphrey Obie
Monash University
,
Eunjong Choi
Kyoto Institute of Technology
,
Lisa Nguyen Quang Do
Google
,
Maleknaz Nayebi
Polytechnique Montréal
16:00 - 17:00
Testing (2)
Research Papers
at
Kangaroo
Chair(s):
Alex Groce
Northern Arizona University
16:00
20m
Talk
TestMC: Testing Model Counters using Differential and Metamorphic Testing
Experience
Research Papers
Muhammad Usman
University of Texas at Austin, USA
,
Wenxi Wang
University of Texas at Austin, USA
,
Sarfraz Khurshid
University of Texas at Austin, USA
16:20
20m
Talk
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction
Research Papers
Qian Zhang
University of California, Los Angeles
,
Jiyuan Wang
University of California, Los Angeles
,
Muhammad Ali Gulzar
University of California at Los Angeles, USA
,
Rohan Padhye
Carnegie Mellon University
,
Miryung Kim
University of California at Los Angeles, USA
16:40
20m
Talk
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Research Papers
Nick Feng
University of Toronto
,
Vincent Hui
University of Toronto
,
Federico Mora
University of California, Berkeley
,
Marsha Chechik
University of Toronto
17:10 - 18:10
Software Engineering for AI (3)
Research Papers
/
Tool Demonstrations
at
Kangaroo
Chair(s):
Iftekhar Ahmed
University of California at Irvine, USA
17:10
20m
Talk
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance
Research Papers
Hung Viet Pham
University of Waterloo
,
Shangshu Qian
Purdue University
,
Jiannan Wang
Purdue University
,
Thibaud Lutellier
University of Waterloo
,
Jonathan Rosenthal
Purdue University
,
Lin Tan
Purdue University, USA
,
Yaoliang Yu
University of Waterloo
,
Nachiappan Nagappan
Microsoft Research
Pre-print
17:30
20m
Talk
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Research Papers
Brandon Paulsen
University of Southern California
,
Jingbo Wang
University of Southern California
,
Jiawei Wang
University of Southern California
,
Chao Wang
USC
Pre-print
17:50
10m
Talk
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Tool Demonstrations
Efstratios Kourtzanidis
University Of Macedonia
,
Alexander Chatzigeorgiou
University of Macedonia
,
Apostolos Ampatzoglou
University of Macedonia
Pre-print
Media Attached
File Attached
18:20 - 19:20
Early Career Academics/Developers Q&A
Social/Networking
at
Kangaroo
18:20
60m
Social Event
Early Career Academics/Developers Q&A
Networking Event
Social/Networking
Andrea Stocco
Università della Svizzera italiana (USI)
,
Saba Alimadadi
Simon Fraser University
Thu 24 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
Keynote - Gail C. Murphy
Plenary
at
Kangaroo
Chair(s):
David Lo
Singapore Management University
00:00
60m
Keynote
Is Software Engineering Research Addressing Software Engineering Problems?
Plenary
Gail Murphy
University of British Columbia
01:10 - 02:10
Test Efficiency
Research Papers
/
NIER track
at
Kangaroo
Chair(s):
Darko Marinov
University of Illinois at Urbana-Champaign
01:10
20m
Research paper
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Research Papers
Yufeng Zhang
College of Information Science and Engineering, Hunan University
,
Zhenbang Chen
College of Computer, National University of Defense Technology, Changsha, PR China
,
Ziqi Shuai
National University of Defense Technology
,
Tianqi Zhang
National University of Defense Technology
,
Kenli Li
College of Information Science and Engineering, National Supercomputing Center in Changsha, Hunan University
,
Ji Wang
National University of Defense Technology
Pre-print
01:30
20m
Talk
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
Research Papers
Chijin Zhou
Tsinghua University
,
Mingzhe Wang
School of Software, Tsinghua University
,
Jie Liang
School of Software, Tsinghua University
,
Zhe Liu
Nanjing University of Aeronautics and Astronautics
,
Yu Jiang
01:50
10m
Talk
SRRTA: Regression Testing Acceleration via State Reuse
NIER track
Jinhao Dong
Peking University
,
Yiling Lou
Peking University, China
,
Dan Hao
Peking University, China
02:20 - 03:20
Software Analysis (3)
Research Papers
/
Industry Showcase
at
Kangaroo
Chair(s):
Rahul Purandare
IIIT-Delhi
02:20
20m
Talk
CCGraph: a PDG-based code clone detector with approximate graph matching
Research Papers
Yue Zou
Department of Computer Science and Technology, University of Science and Technology of China
,
Bihuan Ban
School of Data Science, University of Science and Technology of China
,
Yinxing Xue
,
Yun Xu
University of Science and Technology of China
02:40
20m
Talk
Towards Generating Thread-Safe Classes Automatically
Research Papers
Haichi Wang
College of Intelligence and Computing, Tianjin University
,
Zan Wang
Tianjin University, China
,
Jun Sun
Singapore Management University
,
Shuang Liu
Tianjin University, China
,
Ayesha Sadiq
Monash University
,
Yuan-Fang Li
Monash University
03:00
20m
Talk
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Industry Showcase
Yi Liu
Southern University of Science and Technology
,
Jinhui Xie
Tencent Inc.
,
Jianbo Yang
Tencent Inc.
,
Shiyu Guo
Tencent Inc.
,
Yuetang Deng
Tencent, Inc.
,
Shuqing Li
Southern University of Science and Technology
,
Yechang Wu
Southern University of Science and Technology
,
Yepang Liu
Southern University of Science and Technology
08:00 - 09:00
Bugs and Automated Repair
Research Papers
at
Kangaroo
Chair(s):
Jifeng Xuan
Wuhan University
08:00
20m
Talk
No Strings Attached: An Empirical Study of String-related Software Bugs
Research Papers
Aryaz Eghbali
University of Stuttgart
,
Michael Pradel
University of Stuttgart, Germany
Pre-print
File Attached
08:20
20m
Research paper
Automated Patch Correctness Assessment: How Far are We?
Research Papers
Shangwen Wang
National University of Defense Technology
,
Ming Wen
Huazhong University of Science and Technology, China
,
Bo Lin
National University of Defense Technology
,
Hongjun Wu
National University of Defense Technology
,
Yihao Qin
National University of Defense Technology
,
Deqing Zou
Huazhong University of Science and Technology
,
Xiaoguang Mao
National University of Defense Technology
,
Hai Jin
Huazhong University of Science and Technology
DOI
Pre-print
Media Attached
08:40
20m
Research paper
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
Research Papers
Haoye Tian
University of Luxembourg
,
Kui Liu
University of Luxembourg, Luxembourg
,
Abdoul Kader Kaboré
University of Luxembourg
,
Anil Koyuncu
University of Luxembourg, Luxembourg
,
Li Li
Monash University, Australia
,
Jacques Klein
University of Luxembourg, Luxembourg
,
Tegawendé F. Bissyandé
University of Luxembourg, Luxembourg
09:10 - 10:10
Software Security and Trust (2)
Tool Demonstrations
/
Research Papers
/
Industry Showcase
at
Kangaroo
Chair(s):
Raula Gaikovina Kula
NAIST
09:10
20m
Talk
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
Research Papers
Yinxing Xue
,
Mingliang Ma
University of Science and Technology of China
,
Yun Lin
National University of Singapore
,
Yulei Sui
University of Technology Sydney, Australia
,
Jiaming Ye
University of Science and Technology of China
,
Tianyong Peng
University of Science and Technology of China
09:30
20m
Talk
Code-based Vulnerability Detection in Node.js Applications: How far are we?
Industry Showcase
Bodin Chinthanet
Nara Institute of Science and Technology
,
Serena Elisa Ponta
SAP Security Research
,
Henrik Plate
SAP Security Research
,
Antonino Sabetta
SAP Security Research
,
Raula Gaikovina Kula
NAIST
,
Takashi Ishio
Nara Institute of Science and Technology
,
Kenichi Matsumoto
Nara Institute of Science and Technology
09:50
10m
Talk
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Tool Demonstrations
João F. Ferreira
INESC-ID and IST, University of Lisbon
,
Pedro Cruz
IST, University of Lisbon, Portugal
,
Thomas Durieux
KTH Royal Institute of Technology, Sweden
,
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
DOI
10:20 - 11:20
What Makes a Good ASE Paper?
Social/Networking
at
Kangaroo
Chair(s):
Xin Xia
Monash University
10:20
60m
Social Event
What Makes a Good ASE Paper?
Panel
Social/Networking
John Grundy
Monash University
,
Massimiliano Di Penta
University of Sannio, Italy
,
Julia Lawall
Inria
,
Dan Hao
Peking University, China
16:00 - 17:00
Mobile App (2)
NIER track
/
Tool Demonstrations
/
Research Papers
at
Kangaroo
Chair(s):
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00
20m
Talk
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android
Experience
Research Papers
Farnaz Behrang
Georgia Tech
,
Alessandro Orso
Georgia Tech
16:20
20m
Talk
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Research Papers
Jun-Wei Lin
University of California, Irvine
,
Navid Salehnamadi
University of California, Irvine
,
Sam Malek
University of California at Irvine, USA
16:40
10m
Talk
A Framework for Automated Test Mocking of Mobile Apps
NIER track
Mattia Fazzini
University of Minnesota
,
Alessandra Gorla
IMDEA Software Institute
,
Alessandro Orso
Georgia Tech
16:50
10m
Talk
AirMochi – A Tool for Remotely Controlling iOS Devices
Tool Demonstrations
Nikola Lukic
University of Southern California
,
Saghar Talebipour
University of Southern California
,
Nenad Medvidović
University of Southern California, USA
17:10 - 18:40
Most Influential Paper & Closing
Plenary
at
Kangaroo
Chair(s):
Elisabetta Di Nitto
Politecnico di Milano
17:10
60m
Talk
AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks
Plenary
William G.J. Halfond
University of Southern California
,
Alessandro Orso
Georgia Tech
18:10
30m
Day closing
ASE2020 Closing & ASE2021
Plenary
Fri 25 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
08:00 - 10:35
International Workshop on Software Engineering Automation: A Natural Language Perspective
[Workshop] NLP-SEA
at
Kangaroo
Chair(s):
Sajid Anwer
,
Abdul Rauf
RISE Research Institutes of Sweden
,
Mehrdad Saadatmand
RISE SICS
08:00
15m
Talk
Boosting Component-based Synthesis with API Usage Knowledge
Workshop
[Workshop] NLP-SEA
Jiaxin Liu
National University of Defense Technology
,
Wei Dong
School of Computer, National University of Defense Technology, China
,
Binbin Liu
National University of Defense Technology
08:20
15m
Talk
Collective Intelligence for Smarter Neural Program Synthesis
Workshop
[Workshop] NLP-SEA
Daiyan Wang
National University of Defense Technology
,
Wei Dong
School of Computer, National University of Defense Technology, China
,
Yating Zhang
National University of Defense Technology
08:40
15m
Talk
Predicting Software Design Patterns from Text using NeuralEmbedding
Workshop
[Workshop] NLP-SEA
Laksri Wijerathna
Monash University
,
Aldeida Aleti
Monash University
09:00
15m
Talk
NLP-based Enhancement of Information Security in ITO Service Delivery – A Diffusion of Innovation Theory perspective
Workshop
[Workshop] NLP-SEA
Baber Majid Bhatti
University of South Australia
09:20
15m
Talk
AutoEPRS-20: Extracting Business Process Redesign Suggestions from Natural Language Text
Workshop
[Workshop] NLP-SEA
Amina Mustansir
PUCIT, University of the Punjab
,
Khurram Shahzad
PUCIT, University of the Punjab
,
Muhammad Kamran Malik
PUCIT, University of the Punjab
09:40
15m
Talk
Emotion Detection in Roman Urdu Text using Machine Learning
Workshop
[Workshop] NLP-SEA
Adil Majeed
National University of Computer and Emerging Sciences, Islamabad, Pakistan
,
Hasan Mujtaba
National University of Computer and Emerging Sciences, Islamabad, Pakistan
,
Mirza Omer Beg
National University of Computer and Emerging Sciences, Islamabad, Pakistan
10:00
15m
Talk
Mapping Textual Feedback to Process Model Elements
Workshop
[Workshop] NLP-SEA
Sanam Ahmed
Punjab University College of Information Technology , University of the Punjab
,
Amina Mustansir
PUCIT, University of the Punjab
10:20
15m
Talk
Roman Urdu Reviews Dataset for Aspect Based Opinion Mining
Workshop
[Workshop] NLP-SEA
Rabail Zahid
National University of Computer and Emerging Sciences, Islamabad, Pakistan
,
Muhammad Owais Idrees
National University of Computer and Emerging Sciences, Islamabad, Pakistan
,
Hasan Mujtaba
National University of Computer and Emerging Sciences, Islamabad, Pakistan
,
Mirza Omer Beg
National University of Computer and Emerging Sciences, Islamabad, Pakistan
Mon 21 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
18:00
30
Kangaroo
[Workshop] HCSE&CS
Workshop Opening
[Workshop] HCSE&CS
Panel Session
[Workshop] HCSE&CS
Session 1 Paper Presentation
[Workshop] HCSE&CS
Session 2 Paper Presentation
[Workshop] HCSE&CS
Panel Session & Closing
Doctoral Symposium
Opening & Keynote
Doctoral Symposium
DS: Presentation 1
Doctoral Symposium
DS: Presentation 2
Doctoral Symposium
DS: Presentation 3
Doctoral Symposium
Panel & Clossing
Tue 22 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
18:00
30
19:00
30
Kangaroo
Plenary
Opening Ceremony
Plenary
Keynote - Mahesh Krishnan
Research Papers + Industry Showcase + Tool Demonstrations
Test Generation
Research Papers
Software Analysis (1)
Research Papers
Formal Methods (2)
Social/Networking
Women in ASE
Research Papers
Synthesis and Repair
Research Papers + Industry Showcase
Software Analysis (2)
Social/Networking
Ask Me Anything
Wed 23 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
18:00
30
19:00
30
Kangaroo
NIER track + Research Papers
Software Engineering for AI (1)
Research Papers + Industry Showcase
Software Engineering for AI (2)
Social/Networking
How To Get a Job in Industry or Academia
Plenary
Keynote - Marta Kwiatkowska
Research Papers
Synthesis
Social/Networking
PhD Advice
Research Papers
Testing (2)
Research Papers + Tool Demonstrations
Software Engineering for AI (3)
Social/Networking
Early Career Academics/Developers Q&A
Thu 24 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
18:00
30
Kangaroo
Plenary
Keynote - Gail C. Murphy
Research Papers + NIER track
Test Efficiency
Research Papers + Industry Showcase
Software Analysis (3)
Research Papers
Bugs and Automated Repair
Tool Demonstrations + Research Papers + Industry Showcase
Software Security and Trust (2)
Social/Networking
What Makes a Good ASE Paper?
NIER track + Tool Demonstrations + Research Papers
Mobile App (2)
Plenary
Most Influential Paper & Closing
Fri 25 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
8:00
30
9:00
30
10:00
30
Kangaroo
[Workshop] NLP-SEA
International Workshop on Software Engineering Automation: A Natural Language Perspective
Mon 21 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
18:00
15
30
45
Kangaroo
ASE [Workshop] HCSE&CS
Workshop
Children and Cyber Security
00:00 - 01:00
ASE [Workshop] HCSE&CS
Workshop
Panel Session: Cyber security at home - how much more important is it ...
01:10 - 02:40
ASE [Workshop] HCSE&CS
Workshop
A Risk Homeostasis Perspective on Zimbabwean Protective Point-of-Sale T ...
02:50 - 03:02
ASE [Workshop] HCSE&CS
Workshop
Designing a Serious Game: Teaching Developers to Embed Privacy into Sof ...
03:02 - 03:14
ASE [Workshop] HCSE&CS
Workshop
Vulnerability Discovery Strategies Used in Software Projects
03:14 - 03:26
ASE [Workshop] HCSE&CS
Workshop
An Informed Consent Model for Handling the Privacy Paradox in Smart Bui ...
03:26 - 03:38
ASE [Workshop] HCSE&CS
Workshop
Characterizing Co-located Insecure Coding Patterns in Infrastructure as ...
03:38 - 03:50
ASE [Workshop] HCSE&CS
Workshop
Exploring the Requirements of Pandemic Awareness Systems: A Case Study ...
04:30 - 04:46
ASE [Workshop] HCSE&CS
Workshop
mHealth4U: Designing for Health and Wellbeing Self-Managemen
04:46 - 05:02
ASE [Workshop] HCSE&CS
Workshop
Reducing Delay Penalty of Multiple Concurrent Software Projects based o ...
05:02 - 05:18
ASE [Workshop] HCSE&CS
Workshop
Towards Better Understanding of Agile Teams through Behavior Change Models
05:18 - 05:34
ASE [Workshop] HCSE&CS
Workshop
A Vision to Mitigate Bioinformatics Software Development Challenges
05:34 - 05:50
ASE [Workshop] HCSE&CS
Workshop
Panel Session: Human-centric software engineering, past, present and future
06:00 - 07:15
ASE Doctoral Symposium
Opening of Doctoral Symposium
09:00 - 09:10
ASE Doctoral Symposium
Taming your PhD
09:10 - 10:15
ASE Doctoral Symposium
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
10:15 - 10:37
ASE Doctoral Symposium
Using Defect Prediction to Improve the Bug Detection Capability of Sear ...
10:37 - 11:00
ASE Doctoral Symposium
Towards transparency-encouraging partial software disclosure to enable ...
16:00 - 16:20
ASE Doctoral Symposium
SAT-Based Arithmetic Support for Alloy
16:20 - 16:40
ASE Doctoral Symposium
Applying Learning Techniques to Oracle Synthesis
16:40 - 16:57
ASE Doctoral Symposium
Automated generation of client-specific backends utilizing existing mic ...
16:57 - 17:15
ASE Doctoral Symposium
Panel Discussion
17:15 - 18:00
ASE Doctoral Symposium
Closing of ASE 2020 Doctoral Symposium
18:00 - 18:10
Tue 22 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
18:00
15
30
45
19:00
15
30
45
Kangaroo
ASE Plenary
ASE2020 Opening & Awards
00:00 - 01:00
ASE Plenary
Evolution in the automation of CI/CD
01:10 - 02:10
ASE Research Papers
Legion: Best-First Concolic Testing
02:20 - 02:40
ASE Industry Showcase
The New Approach to IT Testing
02:40 - 03:00
ASE Tool Demonstrations
MetPurity: A Learning-Based Tool of Pure Method Identification for Auto ...
03:00 - 03:10
ASE Research Papers
Pending Constraints in Symbolic Execution for Better Exploration and Se ...
08:00 - 08:20
ASE Research Papers
Broadening Horizons of Multilingual Static Analysis: Semantic Summary E ...
08:20 - 08:40
ASE Research Papers
Assessing and Restoring Reproducibility of Jupyter Notebooks
08:40 - 09:00
ASE Research Papers
Verified from Scratch: Program Analysis for Learners' Programs
09:10 - 09:30
ASE Research Papers
Interval Change-Point Detection for Runtime Probabilistic Model Checking
09:30 - 09:50
ASE Research Papers
UnchartIt: An Interactive Framework for Program Recovery from Charts
09:50 - 10:10
ASE Social/Networking
Panel
Women in ASE
10:20 - 11:20
ASE Research Papers
Synthesis of Infinite-State Systems with Random Behavior
16:00 - 16:20
ASE Research Papers
Demystifying Loops in Smart Contracts
16:20 - 16:40
ASE Research Papers
Patching as Translation: The Data and the Metaphor
16:40 - 17:00
ASE Research Papers
Representing and Reasoning about Dynamic Code
17:10 - 17:30
ASE Research Papers
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event ...
17:30 - 17:50
ASE Industry Showcase
Automatic Generation of IFTTT Mashup Infrastructures
17:50 - 18:10
ASE Social/Networking
Ask Me Anything
Ask Me Anything - Miryung Kim
18:20 - 19:20
Wed 23 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
18:00
15
30
45
19:00
15
30
45
Kangaroo
ASE Research Papers
Multiple-Boundary Clustering and Prioritization to Promote Neural Netwo ...
00:00 - 00:20
ASE Research Papers
MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
00:20 - 00:40
ASE NIER track
Making Fair ML Software using Trustworthy Explanation
00:40 - 00:50
ASE Research Papers
Audee: Automated Testing for Deep Learning Frameworks
01:10 - 01:30
ASE Research Papers
Towards Interpreting Recurrent Neural Networks through Probabilistic Ab ...
01:30 - 01:50
ASE Industry Showcase
Towards Building Robust DNN Applications: An Industrial Case Study of E ...
01:50 - 02:10
ASE Social/Networking
Networking Event
How To Get a Job in Industry or Academia
02:20 - 03:20
ASE Plenary
Safety and Robustness for Deep Learning with Provable Guarantees
08:00 - 09:00
ASE Research Papers
Just-In-Time Reactive Synthesis
09:10 - 09:30
ASE Research Papers
JISET: JavaScript IR-based Semantics Extraction Toolchain
09:30 - 09:50
ASE Research Papers
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
09:50 - 10:10
ASE Social/Networking
Panel
PhD Advice
10:20 - 11:20
ASE Research Papers
Experience
TestMC: Testing Model Counters using Differential and Metamorphic Testing
16:00 - 16:20
ASE Research Papers
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abst ...
16:20 - 16:40
ASE Research Papers
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
16:40 - 17:00
ASE Research Papers
Problems and Opportunities in Training Deep Learning Software Systems: ...
17:10 - 17:30
ASE Research Papers
NeuroDiff: Scalable Differential Verification of Neural Networks using ...
17:30 - 17:50
ASE Tool Demonstrations
RepoSkillMiner: Identifying software expertise from GitHub repositories ...
17:50 - 18:00
ASE Social/Networking
Networking Event
Early Career Academics/Developers Q&A
18:20 - 19:20
Thu 24 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
18:00
15
30
45
Kangaroo
ASE Plenary
Is Software Engineering Research Addressing Software Engineering Problems?
00:00 - 01:00
ASE Research Papers
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
01:10 - 01:30
ASE Research Papers
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
01:30 - 01:50
ASE NIER track
SRRTA: Regression Testing Acceleration via State Reuse
01:50 - 02:00
ASE Research Papers
CCGraph: a PDG-based code clone detector with approximate graph matching
02:20 - 02:40
ASE Research Papers
Towards Generating Thread-Safe Classes Automatically
02:40 - 03:00
ASE Industry Showcase
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
03:00 - 03:20
ASE Research Papers
No Strings Attached: An Empirical Study of String-related Software Bugs
08:00 - 08:20
ASE Research Papers
Automated Patch Correctness Assessment: How Far are We?
08:20 - 08:40
ASE Research Papers
Evaluating Representation Learning of Code Changes for Predicting Patch ...
08:40 - 09:00
ASE Research Papers
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulne ...
09:10 - 09:30
ASE Industry Showcase
Code-based Vulnerability Detection in Node.js Applications: How far are we?
09:30 - 09:50
ASE Tool Demonstrations
SmartBugs: A Framework to Analyze Solidity Smart Contracts
09:50 - 10:00
ASE Social/Networking
Panel
What Makes a Good ASE Paper?
10:20 - 11:20
ASE Research Papers
Experience
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test ...
16:00 - 16:20
ASE Research Papers
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
16:20 - 16:40
ASE NIER track
A Framework for Automated Test Mocking of Mobile Apps
16:40 - 16:50
ASE Tool Demonstrations
AirMochi – A Tool for Remotely Controlling iOS Devices
16:50 - 17:00
ASE Plenary
AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks
17:10 - 18:10
ASE Plenary
ASE2020 Closing & ASE2021
18:10 - 18:40
Fri 25 Sep
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
Kangaroo
ASE [Workshop] NLP-SEA
Workshop
Boosting Component-based Synthesis with API Usage Knowledge
08:00 - 08:15
ASE [Workshop] NLP-SEA
Workshop
Collective Intelligence for Smarter Neural Program Synthesis
08:20 - 08:35
ASE [Workshop] NLP-SEA
Workshop
Predicting Software Design Patterns from Text using NeuralEmbedding
08:40 - 08:55
ASE [Workshop] NLP-SEA
Workshop
NLP-based Enhancement of Information Security in ITO Service Delivery – ...
09:00 - 09:15
ASE [Workshop] NLP-SEA
Workshop
AutoEPRS-20: Extracting Business Process Redesign Suggestions from Natu ...
09:20 - 09:35
ASE [Workshop] NLP-SEA
Workshop
Emotion Detection in Roman Urdu Text using Machine Learning
09:40 - 09:55
ASE [Workshop] NLP-SEA
Workshop
Mapping Textual Feedback to Process Model Elements
10:00 - 10:15
ASE [Workshop] NLP-SEA
Workshop
Roman Urdu Reviews Dataset for Aspect Based Opinion Mining
10:20 - 10:35
x
Thu 21 Nov 09:42