Koala - ASE 2020

Venue(Virtual) Arts Centre Melbourne

Room nameKoala

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

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 programSpecify 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

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 Goaër 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 Rí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 (Sherry) 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 (TUM), 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, Liao Xiangke 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 Projects 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, Kla 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 Contracts Research Papers Yu Feng University of California, Santa Barbara, Emina Torlak University of Washington, Rastislav Bodík 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 Priyavanshi Pathania Accenture Labs, Rajan Dilavar Mithani Accenture
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


Room	8:00						30						9:00						30						10:00						30						11:00						30
Koala	[Workshop] A-Mobile International Workshop on Advances in Mobile App Analysis

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Koala					NIER track + Research Papers Formal Methods (1)																																																																				Research Papers + Journal-first Papers Maintenance and Evolution (2)														Tool Demonstrations + Research Papers Mobile App (1)														Late Breaking Results + Doctoral Symposium LBR + DS Poster (1)																																																																				Research Papers + Tool Demonstrations Maintenance and Evolution (3)														NIER track + Research Papers AI for Software Engineering (1)														Doctoral Symposium + Late Breaking Results LBR + DS Poster (2)

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
Koala	Research Papers AI for Software Engineering (2)														Research Papers + Tool Demonstrations Recommender Systems for Software Engineering														Student Research Competition SRC Poster (1)																																																																																		Research Papers Configuration Management (1)														Student Research Competition SRC Poster (2)																																																																				Research Papers Configuration Management (2)														Research Papers + Journal-first Papers Empirical Software Engineering (1)														Social/Networking Ask Me Anything

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Koala			Research Papers + Tool Demonstrations Maintenance and Evolution (4)														Research Papers Empirical Software Engineering (2)																																																																				Tool Demonstrations + Industry Showcase + Research Papers Verification and Testing														Research Papers + Journal-first Papers Testing and AI																																																																																		Research Papers Software Security and Trust (3)

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change


Room	8:00						30						9:00						30						10:00						30						11:00						30
Koala	[Workshop] SUSTAIN-SE International Workshop on Sustainable Software Engineering

Mon 21 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			11:00			15			30			45
Koala	ASE [Workshop] A-MobileWorkshop A-Mobile - Welcome and Opening 08:00 - 08:10		ASE [Workshop] A-MobileWorkshop Mobile App Testing and Analysis: Getting There in Industrial Cases 08:10 - 09:10												ASE [Workshop] A-MobileWorkshop Invited Talk: Smart Development of Mobile Apps with Deep Learning 09:10 - 09:40						ASE [Workshop] A-MobileWorkshop A Framework for the Automatic Execution of Measurement-based Experiment ... 09:40 - 10:00				ASE [Workshop] A-MobileWorkshop Ecosystem Evolution Analysis and Trend Prediction of Projects in Androi ... 10:00 - 10:20				ASE [Workshop] A-MobileWorkshop KnowledgeZooClient: Constructing Knowledge Graph for Android 10:20 - 10:40				ASE [Workshop] A-MobileWorkshop Market-level Analysis of Government-backed COVID-19 Contact Tracing Apps 10:40 - 11:00				ASE [Workshop] A-MobileWorkshop Enforcing Green Code with Android Lint 11:00 - 11:20

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Koala					ASE Research Papers Accelerating All-SAT Computation with Short Blocking Clauses 02:20 - 02:40				ASE Research Papers A Predictive Analysis for Detecting Deadlock in MPI Programs 02:40 - 03:00				ASE NIER track Proving Termination by k-Induction 03:00 - 03:10																																																												ASE Research Papers M3: Semantic API Migrations 08:00 - 08:20				ASE Research Papers The Impact of Generic Data Structures: Decoding the Role of Lists in th ... 08:20 - 08:40				ASE Journal-first Papers Game-theoretic Analysis of Development Practices: Challenges and Opport ... 08:40 - 09:00						ASE Research Papers Demystifying Diehard Android Apps 09:10 - 09:30				ASE Research Papers UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps 09:30 - 09:50				ASE Tool Demonstrations FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by A ... 09:50 - 10:00						ASE Late Breaking Results Efficient Multiplex Symbolic Execution with Adaptive Search Strategy 10:20 - 10:25	ASE Late Breaking Results Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN 10:25 - 10:30	ASE Late Breaking Results Synthesizing Smart Solving Strategy for Symbolic Execution 10:30 - 10:35	ASE Late Breaking Results Privacy Assessment of Android Clipboard 10:35 - 10:40	ASE Late Breaking Results The Symptom, Cause and Repair of Workaround 10:40 - 10:45	ASE Late Breaking Results Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems 10:45 - 10:50	ASE Late Breaking Results Towards Immersive Comprehension of Software Systems Using Augmented Rea ... 10:50 - 10:55	ASE Late Breaking Results Towards Programming and Verification for Activity-Oriented Smart Home S ... 10:55 - 11:00	ASE Doctoral Symposium Towards Robust Production Machine Learning Systems: Managing Dataset Shift 11:00 - 11:05	ASE Doctoral Symposium Using Defect Prediction to Improve the Bug Detection Capability of Sear ... 11:05 - 11:10																																																											ASE Research Papers Subdomain-Based Generality-Aware Debloating 16:00 - 16:20				ASE Research Papers Revisiting the relationship between fault detection, test adequacy crit ... 16:20 - 16:40				ASE Tool Demonstrations WASim: Understanding WebAssembly Applications through Classification 16:40 - 16:50		ASE Tool Demonstrations Sosed: a tool for finding similar software projects 16:50 - 17:00				ASE Research Papers DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests 17:10 - 17:30				ASE Research Papers Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems 17:30 - 17:50				ASE NIER track On Benign Features in Malware Detection 17:50 - 18:00						ASE Late Breaking Results Managing App Testing Device Clouds: Issues and Opportunities 18:20 - 18:25	ASE Doctoral Symposium Towards transparency-encouraging partial software disclosure to enable ... 18:25 - 18:30	ASE Doctoral Symposium Automated generation of client-specific backends utilizing existing mic ... 18:30 - 18:35	ASE Doctoral Symposium SAT-Based Arithmetic Support for Alloy 18:35 - 18:40	ASE Doctoral Symposium Applying Learning Techniques to Oracle Synthesis 18:40 - 18:45

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
Koala	ASE Research Papers A Deep Multitask Learning Approach for Requirements Discovery and Annot ... 00:00 - 00:20				ASE Research Papers Retrieve and Refine: Exemplar-based Neural Comment Generation 00:20 - 00:40				ASE Research Papers Where Shall We Log? Studying and Suggesting Logging Locations in Code B ... 00:40 - 01:00						ASE Research Papers API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph 01:10 - 01:30				ASE Research Papers Multi-task Learning based Pre-trained Language Model for Code Completion 01:30 - 01:50				ASE Tool Demonstrations HomoTR: Online Test Recommendation System Based on Homologous Code Matching 01:50 - 02:00						ASE Student Research Competition Dynamic Algorithm Selection for SMT 02:20 - 02:25	ASE Student Research Competition CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Sof ... 02:25 - 02:30	ASE Student Research Competition Scalability and Precision Improvement of Neural Program Synthesis 02:30 - 02:35	ASE Student Research CompetitionSecond place SRC - Undergraduate The Classification and Propagation of Program Comments 02:35 - 02:40	ASE Student Research CompetitionThird place SRC - Graduate Source Code and Binary Level Vulnerability Detection and Hot Patching 02:40 - 02:45	ASE Student Research Competition FLUX: From SQL to GQL query translation tool 02:45 - 02:50	ASE Student Research CompetitionWinner SRC - Graduate Discovering UI Display Issues with Visual Understanding 02:50 - 02:55																																																																		ASE Research Papers Automated Implementation of Windows-related Security-Configuration Guides 09:10 - 09:30				ASE Research Papers Identifying Software Performance Changes Across Variants and Versions 09:30 - 09:50				ASE Research Papers CP-Detector: Using Configuration-related Performance Properties to Expo ... 09:50 - 10:10						ASE Student Research Competition When Deep Learning Meets Smart Contracts 10:20 - 10:25	ASE Student Research Competition Formal Verification of Masking Countermeasures for Arithmetic Programs 10:25 - 10:30	ASE Student Research Competition Finding Ethereum Smart Contracts Security Issues by Comparing History V ... 10:30 - 10:35	ASE Student Research Competition A Unified Framework to Learn Program Semantics with Graph Neural Networks 10:35 - 10:40	ASE Student Research Competition A Program Verification based Approach to Find Data Race Vulnerabilities ... 10:40 - 10:45	ASE Student Research CompetitionWinner SRC - Undergraduate Anti-patterns for Java Automated Program Repair Tools 10:45 - 10:50	ASE Student Research CompetitionSecond place SRC - Graduate A Machine Learning based Approach to Autogenerate Diagnostic Models for ... 10:50 - 10:55	ASE Student Research CompetitionThird place SRC - Undergraduate Identifying Mutation Subsumption Relations 10:55 - 11:00																																																													ASE Research Papers Inferring and Applying Def-Use Like Configuration Couplings in Deployme ... 16:00 - 16:20				ASE Research Papers Mastering Uncertainty in Performance Estimations of Configurable Softwa ... 16:20 - 16:40				ASE Research Papers Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects 16:40 - 17:00						ASE Research Papers Code to Comment "Translation": Data, Metrics, Baselining & Evaluation 17:10 - 17:30				ASE Journal-first Papers Reproducing Performance Bug Reports in Server Applications: The Researc ... 17:30 - 17:50				ASE Research Papers Exploring the Architectural Impact of Possible Dependencies in Python s ... 17:50 - 18:10						ASE Social/Networking Ask Me Anything Ask Me Anything - Darko Marinov 18:20 - 19:20

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change


Room	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
Koala			ASE Research Papers SCDetector: Software Functional Clone Detection Based on Semantic Token ... 01:10 - 01:30				ASE Research Papers Generating Concept based API Element Comparison Using a Knowledge Graph 01:30 - 01:50				ASE Tool Demonstrations JITBot: An Explainable Just-In-Time Defect Prediction Bot 01:50 - 02:00						ASE Research Papers Understanding Performance Concerns in the API Documentation of Data Sci ... 02:20 - 02:40				ASE Research Papers On the Effectiveness of Unified Debugging: An Extensive Study on 16 Pro ... 02:40 - 03:00				ASE Research PapersExperience Automated Third-party Library Detection for Android Applications: Are W ... 03:00 - 03:20																																																												ASE Research Papers Attend and Represent: A Novel View on Algorithm Selection for Software ... 08:00 - 08:20				ASE Industry Showcase Lightweight MBT Testing for National e-Health Portal in Norway 08:20 - 08:40				ASE Tool Demonstrations Speeding up GUI Testing by On-Device Test Generation 08:40 - 08:50		ASE Tool Demonstrations PerfCI: A Toolchain for Automated Performance Testing during Continuous ... 08:50 - 09:00				ASE Journal-first Papers Predicting failures in multi-tier distributed systems 09:10 - 09:30				ASE Research Papers Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution ... 09:30 - 09:50				ASE Research Papers Metamorphic Object Insertion for Testing Object Detection Systems 09:50 - 10:10																																																																										ASE Research Papers Prober: Practically Defending Overflows with Page Protection 16:00 - 16:20				ASE Research Papers MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Dete ... 16:20 - 16:40				ASE Research Papers Summary-Based Symbolic Evaluation for Smart Contracts 16:40 - 17:00

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			11:00			15			30			45
Koala	ASE [Workshop] SUSTAIN-SEWorkshop Workshop Welcome & Introduction by the Organizers 08:00 - 08:10		ASE [Workshop] SUSTAIN-SEWorkshop Keynote Talk 08:10 - 08:30				ASE [Workshop] SUSTAIN-SEWorkshop Energy Efficiency in Robotics Software: A Systematic Literature Review 08:30 - 09:00						ASE [Workshop] SUSTAIN-SEWorkshop Gesture Driven Smart Home Solution for Bedridden People. 09:00 - 09:30						ASE [Workshop] SUSTAIN-SE Break 09:30 - 09:45			ASE [Workshop] SUSTAIN-SEWorkshop Energy Wars - Chrome vs. Firefox: Which browser is more energy efficient? 09:45 - 10:15						ASE [Workshop] SUSTAIN-SEWorkshop Sustainability in Migrating Workloads to Public Clouds 10:15 - 10:45						ASE [Workshop] SUSTAIN-SEWorkshop E-Debitum: Managing Software Energy Debt 10:45 - 11:15						ASE [Workshop] SUSTAIN-SEWorkshop Workshop all hands discussion on Green Software and Closing 11:15 - 11:45

Room information: Koala

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

[Workshop] A-Mobile

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

NIER track + Research Papers

Research Papers + Journal-first Papers

Tool Demonstrations + Research Papers

Late Breaking Results + Doctoral Symposium

Research Papers + Tool Demonstrations

NIER track + Research Papers

Doctoral Symposium + Late Breaking Results

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Research Papers

Research Papers + Tool Demonstrations

Student Research Competition

Research Papers

Student Research Competition

Research Papers

Research Papers + Journal-first Papers

Social/Networking

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Research Papers + Tool Demonstrations

Research Papers

Tool Demonstrations + Industry Showcase + Research Papers

Research Papers + Journal-first Papers

Research Papers

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

[Workshop] SUSTAIN-SE

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tracks

Room information: Koala

Program Display Configuration

Mon 21 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 22 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 23 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 24 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 25 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Mon 21 SepDisplayed time zone: (UTC) Coordinated Universal Time change

[Workshop] A-Mobile

Tue 22 SepDisplayed time zone: (UTC) Coordinated Universal Time change

NIER track + Research Papers

Research Papers + Journal-first Papers

Tool Demonstrations + Research Papers

Late Breaking Results + Doctoral Symposium

Research Papers + Tool Demonstrations

NIER track + Research Papers

Doctoral Symposium + Late Breaking Results

Wed 23 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Research Papers

Research Papers + Tool Demonstrations

Student Research Competition

Research Papers

Student Research Competition

Research Papers

Research Papers + Journal-first Papers

Social/Networking

Thu 24 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Research Papers + Tool Demonstrations

Research Papers

Tool Demonstrations + Industry Showcase + Research Papers

Research Papers + Journal-first Papers

Research Papers

Fri 25 SepDisplayed time zone: (UTC) Coordinated Universal Time change

[Workshop] SUSTAIN-SE

Mon 21 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 22 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 23 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 24 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 25 SepDisplayed time zone: (UTC) Coordinated Universal Time change

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Mon 21 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 22 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 23 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 24 Sep
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 25 Sep
Displayed time zone: (UTC) Coordinated Universal Time change