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
Times are displayed in 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 ChenMonash University, O: Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Jacques KleinUniversity of Luxembourg, Luxembourg, Sam MalekUniversity of California at Irvine, USA
08:10
60m
Keynote
Mobile App Testing and Analysis: Getting There in Industrial CasesWorkshop
[Workshop] A-Mobile
Tao XiePeking University, USA
09:10
30m
Talk
Invited Talk: Smart Development of Mobile Apps with Deep Learning Workshop
[Workshop] A-Mobile
Chunyang ChenMonash University, Australia
09:40
20m
Talk
A Framework for the Automatic Execution of Measurement-based Experiments on Android DevicesWorkshop
[Workshop] A-Mobile
Ivano MalavoltaVrije Universiteit Amsterdam, Eoin GruaVrije 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 FanTianjin University, Zhiyong FengTianjin University, Xiao Xue, Shizhan Chen, Hongyue Wu
10:20
20m
Talk
KnowledgeZooClient: Constructing Knowledge Graph for AndroidWorkshop
[Workshop] A-Mobile
Li LiMonash University, Australia, Jun GaoUniversity of Luxembourg, Luxembourg, Pingfan KongInterdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Haoyu WangBeijing University of Posts and Telecommunications, China, Mengyu HuangMonash University, Yuan-Fang LiMonash 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 WangBeijing University of Posts and Telecommunications, Liu WangBeijing University of Posts and Telecommunications, Haoyu WangBeijing University of Posts and Telecommunications, China
11:00
20m
Talk
Enforcing Green Code with Android LintWorkshop
[Workshop] A-Mobile
Olivier Le GoaerLIUPPA, Université de Pau et des Pays de l'Adour
DOI Pre-print Media Attached

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

02:20 - 03:20
Formal Methods (1)Research Papers / NIER track at Koala
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto
02:20
20m
Talk
Accelerating All-SAT Computation with Short Blocking Clauses
Research Papers
Yueling ZhangSingapore Management University, Geguang PuEast China Normal University, Jun SunSingapore Management University
02:40
20m
Talk
A Predictive Analysis for Detecting Deadlock in MPI Programs
Research Papers
Yu HuangSouthwestern University of Finance and Economics, Benjamin OglesBrigham Young University, Eric MercerBrigham Young University
Pre-print
03:00
10m
Talk
Proving Termination by k-Induction
NIER track
Jianhui ChenTsinghua University, Fei HeTsinghua University, China
08:00 - 09:00
Maintenance and Evolution (2)Research Papers / Journal-first Papers at Koala
Chair(s): Cuiyun GaoHarbin Institute of Technology
08:00
20m
Talk
M3: Semantic API Migrations
Research Papers
Bruce CollieUniversity of Edinburgh, Philip GinsbachGitHub Software UK, Jackson WoodruffUniversity of Edinburgh, Ajitha RajanUniversity of Edinburgh, Michael F. P. O'BoyleUniversity 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 VolanschiInria Bordeaux, Julia LawallInria
Pre-print
08:40
20m
Talk
Game-theoretic Analysis of Development Practices: Challenges and Opportunities
Journal-first Papers
Carlos Gavidia-CalderonUniversity College London, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Earl T. BarrUniversity College London, UK
Link to publication DOI Pre-print Media Attached
09:10 - 10:10
Mobile App (1)Research Papers / Tool Demonstrations at Koala
Chair(s): Jacques KleinUniversity of Luxembourg, Luxembourg
09:10
20m
Talk
Demystifying Diehard Android Apps
Research Papers
Hao ZhouThe Hong Kong Polytechnic University, Haoyu WangBeijing University of Posts and Telecommunications, China, Yajin ZhouZhejiang University, Xiapu LuoThe Hong Kong Polytechnic University, Yutian TangShanghaiTech University, Lei XueThe Hong Kong Polytechnic University, Ting WangPenn State University
09:30
20m
Talk
UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps
Research Papers
Hao ZhouThe Hong Kong Polytechnic University, Ting ChenUniversity of Electronic Science and Technology of China, Haoyu WangBeijing University of Posts and Telecommunications, China, Le YuThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Ting WangPenn State University, Wei ZhangNanjing University of Posts and Telecommunications
09:50
10m
Talk
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades
Tool Demonstrations
Marco MobilioUniversity of Milano Bicocca, Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Daniela MicucciUniversity of Milano-Bicocca, Italy, Leonardo MarianiUniversity of Milano Bicocca
10:20 - 11:20
LBR + DS Poster (1)Late Breaking Results / Doctoral Symposium at Koala
Chair(s): Kevin LeeDeakin University
10:20
5m
Poster
Efficient Multiplex Symbolic Execution with Adaptive Search Strategy
Late Breaking Results
Tianqi ZhangNational University of Defense Technology, Yufeng ZhangCollege of Information Science and Engineering, Hunan University, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ziqi ShuaiNational University of Defense Technology, Ji WangNational University of Defense Technology
10:25
5m
Poster
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN
Late Breaking Results
Meixi LiuNational University of Defense Technology, Changsha, China, Weijiang HongNational University of Defense Technology, Changsha, China, Weiyu PanNational University of Defense Technology, Changsha, China, Chendong FengCollege of Computer, National University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ji WangNational University of Defense Technology
10:30
5m
Poster
Synthesizing Smart Solving Strategy for Symbolic Execution
Late Breaking Results
Zehua ChenNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Ziqi ShuaiNational University of Defense Technology, Yufeng ZhangCollege of Information Science and Engineering, Hunan University, Weiyu PanNational University of Defense Technology, Changsha, China
10:35
5m
Poster
Privacy Assessment of Android Clipboard
Late Breaking Results
Wei (Zach) WangThe University of Adelaide, Ruoxi SunThe University of Adelaide, Jason Minhui XueThe University of Adelaide, Damith C. RanasingheThe University of Adelaide
DOI
10:40
5m
Poster
The Symptom, Cause and Repair of Workaround
Late Breaking Results
Daohan SongShanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University, Li JiaShanghai Jiao Tong University
10:45
5m
Poster
Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems
Late Breaking Results
Han GaoSchool of Computer Science and Technology, Anhui University, Yi XuSchool of Computer Science and Technology, Anhui University, Xiao LiuSchool of Information Technology, Deakin University, Jia XuSchool of Computer Science and Technology, Anhui University, Tianxiang ChenSchool of Computer Science and Technology, Anhui University, Bowen ZhouSchool of Computer Science and Technology, Anhui University, Rui LiSchool of Information Technology, Deakin University, Xuejun LiSchool 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 MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Bangalore, India, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture, Adam P. BurdenAccenture
10:55
5m
Poster
Towards Programming and Verification for Activity-Oriented Smart Home Systems
Late Breaking Results
Xuansong LiSchool of Computer Science and Engineering, Nanjing University of Science and Technology, Wei SongSchool of Computer Science and Engineering, Nanjing University of Science and Technology, Xiangyu ZhangPurdue University, USA
11:00
5m
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala AbdelkaderApplied 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 PereraMonash University
DOI Pre-print
16:00 - 17:00
Maintenance and Evolution (3)Research Papers / Tool Demonstrations at Koala
Chair(s): Yongjie ZhengCalifornia State University San Marcos
16:00
20m
Talk
Subdomain-Based Generality-Aware Debloating
Research Papers
Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, USA, Alessandro OrsoGeorgia Tech
16:20
20m
Talk
Revisiting the relationship between fault detection, test adequacy criteria, and test set size.
Research Papers
Yiqun ChenUniversity of Washington, Rahul GopinathCISPA Helmholtz Center for Information Security, Anita TadakamallaGeorge Mason University, USA, Michael D. ErnstUniversity of Washington, USA, Reid HolmesUniversity of British Columbia, Gordon FraserUniversity of Passau, Paul AmmannGeorge Mason University, USA, René JustUniversity of Washington, USA
16:40
10m
Talk
WASim: Understanding WebAssembly Applications through Classification
Tool Demonstrations
Alan RomanoUniversity at Buffalo, SUNY, Weihang WangUniversity at Buffalo, SUNY
16:50
10m
Talk
Sosed: a tool for finding similar software projects
Tool Demonstrations
Egor BogomolovJetBrains Research, Yaroslav GolubevJetBrains Research, ITMO University, Artyom LobanovJetBrains Research, Vladimir KovalenkoJetBrains Research, JetBrains N.V., Timofey BryksinJetBrains Research, Saint Petersburg State University
17:10 - 18:10
AI for Software Engineering (1)Research Papers / NIER track at Koala
Chair(s): Tingting YuUniversity of Kentucky
17:10
20m
Talk
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests
Research Papers
Devjeet RoyWashington State University, Ziyi ZhangWashington State University, Maggie MaWashington State University, Venera ArnaoudovaWashington State University, Annibale PanichellaDelft University of Technology, Sebastiano PanichellaZurich University of Applied Sciences, Danielle GonzalezRochester Institute of Technology, USA, Mehdi MirakhorliRochester Institute of Technology
17:30
20m
Talk
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems
Research Papers
Mohammad Jafar MashhadiUniversity of Calgary, Hadi HemmatiUniversity of Calgary
Pre-print
17:50
10m
Talk
On Benign Features in Malware Detection
NIER track
Michael CaoThe University of British Columbia, Sahar BadihiUniversity of British Columbia, Canada, Khaled AhmedThe University of British Columbia, Peiyu XiongThe University of British Columbia, Julia RubinUniversity of British Columbia, Canada
18:20 - 19:20
LBR + DS Poster (2)Late Breaking Results / Doctoral Symposium at Koala
Chair(s): Kevin LeeDeakin University
18:20
5m
Poster
Managing App Testing Device Clouds: Issues and Opportunities
Late Breaking Results
Mattia FazziniUniversity of Minnesota, Alessandro OrsoGeorgia Tech
18:25
5m
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian SchindlerInstitute 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 WieberInstitute for Enterprise Systems (InES), University of Mannheim
18:35
5m
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar CornejoUniversity of Rio Cuarto and CONICET
18:40
5m
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo MolinaUniversity of Río Cuarto

Wed 23 Sep
Times are displayed in 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) ChenConcordia University
00:00
20m
Talk
A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum
Research Papers
Mingyang LiISCAS, Lin ShiISCAS, Ye YangStevens institute of technology, Qing WangInstitute of Software, Chinese Academy of Sciences
00:20
20m
Talk
Retrieve and Refine: Exemplar-based Neural Comment Generation
Research Papers
Bolin WeiPeking University, Yongmin LiPeking University, Ge LiPeking University, Xin XiaMonash University, Zhi JinPeking University
Pre-print
00:40
20m
Talk
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks
Research Papers
Zhenhao LiConcordia University, Tse-Hsun (Peter) ChenConcordia University, Weiyi ShangConcordia University
01:10 - 02:10
Recommender Systems for Software EngineeringResearch Papers / Tool Demonstrations at Koala
Chair(s): Shaowei WangMississippi State University
01:10
20m
Talk
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph
Research Papers
Xiaoxue RenZhejiang University, Xinyuan YeAustralian National University, Zhenchang XingAustralian National University, Australia, Xin XiaMonash University, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Jianling SunZhejiang University
Pre-print
01:30
20m
Talk
Multi-task Learning based Pre-trained Language Model for Code Completion
Research Papers
Fang LiuPeking University, Ge LiPeking University, Yunfei ZhaoPeking University, Zhi JinPeking University
01:50
10m
Talk
HomoTR: Online Test Recommendation System Based on Homologous Code Matching
Tool Demonstrations
Chenqian ZhuNanjing University, Weisong SunState Key Laboratory for Novel Software Technology, Nanjing University, Qin LIU, Yangyang YuanNanjing University, Chunrong FangNanjing University, China, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University
02:20 - 03:20
SRC Poster (1)Student Research Competition at Koala
Chair(s): Chunyang ChenMonash University
02:20
5m
Poster
Dynamic Algorithm Selection for SMT
Student Research Competition
Nikhil PimpalkhareUniversity of California, Berkeley
02:25
5m
Poster
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software
Student Research Competition
Harshita DiddeeGuru Gobind Singh Indraprastha University, Bhrigu KansraGuru Gobind Singh Indraprastha University
02:30
5m
Poster
Scalability and Precision Improvement of Neural Program Synthesis
Student Research Competition
Yating ZhangNational University of Defense Technology
02:35
5m
Poster
The Classification and Propagation of Program CommentsSecond place SRC - Undergraduate
Student Research Competition
Xiangzhe XuNanjing University
02:40
5m
Poster
Source Code and Binary Level Vulnerability Detection and Hot PatchingThird place SRC - Graduate
Student Research Competition
Zhengzi XuNanyang Technological University
02:45
5m
Poster
FLUX: From SQL to GQL query translation tool
Student Research Competition
Chandan SharmaAuckland University of Technology
02:50
5m
Poster
Discovering UI Display Issues with Visual UnderstandingWinner SRC - Graduate
Student Research Competition
Zhe LiuLaboratory 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 VassalloUniversity of Zurich, Switzerland
09:10
20m
Talk
Automated Implementation of Windows-related Security-Configuration Guides
Research Papers
Patrick StöckleTechnical University of Munich, Bernd GrobauerSiemens AG, Alexander PretschnerTechnical 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ühlbauerLeipzig University, Sven ApelSaarland University, Germany, Norbert SiegmundLeipzig University
DOI Pre-print
09:50
20m
Talk
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs
Research Papers
Haochen HeNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Tingting YuUniversity of Kentucky, Yue YuCollege of Computer, National University of Defense Technology, Changsha 410073, China, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China
DOI Pre-print
10:20 - 11:20
SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh KhalajzadehMonash University, Australia
10:20
5m
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
zhipeng gaoMonash University
10:25
5m
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei GaoShanghaiTech University
10:30
5m
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi ChenMonash University
10:35
5m
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing LiuNanyang Technological University
10:40
5m
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining FengNational University of Defense Technology
10:45
5m
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi WuSouthern 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 MasalimovUfa State Aviation Technical University
10:55
5m
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz SouzaFederal University of Campina Grande
16:00 - 17:00
Configuration Management (2)Research Papers at Koala
Chair(s): Arie van DeursenDelft University of Technology, Netherlands
16:00
20m
Talk
Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors
Research Papers
Chengyuan WenVirginia Tech, Yaxuan ZhangVirginia Tech, Xiao HeUniversity of Science and Technology Beijing, China, Na MengVirginia Tech
16:20
20m
Talk
Mastering Uncertainty in Performance Estimations of Configurable Software Systems
Research Papers
Johannes DornLeipzig University, Sven ApelSaarland University, Germany, Norbert SiegmundLeipzig University
DOI Pre-print
16:40
20m
Talk
Team Discussions and Dynamics During DevOps Tool Adoptions in OSS ProjectsACM Distinguished Paper
Research Papers
Likang YinUniversity of California, Davis, Vladimir FilkovUniversity of California at Davis, USA
17:10 - 18:10
Empirical Software Engineering (1)Research Papers / Journal-first Papers at Koala
Chair(s): Jinqiu YangConcordia University, Montreal, Canada
17:10
20m
Talk
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation
Research Papers
David GrosUniversity of California, Davis, Hariharan SezhiyanUniversity of California, Davis, Prem DevanbuUniversity of California, Zhou YuUniversity of California, Davis
17:30
20m
Talk
Reproducing Performance Bug Reports in Server Applications: The Researchers' Experiences
Journal-first Papers
Xue HanUniversity of Kentucky, Daniel CarrollUniversity of Kentucky, Tingting YuUniversity of Kentucky
Link to publication DOI
17:50
20m
Talk
Exploring the Architectural Impact of Possible Dependencies in Python software
Research Papers
Wuxia JinXi'an Jiaotong University, Yuanfang Cai Drexel University, Rick KazmanUniversity of Hawai‘i at Mānoa, Gang ZhangEmergent Design Inc, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University
18:20 - 19:20
Ask Me AnythingSocial/Networking at Koala
Chair(s): Mattia FazziniUniversity of Minnesota
18:20
60m
Social Event
Ask Me Anything - Darko MarinovAsk Me Anything
Social/Networking
Darko MarinovUniversity of Illinois at Urbana-Champaign

Thu 24 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:10 - 02:10
Maintenance and Evolution (4)Research Papers / Tool Demonstrations at Koala
Chair(s): Xin XiaMonash University
01:10
20m
Talk
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis
Research Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Shihan DouHuazhong University of Science and Technology, Siru YangHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, USA, Feng ChengHuazhong University of Science and Technology, Hong LiangHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
01:30
20m
Talk
Generating Concept based API Element Comparison Using a Knowledge Graph
Research Papers
Yang LiuFudan University, China, Mingwei LiuFudan University, China, Xin PengFudan University, China, Christoph TreudeUniversity of Adelaide, Australia, Zhenchang XingAustralian National University, Australia, Xiaoxin ZhangFudan University, China
01:50
10m
Talk
JITBot: An Explainable Just-In-Time Defect Prediction Bot
Tool Demonstrations
Chaiyakarn KhananMahidol University, Worawit LuewichanaMahidol University, Krissakorn PruktharathikoonMahidol University, Jirayus JiarpakdeeMonash University, Australia, Chakkrit TantithamthavornMonash University, Australia, Morakot ChoetkiertikulMahidol University, Thailand, Chaiyong RakhitwetsagulMahidol University, Thailand, Thanwadee SunetnantaMahidol University
02:20 - 03:20
Empirical Software Engineering (2)Research Papers at Koala
Chair(s): Julia RubinUniversity of British Columbia, Canada
02:20
20m
Talk
Understanding Performance Concerns in the API Documentation of Data Science Libraries
Research Papers
Yida TaoShenzhen University, Jiefang JiangShenzhen University, Yepang LiuSouthern University of Science and Technology, Zhiwu XuShenzhen University, Shengchao QinUniversity of Teesside
02:40
20m
Talk
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems
Research Papers
Samuel BentonThe University of Texas at Dallas, Xia LiKennesaw State University, Yiling LouPeking University, China, Lingming ZhangUniversity 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 ZhanThe Hong Kong Polytechnic University, Lingling FanNanyang Technological University, Singapore, Tianming LiuMonash University, Australia, Sen ChenNanyang Technological University, Singapore, Li LiMonash University, Australia, Haoyu WangBeijing University of Posts and Telecommunications, China, Yifei XuSouthern University of Science and Technology, Xiapu LuoThe Hong Kong Polytechnic University, Yang LiuNanyang Technological University, Singapore
08:00 - 09:00
Verification and TestingResearch Papers / Tool Demonstrations / Industry Showcase at Koala
Chair(s): Jun SunSingapore Management University
08:00
20m
Talk
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Research Papers
Cedric RichterPaderborn University, Germany, Heike WehrheimPaderborn University
08:20
20m
Talk
Lightweight MBT Testing for National e-Health Portal in Norway
Industry Showcase
Davrondzhon GafurovNorsk Helsenett SF, Margrete Sunde GrovanNorsk Helsenett SF, Margrete Sunde GrovanNorsk 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 RauCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA, Germany
08:50
10m
Talk
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar JavedUniversità della Svizzera italiana, Joshua Heneage DawesUniversity of Manchester and CERN, Marta HanUniversity of Zagreb and CERN, Giovanni FranzoniCERN, Andreas PfeifferCERN, Giles RegerUniversity of Manchester, Walter BinderUniversity of Lugano, Switzerland
09:10 - 10:10
Testing and AIResearch Papers / Journal-first Papers at Koala
Chair(s): Xiaoyuan XieSchool of Computer Science, Wuhan University, China
09:10
20m
Talk
Predicting failures in multi-tier distributed systems
Journal-first Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzeUSI Lugano, Switzerland, Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Rui XinUSI Università della Svizzera italiana
09:30
20m
Talk
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
Research Papers
David BerendNanyang Technological University, Singapore, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Lingjun ZhouCollege of Intelligence and Computing, Tianjin University, Yang LiuNanyang Technological University, Singapore, Chi XuSingapore Institute of Manufacturing Technology, A*Star, Jianjun ZhaoKyushu University
09:50
20m
Talk
Metamorphic Object Insertion for Testing Object Detection Systems
Research Papers
Shuai WangHong Kong University of Science and Technology, Zhendong SuETH Zurich, Switzerland
16:00 - 17:00
Software Security and Trust (3)Research Papers at Koala
Chair(s): Julia LawallInria
16:00
20m
Talk
Prober: Practically Defending Overflows with Page Protection
Research Papers
Hongyu LiuPurdue University, Ruiqin TianCollege of William and Mary, Bin RenCollege of William and Mary, Tongping LiuUniversity of Massachusetts Amherst
16:20
20m
Talk
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection
Research Papers
Alan RomanoUniversity at Buffalo, SUNY, Yunhui ZhengIBM Research, Weihang WangUniversity at Buffalo, SUNY
16:40
20m
Talk
Summary-Based Symbolic Evaluation for Smart ContractsACM Distinguished Paper
Research Papers
Yu FengUniversity of California, Santa Barbara, Emina TorlakUniversity of Washington, Rastislav BodikUniversity of Washington

Fri 25 Sep
Times are displayed in 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 KaulgudAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Bangalore, India
08:10
20m
Keynote
Keynote TalkWorkshop
[Workshop] SUSTAIN-SE
Sanjay PodderAccenture
08:30
30m
Talk
Energy Efficiency in Robotics Software: A Systematic Literature ReviewWorkshop
[Workshop] SUSTAIN-SE
Stan SwanbornVrije Universiteit Amsterdam, The Netherlands, Ivano MalavoltaVrije Universiteit Amsterdam
09:00
30m
Talk
Gesture Driven Smart Home Solution for Bedridden People.Workshop
[Workshop] SUSTAIN-SE
Nimna JayaweeraSri 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ísioUniversidade do Minho, Nelson GonçalvesUniversidade do Minho, João de MacedoUniversidade do Minho, Rui PereiraHASLab/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 MaiaHASLab/INESC TEC & Universidade do Minho, Marco CoutoHASLab/INESC TEC & Universidade do Minho, Rui PereiraHASLab/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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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