Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Venue(Virtual) Arts Centre Melbourne
Room nameKoala
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

Mon 21 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

08:00 - 11:20
International Workshop on Advances in Mobile App Analysis[Workshop] A-Mobile at Koala
08:00
10m
Day opening
A-Mobile - Welcome and OpeningWorkshop
[Workshop] A-Mobile
O: Xiao Chen Monash University, O: Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Jacques Klein University of Luxembourg, Luxembourg, Sam Malek University of California at Irvine, USA
08:10
60m
Keynote
Mobile App Testing and Analysis: Getting There in Industrial CasesWorkshop
[Workshop] A-Mobile
Tao Xie Peking University, USA
09:10
30m
Talk
Invited Talk: Smart Development of Mobile Apps with Deep Learning Workshop
[Workshop] A-Mobile
Chunyang Chen Monash University, Australia
09:40
20m
Talk
A Framework for the Automatic Execution of Measurement-based Experiments on Android DevicesWorkshop
[Workshop] A-Mobile
Ivano Malavolta Vrije Universiteit Amsterdam, Eoin Grua Vrije Universiteit Amsterdam, Cheng-Yu Lam , Randy de Vries , Franky Tan , Eric Zielinski , Michael Peters , Luuk Kaandorp
Pre-print
10:00
20m
Talk
Ecosystem Evolution Analysis and Trend Prediction of Projects in Android Application FrameworkWorkshop
[Workshop] A-Mobile
Zhehao Fan Tianjin University, Zhiyong Feng Tianjin University, Xiao Xue , Shizhan Chen , Hongyue Wu
10:20
20m
Talk
KnowledgeZooClient: Constructing Knowledge Graph for AndroidWorkshop
[Workshop] A-Mobile
Li Li Monash University, Australia, Jun Gao University of Luxembourg, Luxembourg, Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Haoyu Wang Beijing University of Posts and Telecommunications, China, Mengyu Huang Monash University, Yuan-Fang Li Monash University, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg
10:40
20m
Talk
Market-level Analysis of Government-backed COVID-19 Contact Tracing AppsWorkshop
[Workshop] A-Mobile
Huiyi Wang Beijing University of Posts and Telecommunications, Liu Wang Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications, China
11:00
20m
Talk
Enforcing Green Code with Android LintWorkshop
[Workshop] A-Mobile
Olivier Le Goaer LIUPPA, Université de Pau et des Pays de l'Adour
DOI Pre-print Media Attached

Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

02:20 - 03:20
Formal Methods (1)NIER track / Research Papers at Koala
Chair(s): Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto
02:20
20m
Talk
Accelerating All-SAT Computation with Short Blocking Clauses
Research Papers
Yueling Zhang Singapore Management University, Geguang Pu East China Normal University, Jun Sun Singapore Management University
02:40
20m
Talk
A Predictive Analysis for Detecting Deadlock in MPI Programs
Research Papers
Yu Huang Southwestern University of Finance and Economics, Benjamin Ogles Brigham Young University, Eric Mercer Brigham Young University
Pre-print
03:00
10m
Talk
Proving Termination by k-Induction
NIER track
Jianhui Chen Tsinghua University, Fei He Tsinghua University, China
08:00 - 09:00
Maintenance and Evolution (2)Research Papers / Journal-first Papers at Koala
Chair(s): Cuiyun Gao Harbin Institute of Technology
08:00
20m
Talk
M3: Semantic API Migrations
Research Papers
Bruce Collie University of Edinburgh, Philip Ginsbach GitHub Software UK, Jackson Woodruff University of Edinburgh, Ajitha Rajan University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh
Pre-print Media Attached
08:20
20m
Talk
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel
Research Papers
Nic Volanschi Inria Bordeaux, Julia Lawall Inria
Pre-print
08:40
20m
Talk
Game-theoretic Analysis of Development Practices: Challenges and Opportunities
Journal-first Papers
Carlos Gavidia-Calderon University College London, Federica Sarro University College London, UK, Mark Harman University College London, UK, Earl T. Barr University College London, UK
Link to publication DOI Pre-print Media Attached
09:10 - 10:10
Mobile App (1)Tool Demonstrations / Research Papers at Koala
Chair(s): Jacques Klein University of Luxembourg, Luxembourg
09:10
20m
Talk
Demystifying Diehard Android Apps
Research Papers
Hao Zhou The Hong Kong Polytechnic University, Haoyu Wang Beijing University of Posts and Telecommunications, China, Yajin Zhou Zhejiang University, Xiapu Luo The Hong Kong Polytechnic University, Yutian Tang ShanghaiTech University, Lei Xue The Hong Kong Polytechnic University, Ting Wang Penn State University
09:30
20m
Talk
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
Research Papers
Hao Zhou The Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China, Haoyu Wang Beijing University of Posts and Telecommunications, China, Le Yu The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Ting Wang Penn State University, Wei Zhang Nanjing University of Posts and Telecommunications
09:50
10m
Talk
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Tool Demonstrations
Marco Mobilio University of Milano Bicocca, Oliviero Riganelli University of Milano-Bicocca, Italy, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano Bicocca
10:20 - 11:20
LBR + DS Poster (1)Late Breaking Results / Doctoral Symposium at Koala
Chair(s): Kevin Lee Deakin University
10:20
5m
Poster
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
Late Breaking Results
Tianqi Zhang National University of Defense Technology, 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, Ji Wang National University of Defense Technology
10:25
5m
Poster
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
Late Breaking Results
Meixi Liu National University of Defense Technology, Changsha, China, Weijiang Hong National University of Defense Technology, Changsha, China, Weiyu Pan National University of Defense Technology, Changsha, China, Chendong Feng College of Computer, National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ji Wang National University of Defense Technology
10:30
5m
Poster
Synthesizing Smart Solving Strategy for Symbolic Execution
Late Breaking Results
Zehua Chen National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Ziqi Shuai National University of Defense Technology, Yufeng Zhang College of Information Science and Engineering, Hunan University, Weiyu Pan National University of Defense Technology, Changsha, China
10:35
5m
Poster
Privacy Assessment of Android Clipboard
Late Breaking Results
Wei (Zach) Wang The University of Adelaide, Ruoxi Sun The University of Adelaide, Jason Minhui Xue The University of Adelaide, Damith C. Ranasinghe The University of Adelaide
DOI
10:40
5m
Poster
The Symptom, Cause and Repair of Workaround
Late Breaking Results
Daohan Song Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University, Li Jia Shanghai Jiao Tong University
10:45
5m
Poster
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
Late Breaking Results
Han Gao School of Computer Science and Technology, Anhui University, Yi Xu School of Computer Science and Technology, Anhui University, Xiao Liu School of Information Technology, Deakin University, Jia Xu School of Computer Science and Technology, Anhui University, Tianxiang Chen School of Computer Science and Technology, Anhui University, Bowen Zhou School of Computer Science and Technology, Anhui University, Rui Li School of Information Technology, Deakin University, Xuejun Li School of Computer Science and Technology, Anhui University
10:50
5m
Poster
Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation
Late Breaking Results
Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Bangalore, India, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
10:55
5m
Poster
Towards Programming and Verification for Activity-Oriented Smart Home Systems
Late Breaking Results
Xuansong Li School of Computer Science and Engineering, Nanjing University of Science and Technology, Wei Song School of Computer Science and Engineering, Nanjing University of Science and Technology, Xiangyu Zhang Purdue University, USA
11:00
5m
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala Abdelkader Applied Artificial Intelligence Institute, Deakin University
11:05
5m
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 - 17:00
Maintenance and Evolution (3)Research Papers / Tool Demonstrations at Koala
Chair(s): Yongjie Zheng California State University San Marcos
16:00
20m
Talk
Subdomain-Based Generality-Aware Debloating
Research Papers
Qi Xin Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, USA, Alessandro Orso Georgia Tech
16:20
20m
Talk
Revisiting the relationship between fault detection, test adequacy criteria, and test set size.
Research Papers
Yiqun Chen University of Washington, Rahul Gopinath CISPA Helmholtz Center for Information Security, Anita Tadakamalla George Mason University, USA, Michael D. Ernst University of Washington, USA, Reid Holmes University of British Columbia, Gordon Fraser University of Passau, Paul Ammann George Mason University, USA, René Just University of Washington, USA
16:40
10m
Talk
WASim: Understanding WebAssembly Applications through Classification
Tool Demonstrations
Alan Romano University at Buffalo, SUNY, Weihang Wang University at Buffalo, SUNY
16:50
10m
Talk
Sosed: a tool for finding similar software projects
Tool Demonstrations
Egor Bogomolov JetBrains Research, Yaroslav Golubev JetBrains Research, Artyom Lobanov JetBrains Research, Vladimir Kovalenko JetBrains Research, JetBrains N.V., Timofey Bryksin JetBrains Research, Saint Petersburg State University
17:10 - 18:10
AI for Software Engineering (1)NIER track / Research Papers at Koala
Chair(s): Tingting Yu University of Kentucky
17:10
20m
Talk
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
Research Papers
Devjeet Roy Washington State University, Ziyi Zhang Washington State University, Maggie Ma Washington State University, Venera Arnaoudova Washington State University, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Danielle Gonzalez Rochester Institute of Technology, USA, Mehdi Mirakhorli Rochester Institute of Technology
17:30
20m
Talk
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Research Papers
Mohammad Jafar Mashhadi University of Calgary, Hadi Hemmati University of Calgary
Pre-print
17:50
10m
Talk
On Benign Features in Malware Detection
NIER track
Michael Cao The University of British Columbia, Sahar Badihi University of British Columbia, Canada, Khaled Ahmed The University of British Columbia, Peiyu Xiong The University of British Columbia, Julia Rubin University of British Columbia, Canada
18:20 - 19:20
LBR + DS Poster (2)Doctoral Symposium / Late Breaking Results at Koala
Chair(s): Kevin Lee Deakin University
18:20
5m
Poster
Managing App Testing Device Clouds: Issues and Opportunities
Late Breaking Results
Mattia Fazzini University of Minnesota, Alessandro Orso Georgia Tech
18:25
5m
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian Schindler Institute for Enterprise Systems, University of Mannheim
18:30
5m
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
18:35
5m
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar Cornejo University of Rio Cuarto and CONICET
18:40
5m
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo Molina University of Río Cuarto

Wed 23 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00
AI for Software Engineering (2)Research Papers at Koala
Chair(s): Tse-Hsun (Peter) Chen Concordia University
00:00
20m
Talk
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
Research Papers
Mingyang Li ISCAS, Lin Shi ISCAS, Ye Yang Stevens institute of technology, Qing Wang Institute of Software, Chinese Academy of Sciences
00:20
20m
Talk
Retrieve and Refine: Exemplar-based Neural Comment Generation
Research Papers
Bolin Wei Peking University, Yongmin Li Peking University, Ge Li Peking University, Xin Xia Monash University, Zhi Jin Peking University
Pre-print
00:40
20m
Talk
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
Research Papers
Zhenhao Li Concordia University, Tse-Hsun (Peter) Chen Concordia University, Weiyi Shang Concordia University
01:10 - 02:10
Recommender Systems for Software EngineeringResearch Papers / Tool Demonstrations at Koala
Chair(s): Shaowei Wang Mississippi State University
01:10
20m
Talk
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
Research Papers
Xiaoxue Ren Zhejiang University, Xinyuan Ye Australian National University, Zhenchang Xing Australian National University, Australia, Xin Xia Monash University, Xiwei Xu Data61 at CSIRO, Australia, Liming Zhu Data61 at CSIRO, Australia / UNSW, Australia, Jianling Sun Zhejiang University
Pre-print
01:30
20m
Talk
Multi-task Learning based Pre-trained Language Model for Code Completion
Research Papers
Fang Liu Peking University, Ge Li Peking University, Yunfei Zhao Peking University, Zhi Jin Peking University
01:50
10m
Talk
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
Tool Demonstrations
Chenqian Zhu Nanjing University, Weisong Sun State Key Laboratory for Novel Software Technology, Nanjing University, Qin LIU , Yangyang Yuan Nanjing University, Chunrong Fang Nanjing University, China, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University
02:20 - 03:20
SRC Poster (1)Student Research Competition at Koala
Chair(s): Chunyang Chen Monash University
02:20
5m
Poster
Dynamic Algorithm Selection for SMT
Student Research Competition
Nikhil Pimpalkhare University of California, Berkeley
02:25
5m
Poster
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
Student Research Competition
Harshita Diddee Guru Gobind Singh Indraprastha University, Bhrigu Kansra Guru Gobind Singh Indraprastha University
02:30
5m
Poster
Scalability and Precision Improvement of Neural Program Synthesis
Student Research Competition
Yating Zhang National University of Defense Technology
02:35
5m
Poster
The Classification and Propagation of Program CommentsSecond place SRC - Undergraduate
Student Research Competition
Xiangzhe Xu Nanjing University
02:40
5m
Poster
Source Code and Binary Level Vulnerability Detection and Hot PatchingThird place SRC - Graduate
Student Research Competition
Zhengzi Xu Nanyang Technological University
02:45
5m
Poster
FLUX: From SQL to GQL query translation tool
Student Research Competition
Chandan Sharma Auckland University of Technology
02:50
5m
Poster
Discovering UI Display Issues with Visual UnderstandingWinner SRC - Graduate
Student Research Competition
Zhe Liu Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences
09:10 - 10:10
Configuration Management (1)Research Papers at Koala
Chair(s): Carmine Vassallo University of Zurich, Switzerland
09:10
20m
Talk
Automated Implementation of Windows-related Security-Configuration Guides
Research Papers
Patrick Stöckle Technical University of Munich, Bernd Grobauer Siemens AG, Alexander Pretschner Technical University of Munich
Link to publication DOI Pre-print
09:30
20m
Talk
Identifying Software Performance Changes Across Variants and Versions
Research Papers
Stefan Mühlbauer Leipzig University, Sven Apel Saarland University, Germany, Norbert Siegmund Leipzig University
DOI Pre-print
09:50
20m
Talk
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
Research Papers
Haochen He National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, China, Erci Xu National University of Defense Technology, Tingting Yu University of Kentucky, Yue Yu College of Computer, National University of Defense Technology, Changsha 410073, China, Ji Wang National University of Defense Technology, Xiangke Liao National University of Defense Technology, China
DOI Pre-print
10:20 - 11:20
SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh Khalajzadeh Monash University, Australia
10:20
5m
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
Zhipeng Gao Monash University
10:25
5m
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei Gao ShanghaiTech University
10:30
5m
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi Chen Monash University
10:35
5m
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing Liu Nanyang Technological University
10:40
5m
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining Feng National University of Defense Technology
10:45
5m
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi Wu Southern University of Science and Technology
10:50
5m
Poster
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machinesSecond place SRC - Graduate
Student Research Competition
Kamil Masalimov Ufa State Aviation Technical University
10:55
5m
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz Souza Federal University of Campina Grande
16:00 - 17:00
Configuration Management (2)Research Papers at Koala
Chair(s): Arie van Deursen Delft University of Technology, Netherlands
16:00
20m
Talk
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
Research Papers
Chengyuan Wen Virginia Tech, Yaxuan Zhang Virginia Tech, Xiao He University of Science and Technology Beijing, China, Na Meng Virginia Tech
16:20
20m
Talk
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
Research Papers
Johannes Dorn Leipzig University, Sven Apel Saarland University, Germany, Norbert Siegmund Leipzig University
DOI Pre-print
16:40
20m
Talk
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS ProjectsACM Distinguished Paper
Research Papers
Likang Yin University of California, Davis, Vladimir Filkov University of California at Davis, USA
17:10 - 18:10
Empirical Software Engineering (1)Research Papers / Journal-first Papers at Koala
Chair(s): Jinqiu Yang Concordia University, Montreal, Canada
17:10
20m
Talk
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
Research Papers
David Gros University of California, Davis, Hariharan Sezhiyan University of California, Davis, Prem Devanbu University of California, Zhou Yu University of California, Davis
17:30
20m
Talk
Reproducing Performance Bug Reports in Server Applications: The Researchers' Experiences
Journal-first Papers
Xue Han University of Kentucky, Daniel Carroll University of Kentucky, Tingting Yu University of Kentucky
Link to publication DOI
17:50
20m
Talk
Exploring the Architectural Impact of Possible Dependencies in Python software
Research Papers
Wuxia Jin Xi'an Jiaotong University, Yuanfang Cai Drexel University, Rick Kazman University of Hawai‘i at Mānoa, Gang Zhang Emergent Design Inc, Qinghua Zheng Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
18:20 - 19:20
Ask Me AnythingSocial/Networking at Koala
Chair(s): Mattia Fazzini University of Minnesota
18:20
60m
Social Event
Ask Me Anything - Darko MarinovAsk Me Anything
Social/Networking
Darko Marinov University of Illinois at Urbana-Champaign

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

01:10 - 02:10
Maintenance and Evolution (4)Research Papers / Tool Demonstrations at Koala
Chair(s): Xin Xia Monash University
01:10
20m
Talk
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
Research Papers
Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Shihan Dou Huazhong University of Science and Technology, Siru Yang Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, USA, Feng Cheng Huazhong University of Science and Technology, Hong Liang Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
01:30
20m
Talk
Generating Concept based API Element Comparison Using a Knowledge Graph
Research Papers
Yang Liu Fudan University, China, Mingwei Liu Fudan University, China, Xin Peng Fudan University, China, Christoph Treude University of Adelaide, Australia, Zhenchang Xing Australian National University, Australia, Xiaoxin Zhang Fudan University, China
01:50
10m
Talk
JITBot: An Explainable Just-In-Time Defect Prediction Bot
Tool Demonstrations
Chaiyakarn Khanan Mahidol University, Worawit Luewichana Mahidol University, Krissakorn Pruktharathikoon Mahidol University, Jirayus Jiarpakdee Monash University, Australia, Chakkrit Tantithamthavorn Monash University, Australia, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University
02:20 - 03:20
Empirical Software Engineering (2)Research Papers at Koala
Chair(s): Julia Rubin University of British Columbia, Canada
02:20
20m
Talk
Understanding Performance Concerns in the API Documentation of Data Science Libraries
Research Papers
Yida Tao Shenzhen University, Jiefang Jiang Shenzhen University, Yepang Liu Southern University of Science and Technology, Zhiwu Xu Shenzhen University, Shengchao Qin University of Teesside
02:40
20m
Talk
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Research Papers
Samuel Benton The University of Texas at Dallas, Xia Li Kennesaw State University, Yiling Lou Peking University, China, Lingming Zhang University of Illinois at Urbana-Champaign, USA
03:00
20m
Talk
Automated Third-party Library Detection for Android Applications: Are We There Yet?Experience
Research Papers
Xian Zhan The Hong Kong Polytechnic University, Lingling Fan Nanyang Technological University, Singapore, Tianming Liu Monash University, Australia, Sen Chen Nanyang Technological University, Singapore, Li Li Monash University, Australia, Haoyu Wang Beijing University of Posts and Telecommunications, China, Yifei Xu Southern University of Science and Technology, Xiapu Luo The Hong Kong Polytechnic University, Yang Liu Nanyang Technological University, Singapore
08:00 - 09:00
Verification and TestingTool Demonstrations / Industry Showcase / Research Papers at Koala
Chair(s): Jun Sun Singapore Management University
08:00
20m
Talk
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Research Papers
Cedric Richter Paderborn University, Germany, Heike Wehrheim Paderborn University
08:20
20m
Talk
Lightweight MBT Testing for National e-Health Portal in Norway
Industry Showcase
Davrondzhon Gafurov Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF, Margrete Sunde Grovan Norsk Helsenett SF
08:40
10m
Talk
Speeding up GUI Testing by On-Device Test Generation
Tool Demonstrations
Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Jenny Rau CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA, Germany
08:50
10m
Talk
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar Javed Università della Svizzera italiana, Joshua Heneage Dawes University of Manchester and CERN, Marta Han University of Zagreb and CERN, Giovanni Franzoni CERN, Andreas Pfeiffer CERN, Giles Reger University of Manchester, Walter Binder University of Lugano, Switzerland
09:10 - 10:10
Testing and AIResearch Papers / Journal-first Papers at Koala
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
09:10
20m
Talk
Predicting failures in multi-tier distributed systems
Journal-first Papers
Leonardo Mariani University of Milano Bicocca, Mauro Pezze USI Lugano, Switzerland, Oliviero Riganelli University of Milano-Bicocca, Italy, Rui Xin USI Università della Svizzera italiana
09:30
20m
Talk
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
Research Papers
David Berend Nanyang Technological University, Singapore, Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Lingjun Zhou College of Intelligence and Computing, Tianjin University, Yang Liu Nanyang Technological University, Singapore, Chi Xu Singapore Institute of Manufacturing Technology, A*Star, Jianjun Zhao Kyushu University
09:50
20m
Talk
Metamorphic Object Insertion for Testing Object Detection Systems
Research Papers
Shuai Wang Hong Kong University of Science and Technology, Zhendong Su ETH Zurich, Switzerland
16:00 - 17:00
Software Security and Trust (3)Research Papers at Koala
Chair(s): Julia Lawall Inria
16:00
20m
Talk
Prober: Practically Defending Overflows with Page Protection
Research Papers
Hongyu Liu Purdue University, Ruiqin Tian College of William and Mary, Bin Ren College of William and Mary, Tongping Liu University of Massachusetts Amherst
16:20
20m
Talk
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Research Papers
Alan Romano University at Buffalo, SUNY, Yunhui Zheng IBM Research, Weihang Wang University at Buffalo, SUNY
16:40
20m
Talk
Summary-Based Symbolic Evaluation for Smart ContractsACM Distinguished Paper
Research Papers
Yu Feng University of California, Santa Barbara, Emina Torlak University of Washington, Rastislav Bodik University of Washington

Fri 25 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

08:00 - 11:45
International Workshop on Sustainable Software Engineering[Workshop] SUSTAIN-SE at Koala
08:00
10m
Day opening
Workshop Welcome & Introduction by the OrganizersWorkshop
[Workshop] SUSTAIN-SE
Vikrant Kaulgud Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Bangalore, India
08:10
20m
Keynote
Keynote TalkWorkshop
[Workshop] SUSTAIN-SE
Sanjay Podder Accenture
08:30
30m
Talk
Energy Efficiency in Robotics Software: A Systematic Literature ReviewWorkshop
[Workshop] SUSTAIN-SE
Stan Swanborn Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
09:00
30m
Talk
Gesture Driven Smart Home Solution for Bedridden People.Workshop
[Workshop] SUSTAIN-SE
Nimna Jayaweera Sri Lanka Institute of Information Technology, Binura Hetti Gamage , Mihiri Samaraweera , Sachintha Liyanage
09:30
15m
Break
Break
[Workshop] SUSTAIN-SE

09:45
30m
Talk
Energy Wars - Chrome vs. Firefox: Which browser is more energy efficient?Workshop
[Workshop] SUSTAIN-SE
João Aloísio Universidade do Minho, Nelson Gonçalves Universidade do Minho, João de Macedo Universidade do Minho, Rui Pereira HASLab/INESC TEC & Universidade do Minho & Universidade da Beira Interior, João Saraiva
10:15
30m
Talk
Sustainability in Migrating Workloads to Public CloudsWorkshop
[Workshop] SUSTAIN-SE
10:45
30m
Talk
E-Debitum: Managing Software Energy DebtWorkshop
[Workshop] SUSTAIN-SE
Daniel Maia HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Rui Pereira HASLab/INESC TEC & Universidade do Minho & Universidade da Beira Interior, João Saraiva
11:15
30m
Day closing
Workshop all hands discussion on Green Software and ClosingWorkshop
[Workshop] SUSTAIN-SE

Mon 21 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Koala

Wed 23 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Koala

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Koala