Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Venue(Virtual) Arts Centre Melbourne
Room nameKangaroo
Floor0
Additional informationThere is no additional information of this room 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

00:00 - 01:00: Workshop Opening [Workshop] HCSE&CS at Kangaroo
Chair(s): Mohan Baruwal ChhetriData61 CSIRO Australia, Karen RenaudAbertay University, Thuong HoangSchool of Information Technology, Deakin University
00:00 - 01:00
Keynote
Children and Cyber SecurityWorkshop
[Workshop] HCSE&CS
K: Karen RenaudAbertay University
01:10 - 02:40: Panel Session[Workshop] HCSE&CS at Kangaroo
Chair(s): Mohan Baruwal ChhetriData61 CSIRO Australia
01:10 - 02:40
Other
Panel Session: Cyber security at home - how much more important is it when working from homeWorkshop
[Workshop] HCSE&CS
Marthie GroblerCSIRO's Data61, Paul Watters, Ivano BongiovanniThe University of Queensland
02:50 - 03:50: Session 1 Paper Presentation[Workshop] HCSE&CS at Kangaroo
02:50 - 03:02
Talk
A Risk Homeostasis Perspective on Zimbabwean Protective Point-of-Sale Transaction BehavioursWorkshop
[Workshop] HCSE&CS
Alfred MusarurwaAbertay University, Karen RenaudAbertay University, Tim ShuermannTU Darmstadt
03:02 - 03:14
Talk
Designing a Serious Game: Teaching Developers to Embed Privacy into Software SystemsWorkshop
[Workshop] HCSE&CS
Nalin Asanka Gamagedara ArachchilageLa Trobe University, Australia, Mumtaz AbdulhameedTechnovation Consulting & Training PVT
03:14 - 03:26
Talk
Vulnerability Discovery Strategies Used in Software ProjectsWorkshop
[Workshop] HCSE&CS
Farzana Ahamed BhuiyanTennessee Tech University, Akond RahmanTennessee Tech University, Patrick MorrisonIBM
03:26 - 03:38
Talk
An Informed Consent Model for Handling the Privacy Paradox in Smart BuildingsWorkshop
[Workshop] HCSE&CS
Chehara PathmabanduMonash University, Mohan Baruwal ChhetriData61 CSIRO Australia, John GrundyMonash University, Australia, A: Zubair BaigDeakin University
03:38 - 03:50
Talk
Characterizing Co-located Insecure Coding Patterns in Infrastructure as Code ScriptsWorkshop
[Workshop] HCSE&CS
Farzana Ahamed BhuiyanTennessee Tech University, Akond RahmanTennessee Tech University
04:30 - 05:50: Session 2 Paper Presentation[Workshop] HCSE&CS at Kangaroo
Chair(s): Thuong HoangSchool of Information Technology, Deakin University
04:30 - 04:46
Talk
Exploring the Requirements of Pandemic Awareness Systems: A Case Study of COVID-19 Using Twitter, Reddit, and Google TrendsWorkshop
[Workshop] HCSE&CS
Esmaeil ShakeriUniversity of Calgary, Behrouz FarUniversity of Calgary
04:46 - 05:02
Talk
mHealth4U: Designing for Health and Wellbeing Self-ManagemenWorkshop
[Workshop] HCSE&CS
Hamza SellakCSIRO's Data61, Marthie GroblerCSIRO's Data61
05:02 - 05:18
Talk
Reducing Delay Penalty of Multiple Concurrent Software Projects based on Overtime PlanningWorkshop
[Workshop] HCSE&CS
wei zhangEast China University of Technology, Yun YangSwinburne University of Technology, Xiao LiuSchool of Information Technology, Deakin University
05:18 - 05:34
Talk
Towards Better Understanding of Agile Teams through Behavior Change ModelsWorkshop
[Workshop] HCSE&CS
Kashumi MadampeMonash University, Australia, Rashina HodaMonash University, John GrundyMonash University, Australia
Pre-print
05:34 - 05:50
Talk
A Vision to Mitigate Bioinformatics Software Development ChallengesWorkshop
[Workshop] HCSE&CS
Akond RahmanTennessee Tech University, Farzana Ahamed BhuiyanTennessee Tech University
06:00 - 07:15: Panel Session & Closing[Workshop] HCSE&CS at Kangaroo
Chair(s): Xiao LiuSchool of Information Technology, Deakin University
06:00 - 07:15
Other
Panel Session: Human-centric software engineering, past, present and futureWorkshop
[Workshop] HCSE&CS
Rashina HodaMonash University, Chetan AroraSchool of Information Technology, Deakin University
09:00 - 10:15: Opening & KeynoteDoctoral Symposium at Kangaroo
Chair(s): Massimiliano Di PentaUniversity of Sannio, Italy, Jean-Guy SchneiderDeakin University
09:00 - 09:10
Day opening
Opening of Doctoral Symposium
Doctoral Symposium
Massimiliano Di PentaUniversity of Sannio, Italy, Jean-Guy SchneiderDeakin University
09:10 - 10:15
Keynote
Taming your PhD
Doctoral Symposium
Oscar NierstraszUniversity of Bern, Switzerland
10:15 - 11:00: DS: Presentation 1Doctoral Symposium at Kangaroo
Chair(s): Massimiliano Di PentaUniversity of Sannio, Italy
10:15 - 10:37
Talk
Towards Robust Production Machine Learning Systems: Managing Dataset Shift
Doctoral Symposium
Hala AbdelkaderApplied Artificial Intelligence Institute, Deakin University
10:37 - 11:00
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 - 16:40: DS: Presentation 2Doctoral Symposium at Kangaroo
Chair(s): Jean-Guy SchneiderDeakin University
16:00 - 16:20
Talk
Towards transparency-encouraging partial software disclosure to enable trust in data usage
Doctoral Symposium
Christian SchindlerInstitute for Enterprise Systems, University of Mannheim
16:20 - 16:40
Talk
SAT-Based Arithmetic Support for Alloy
Doctoral Symposium
Cesar CornejoUniversity of Rio Cuarto and CONICET
16:40 - 17:15: DS: Presentation 3Doctoral Symposium at Kangaroo
Chair(s): Jean-Guy SchneiderDeakin University
16:40 - 16:57
Talk
Applying Learning Techniques to Oracle Synthesis
Doctoral Symposium
Facundo MolinaUniversity of Río Cuarto
16:57 - 17:15
Talk
Automated generation of client-specific backends utilizing existing microservices and architectural knowledge
Doctoral Symposium
Nils WieberInstitute for Enterprise Systems (InES), University of Mannheim
17:15 - 18:20: Panel & ClossingDoctoral Symposium at Kangaroo
17:15 - 18:00
Panel Discussion
Doctoral Symposium
18:00 - 18:10
Day closing
Closing of ASE 2020 Doctoral Symposium
Doctoral Symposium
Massimiliano Di PentaUniversity of Sannio, Italy, Jean-Guy SchneiderDeakin University

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

00:00 - 01:00: Opening CeremonyPlenary at Kangaroo
00:00 - 01:00
Day opening
ASE2020 Opening & Awards
Plenary
John GrundyMonash University, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
01:10 - 02:10: Keynote - Mahesh KrishnanPlenary at Kangaroo
Chair(s): Claire Le GouesCarnegie Mellon University
01:10 - 02:10
Keynote
Evolution in the automation of CI/CD
Plenary
02:20 - 03:20: Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo
Chair(s): Xusheng XiaoCase Western Reserve University
02:20 - 02:40
Talk
Legion: Best-First Concolic Testing
Research Papers
Dongge LiuThe Univeristy of Melbourne, Gidon ErnstLMU Munich, Toby MurrayUniversity of Melbourne, Australia, Benjamin I.P. RubinsteinUniversity of Melbourne
02:40 - 03:00
Talk
The New Approach to IT Testing
Industry Showcase
03:00 - 03:10
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze YuWuhan University, Youzhe ZhangWuhan University, Jifeng XuanWuhan University
08:00 - 09:00: Software Analysis (1)Research Papers at Kangaroo
Chair(s): Michael PradelUniversity of Stuttgart, Germany
08:00 - 08:20
Talk
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Research Papers
Timotej KapusImperial College London, UK, Frank BusseImperial College London, Cristian CadarImperial College London, UK
Pre-print Media Attached
08:20 - 08:40
Talk
Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program AnalysisACM Distinguished Paper
Research Papers
Sungho LeeChungnam National University, Korea, Hyogun LeeKAIST, Sukyoung RyuKAIST
08:40 - 09:00
Talk
Assessing and Restoring Reproducibility of Jupyter Notebooks
Research Papers
Jiawei Wang, Tzu-yang KuoThe Hong Kong University of Science and Technology, Li LiMonash University, Australia, Andreas ZellerCISPA, Germany
09:10 - 10:10: Formal Methods (2)Research Papers at Kangaroo
Chair(s): Eunsuk KangCarnegie Mellon University, USA
09:10 - 09:30
Talk
Verified from Scratch: Program Analysis for Learners' Programs
Research Papers
Andreas StahlbauerUniversity of Passau, Christoph FrädrichUniversity of Passau, Gordon FraserUniversity of Passau
09:30 - 09:50
Talk
Interval Change-Point Detection for Runtime Probabilistic Model Checking
Research Papers
Xingyu ZhaoHeriot-Watt University, Radu CalinescuUniversity of York, UK, Simos GerasimouUniversity of York, UK, Valentin RobuHeriot-Watt University, David FlynnHeriot-Watt University
Pre-print
09:50 - 10:10
Talk
UnchartIt: An Interactive Framework for Program Recovery from Charts
Research Papers
Daniel RamosINESC-ID/IST, Universidade de Lisboa, Jorge PereiraINESC-ID/IST, Universidade de Lisboa, Ines LynceINESC-ID/IST, Universidade de Lisboa, Vasco ManquinhoINESC-ID/IST, Universidade de Lisboa, Ruben MartinsCarnegie Mellon University
10:20 - 11:20: Women in ASESocial/Networking at Kangaroo
Chair(s): Hourieh KhalajzadehMonash University, Australia
10:20 - 11:20
Social Event
Women in ASEPanel
Social/Networking
Aldeida AletiMonash University, Muneera BanoSchool of Information Technology, Deakin University, Didar ZowghiUniversity of Technology Sydney, Jon WhittleCSIRO's Data61 and Monash University
16:00 - 17:00: Synthesis and RepairResearch Papers at Kangaroo
Chair(s): Shahar MaozTel Aviv University, Israel
16:00 - 16:20
Talk
Synthesis of Infinite-State Systems with Random Behavior
Research Papers
Andreas KatisUniversity of Minnesota, Grigory FedyukovichFlorida State University, Jeffrey ChenUniversity of Minnesota, David GreveCollins Aerospace, Sanjai RayadurgamUniversity of Minnesota, Michael W. WhalenUniversity of Minnesota
16:20 - 16:40
Talk
Demystifying Loops in Smart Contracts
Research Papers
Benjamin MarianoUniversity of Texas at Austin, Yanju ChenUniversity of California, Santa Barbara, Yu FengUniversity of California, Santa Barbara, Shuvendu LahiriMicrosoft Research, Isil DilligUniversity of Texas at Austin, USA
16:40 - 17:00
Talk
Patching as Translation: The Data and the Metaphor
Research Papers
Yangruibo DingColumbia University, Baishakhi RayColumbia University, USA, Prem DevanbuUniversity of California, Vincent HellendoornCarnegie Mellon University
DOI Pre-print
17:10 - 18:10: Software Analysis (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Saba AlimadadiSimon Fraser University
17:10 - 17:30
Talk
Representing and Reasoning about Dynamic Code
Research Papers
Jesse BartelsUniversity of Arizona, Jon StephensUniversity of Texas at Austin, Saumya DebrayUniversity of Arizona
17:30 - 17:50
Talk
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Research Papers
Navid SalehnamadiUniversity of California, Irvine, Abdulaziz AlshaybanUniversity of California, Irvine, Iftekhar AhmedUniversity of California at Irvine, USA, Sam MalekUniversity of California at Irvine, USA
17:50 - 18:10
Talk
Automatic Generation of IFTTT Mashup Infrastructures
Industry Showcase
Lei LiuFujitsu Laboratories of America, Inc., Mehdi BahramiFujitsu Laboratories of America, Inc., Wei-Peng ChenFujitsu Laboratories of America, Inc.
18:20 - 19:20: Ask Me AnythingSocial/Networking at Kangaroo
Chair(s): Laura MorenoColorado State University
18:20 - 19:20
Social Event
Ask Me Anything - Miryung KimAsk Me Anything
Social/Networking
Miryung KimUniversity of California at Los Angeles, USA

Wed 23 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time change

00:00 - 01:00: Software Engineering for AI (1)Research Papers / NIER track at Kangaroo
Chair(s): Song WangYork University, Canada
00:00 - 00:20
Talk
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
Research Papers
Weijun ShenNanjing University, Yanhui LiDepartment of Computer Science and Technology, Nanjing University, Lin ChenNanjing University, YuanLei HanNanjing University, Yuming ZhouNanjing University, Baowen XuState Key Laboratory for Novel Software Technology, Nanjing University
00:20 - 00:40
Talk
MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
Research Papers
Xiaoning DuNanyang Technological University, Yi LiNanyang Technological University, Singapore, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University
00:40 - 00:50
Talk
Making Fair ML Software using Trustworthy Explanation
NIER track
Joymallya ChakrabortyNorth Carolina State University, USA, Kewen PengNorth Carolina State University, Tim MenziesNorth Carolina State University, USA
Link to publication DOI Pre-print Media Attached
01:10 - 02:10: Software Engineering for AI (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Aldeida AletiMonash University
01:10 - 01:30
Talk
Audee: Automated Testing for Deep Learning Frameworks
Research Papers
Qianyu GuoCollege of Intelligence and Computing, Tianjin University, Xiaofei XieNanyang Technological University, Yi LiNanyang Technological University, Singapore, Xiaoyu ZhangXi'an Jiaotong University, Yang LiuNanyang Technological University, Singapore, Li XiaohongTianJin University, Chao ShenXi'an Jiaotong University
01:30 - 01:50
Talk
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Research Papers
Guoliang DongComputer College of Zhejiang University, Jingyi WangZhejiang University, Jun SunSingapore Management University, Yang ZhangZhejiang University, Xinyu WangZhejiang University, Dai TingHuawei International Pte Ltd, Jin Song DongNational University of Singapore, Xingen WangZhejiang University
01:50 - 02:10
Talk
Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation
Industry Showcase
Haruki YokoyamaFujitsu Laboratories Ltd., Satoshi OnoueFujitsu Ltd., Shinji KikuchiFujitsu Laboratories Ltd.
02:20 - 03:20: How To Get a Job in Industry or AcademiaSocial/Networking at Kangaroo
02:20 - 03:20
Social Event
How To Get a Job in Industry or AcademiaNetworking Event
Social/Networking
Steve VersteegSecureworks, Muneera BanoSchool of Information Technology, Deakin University
08:00 - 09:00: Keynote - Marta KwiatkowskaPlenary at Kangaroo
Chair(s): John GrundyMonash University, Australia
08:00 - 09:00
Keynote
Safety and Robustness for Deep Learning with Provable Guarantees
Plenary
Marta KwiatkowskaUniversity of Oxford
09:10 - 10:10: SynthesisResearch Papers at Kangaroo
Chair(s): Domenico BianculliUniversity of Luxembourg
09:10 - 09:30
Talk
Just-In-Time Reactive Synthesis
Research Papers
Shahar MaozTel Aviv University, Israel, Ilia ShevrinTel Aviv University
09:30 - 09:50
Talk
JISET: JavaScript IR-based Semantics Extraction Toolchain
Research Papers
Jihyeok ParkKAIST, South Korea, Jihee ParkKAIST, Seungmin AnKAIST, Sukyoung RyuKAIST
09:50 - 10:10
Talk
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Research Papers
Yeting LiInstitute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiwu XuShenzhen University, Jialun CaoDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Haiming ChenInstitute of Software, Chinese Academy of Sciences, Tingjian GeUniversity of Massachusetts, Lowell, Shing-Chi CheungHong Kong University of Science and Technology, China, Haoren ZhaoShaanxi Normal University, Xi'an, China
10:20 - 11:20: PhD AdviceSocial/Networking at Kangaroo
Chair(s): Humphrey ObieMonash University, Zhenchang XingAustralian National University, Australia
10:20 - 11:20
Social Event
PhD AdvicePanel
Social/Networking
Zhenchang XingAustralian National University, Australia, Humphrey ObieMonash University, Eunjong ChoiKyoto Institute of Technology, Lisa Nguyen Quang DoGoogle, Maleknaz NayebiPolytechnique Montréal
16:00 - 17:00: Testing (2)Research Papers at Kangaroo
Chair(s): Alex GroceNorthern Arizona University
16:00 - 16:20
Talk
TestMC: Testing Model Counters using Differential and Metamorphic TestingExperience
Research Papers
Muhammad UsmanUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin, USA
16:20 - 16:40
Talk
BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction
Research Papers
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Muhammad Ali GulzarUniversity of California at Los Angeles, USA, Rohan PadhyeCarnegie Mellon University, Miryung KimUniversity of California at Los Angeles, USA
16:40 - 17:00
Talk
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
Research Papers
Nick FengUniversity of Toronto, Vincent HuiUniversity of Toronto, Federico MoraUniversity of California, Berkeley, Marsha ChechikUniversity of Toronto
17:10 - 18:10: Software Engineering for AI (3)Research Papers / Tool Demonstrations at Kangaroo
Chair(s): Iftekhar AhmedUniversity of California at Irvine, USA
17:10 - 17:30
Talk
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of VarianceACM Distinguished Paper
Research Papers
Viet Hung PhamUniversity of Waterloo, Shangshu QianPurdue University, Jiannan WangPurdue University, Thibaud LutellierUniversity of Waterloo, Jonathan RosenthalPurdue University, Lin TanPurdue University, USA, Yaoliang YuUniversity of Waterloo, Nachiappan NagappanMicrosoft Research
Pre-print
17:30 - 17:50
Talk
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Research Papers
Brandon PaulsenUniversity of Southern California, Jingbo WangUniversity of Southern California, Jiawei WangUniversity of Southern California, Chao WangUSC
Pre-print
17:50 - 18:00
Talk
RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing
Tool Demonstrations
Efstratios KourtzanidisUniversity Of Macedonia, Alexander ChatzigeorgiouUniversity of Macedonia, Apostolos AmpatzoglouUniversity of Macedonia
Pre-print Media Attached File Attached
18:20 - 19:20: Early Career Academics/Developers Q&ASocial/Networking at Kangaroo
18:20 - 19:20
Social Event
Early Career Academics/Developers Q&ANetworking Event
Social/Networking
Andrea StoccoUniversità della Svizzera italiana (USI), Saba AlimadadiSimon Fraser University

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

00:00 - 01:00: Keynote - Gail C. MurphyPlenary at Kangaroo
Chair(s): David LoSingapore Management University
00:00 - 01:00
Keynote
Is Software Engineering Research Addressing Software Engineering Problems?
Plenary
Gail MurphyUniversity of British Columbia
01:10 - 02:10: Test EfficiencyResearch Papers / NIER track at Kangaroo
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
01:10 - 01:30
Research paper
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
Research Papers
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, Tianqi ZhangNational University of Defense Technology, Kenli LiCollege of Information Science and Engineering, National Supercomputing Center in Changsha, Hunan University, Ji WangNational University of Defense Technology
Pre-print
01:30 - 01:50
Talk
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling
Research Papers
Chijin ZhouTsinghua University, Mingzhe WangSchool of Software, Tsinghua University, Jie LiangSchool of Software, Tsinghua University, Zhe LiuNanjing University of Aeronautics and Astronautics, Yu Jiang
01:50 - 02:00
Talk
SRRTA: Regression Testing Acceleration via State Reuse
NIER track
Jinhao DongPeking University, Yiling LouPeking University, China, Dan HaoPeking University, China
02:20 - 03:20: Software Analysis (3)Research Papers / Industry Showcase at Kangaroo
Chair(s): Rahul PurandareIIIT-Delhi
02:20 - 02:40
Talk
CCGraph: a PDG-based code clone detector with approximate graph matching
Research Papers
Yue ZouDepartment of Computer Science and Technology, University of Science and Technology of China, Bihuan BanSchool of Data Science, University of Science and Technology of China, Yinxing Xue, Yun XuUniversity of Science and Technology of China
02:40 - 03:00
Talk
Towards Generating Thread-Safe Classes Automatically
Research Papers
Haichi WangCollege of Intelligence and Computing, Tianjin University, Zan WangTianjin University, China, Jun SunSingapore Management University, Shuang LiuTianjin University, China, Ayesha SadiqMonash University, Yuan-Fang LiMonash University
03:00 - 03:20
Talk
Industry practice of JavaScript Dynamic Analysis on WeChat Mini-Programs
Industry Showcase
Yi LiuSouthern University of Science and Technology, Jinhui XieTencent Inc., Jianbo YangTencent Inc., Shiyu GuoTencent Inc., Yuetang DengTencent, Inc., Shuqing LiSouthern University of Science and Technology, Yechang WuSouthern University of Science and Technology, Yepang LiuSouthern University of Science and Technology
08:00 - 09:00: Bugs and Automated RepairResearch Papers at Kangaroo
Chair(s): Jifeng XuanWuhan University
08:00 - 08:20
Talk
No Strings Attached: An Empirical Study of String-related Software Bugs
Research Papers
Aryaz EghbaliUniversity of Stuttgart, Michael PradelUniversity of Stuttgart, Germany
Pre-print File Attached
08:20 - 08:40
Research paper
Automated Patch Correctness Assessment: How Far are We?
Research Papers
Shangwen WangNational University of Defense Technology, Ming WenHuazhong University of Science and Technology, China, Bo LinNational University of Defense Technology, Hongjun WuNational University of Defense Technology, Yihao QinNational University of Defense Technology, Deqing ZouHuazhong University of Science and Technology, Xiaoguang MaoNational University of Defense Technology, Hai JinHuazhong University of Science and Technology
DOI Pre-print Media Attached
08:40 - 09:00
Research paper
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair
Research Papers
Haoye TianUniversity of Luxembourg, Kui LiuUniversity of Luxembourg, Luxembourg, Abdoul Kader KaboréUniversity of Luxembourg, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
09:10 - 10:10: Software Security and Trust (2)Research Papers / Tool Demonstrations / Industry Showcase at Kangaroo
Chair(s): Raula Gaikovina KulaNAIST
09:10 - 09:30
Talk
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
Research Papers
Yinxing Xue, Mingliang MaUniversity of Science and Technology of China, Yun LinNational University of Singapore, Yulei SuiUniversity of Technology Sydney, Australia, Jiaming YeUniversity of Science and Technology of China, Tianyong PengUniversity of Science and Technology of China
09:30 - 09:50
Talk
Code-based Vulnerability Detection in Node.js Applications: How far are we?
Industry Showcase
Bodin ChinthanetNara Institute of Science and Technology, Serena Elisa PontaSAP Security Research, Henrik PlateSAP Security Research, Antonino SabettaSAP Security Research, Raula Gaikovina KulaNAIST, Takashi IshioNara Institute of Science and Technology, Kenichi MatsumotoNara Institute of Science and Technology
09:50 - 10:00
Talk
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Tool Demonstrations
João F. FerreiraINESC-ID and IST, University of Lisbon, Pedro CruzIST, University of Lisbon, Portugal, Thomas DurieuxKTH Royal Institute of Technology, Sweden, Rui AbreuFaculty of Engineering, University of Porto, Portugal
10:20 - 11:20: What Makes a Good ASE Paper? Social/Networking at Kangaroo
Chair(s): Xin XiaMonash University
10:20 - 11:20
Social Event
What Makes a Good ASE Paper?Panel
Social/Networking
John GrundyMonash University, Australia, Massimiliano Di PentaUniversity of Sannio, Italy, Julia Lawall INRIA, Dan HaoPeking University, China
16:00 - 17:00: Mobile App (2)Research Papers / NIER track / Tool Demonstrations at Kangaroo
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00 - 16:20
Talk
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for AndroidExperience
Research Papers
Farnaz BehrangGeorgia Tech, Alessandro OrsoGeorgia Tech
16:20 - 16:40
Talk
Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study
Research Papers
Jun-Wei LinUniversity of California, Irvine, Navid SalehnamadiUniversity of California, Irvine, Sam MalekUniversity of California at Irvine, USA
16:40 - 16:50
Talk
A Framework for Automated Test Mocking of Mobile Apps
NIER track
Mattia FazziniUniversity of Minnesota, Alessandra GorlaIMDEA Software Institute, Alessandro OrsoGeorgia Tech
16:50 - 17:00
Talk
AirMochi – A Tool for Remotely Controlling iOS Devices
Tool Demonstrations
Nikola LukicUniversity of Southern California, Saghar TalebipourUniversity of Southern California, Nenad MedvidovićUniversity of Southern California, USA
17:10 - 18:40: Most Influential Paper & ClosingPlenary at Kangaroo
Chair(s): Elisabetta Di NittoPolitecnico di Milano
17:10 - 18:10
Talk
AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks
Plenary
William G.J. HalfondUniversity of Southern California, Alessandro OrsoGeorgia Tech
18:10 - 18:40
Day closing
ASE2020 Closing & ASE2021
Plenary

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

08:00 - 10:35: International Workshop on Software Engineering Automation: A Natural Language Perspective[Workshop] NLP-SEA at Kangaroo
Chair(s): Abdul RaufRISE Research Institutes of Sweden, Mehrdad SaadatmandRISE SICS, Sajid Anwer
08:00 - 08:15
Talk
Boosting Component-based Synthesis with API Usage KnowledgeWorkshop
[Workshop] NLP-SEA
Jiaxin LiuNational University of Defense Technology, Wei DongSchool of Computer, National University of Defense Technology, China, Binbin LiuNational University of Defense Technology
08:20 - 08:35
Talk
Collective Intelligence for Smarter Neural Program SynthesisWorkshop
[Workshop] NLP-SEA
Daiyan WangNational University of Defense Technology, Wei DongSchool of Computer, National University of Defense Technology, China, Yating ZhangNational University of Defense Technology
08:40 - 08:55
Talk
Predicting Software Design Patterns from Text using NeuralEmbeddingWorkshop
[Workshop] NLP-SEA
Laksri WijerathnaMonash University, Aldeida AletiMonash University
09:00 - 09:15
Talk
NLP-based Enhancement of Information Security in ITO Service Delivery – A Diffusion of Innovation Theory perspectiveWorkshop
[Workshop] NLP-SEA
Baber Majid BhattiUniversity of South Australia
09:20 - 09:35
Talk
AutoEPRS-20: Extracting Business Process Redesign Suggestions from Natural Language TextWorkshop
[Workshop] NLP-SEA
Amina MustansirPUCIT, University of the Punjab, Khurram ShahzadPUCIT, University of the Punjab, Muhammad Kamran MalikPUCIT, University of the Punjab
09:40 - 09:55
Talk
Emotion Detection in Roman Urdu Text using Machine LearningWorkshop
[Workshop] NLP-SEA
Adil MajeedNational University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan MujtabaNational University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer BegNational University of Computer and Emerging Sciences, Islamabad, Pakistan
10:00 - 10:15
Talk
Mapping Textual Feedback to Process Model ElementsWorkshop
[Workshop] NLP-SEA
Sanam AhmedPunjab University College of Information Technology , University of the Punjab, Amina MustansirPUCIT, University of the Punjab
10:20 - 10:35
Talk
Roman Urdu Reviews Dataset for Aspect Based Opinion MiningWorkshop
[Workshop] NLP-SEA
Rabail ZahidNational University of Computer and Emerging Sciences, Islamabad, Pakistan, Muhammad Owais IdreesNational University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan MujtabaNational University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer BegNational University of Computer and Emerging Sciences, Islamabad, Pakistan

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

Mon 21 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:00153045
Kangaroo

Tue 22 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
Kangaroo

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
Kangaroo

Thu 24 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:00153045
Kangaroo