Program - ASE 2019

Filter

Badges

Your Program

Sun 10 Nov

16:00 - 18:00: Registration - Registration Desk at North Park

17:00 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Reception at Kensington 2

18:00 - 21:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) at Kensington 2

Mon 11 Nov

08:00 - 11:00: Registration - Registration Desk at North Park

08:30 - 17:30: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Breakout at Normal Heights

08:30 - 17:30: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Breakout at University Heights

08:30 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Plenary at Cortez 3

08:30 - 08:45: Doctoral Symposium - Opening + Introductions at Cortez 1A

08:45 - 09:30: Doctoral Symposium - Keynote at Cortez 1A

08:45 - 09:30
Talk

Keynote: Navigating your PhD & the World Beyond

Sarah NadiUniversity of Alberta

09:00 - 10:30: SEAD 2019 - Introduction and Keynote Talk at Hillcrest 2

09:00 - 09:15
Day opening

Introduction

Mehdi MirakhorliRochester Institute of Technology, Matthias GalsterUniversity of Canterbury, Laurie WilliamsNorth Carolina State University

09:15 - 10:15
Talk

Keynote Talk: Automating Pragmatic Software Dependability

Hamid BagheriUniversity of Nebraska-Lincoln, USA

09:00 - 17:30: JPF 2019 - Java Pathfinder Workshop at Hillcrest 1

09:00 - 10:30: Celebration of ASE 2019 - Session 1 at Cortez 2

09:00 - 10:10
Talk

Openings and 5-minute research intro from all attending PC members

10:10 - 10:30
Talk

Quality and Reliability for Machine Learning Systems

Lei MaKyushu University

09:00 - 10:30: A-Mobile 2019 - Welcome and Keynote at Cortez 1B

09:00 - 09:30
Day opening

Welcome and Opening

Li LiMonash University, Australia, Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Jacques KleinUniversity of Luxembourg, SnT, Sam MalekUniversity of California, Irvine

09:30 - 10:30
Talk

Grammar-based UI Testing

Andreas ZellerCISPA Helmholtz Center for Information Security

09:30 - 10:30: Doctoral Symposium - Continuous Integration at Cortez 1A

09:30 - 10:00

Tackling Build Failures in Continuous Integration

Foyzul HassanUniversity of Texas at San Antonio, USA

10:00 - 10:30

Enabling Continuous Improvement of a Continuous Integration Process

Carmine VassalloUniversity of Zurich

10:30 - 11:00: Social - Break at Cortez Foyer/Kensington Terrace

11:00 - 12:30: Doctoral Symposium - Productivity at Cortez 1A

11:00 - 11:30

Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements

Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim

11:30 - 12:00

Improving Collaboration Efficiency in Fork-based Development

Shurui ZhouCarnegie Mellon University, USA

12:00 - 12:30

Inference of Properties from Requirements and Automation of their Formal Verification

Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH

11:00 - 12:30: A-Mobile 2019 - SESSION I at Cortez 1B

11:00 - 11:30
Research paper

Enforcing Green Code With Android Lint

Olivier Le GoaerLIUPPA, Université de Pau et des Pays de l'Adour

11:30 - 12:00
Research paper

BenchPress: Analyzing Android App Vulnerability Benchmark Suites

Joydeep MitraKansas State University, Venkatesh-Prasad RanganathKansas State University, Aditya Narkar

Pre-print Media Attached

12:00 - 12:30
Research paper

Android App Merging for Benchmark Speed-Up and Analysis Lift-Up

Felix PauckPaderborn University, Germany, Shikun Zhang

11:00 - 12:30: Celebration of ASE 2019 - Session 2 at Cortez 2

11:00 - 11:20
Talk

Machine Learning Testing

Jie M. ZhangUniversity College London, UK

11:20 - 11:40
Talk

How does Machine Learning Change Software Development Practices?

Xin XiaMonash University

11:40 - 12:30

Reviewer Experience Panel

Bogdan VasilescuCarnegie Mellon University, Elena ShermanBoise State University, Massimiliano Di PentaUniversity of Sannio, Sarah NadiUniversity of Alberta

11:00 - 12:30: SEAD 2019 - Session 2 at Hillcrest 2

11:00 - 11:20
Talk

The Effect of Weighted Moving Windows on Security Vulnerability Prediction

Patrick Kwaku KudjoJiangsu University, Jinfu ChenJiangsu University, Selasie Aformaley BrownUniversity of Professional Studies, Accra-Ghana, Solomon MensahUniversity of Ghana, Legon

11:20 - 11:40
Talk

Towards Automated Security Design Flaw Detection

Laurens SionKatholieke Universiteit Leuven, Katja TumaChalmers | University of Gothenburg, Koen YskoutKatholieke Universiteit Leuven, Riccardo ScandariatoChalmers | University of Gothenburg, Wouter JoosenKatholieke Universiteit Leuven

11:40 - 12:00
Talk

Securing Smart Contracts in Blockchain

Jaturong KongmaneeComputer Science, Texas Tech University, Jaturong KongmaneeComputer Science, Texas Tech University, Phongphun KijsanayothinElectrical and Computer Engineering, Naresuan University, Rattikorn HewettComputer Science, Texas Tech University

12:30 - 14:00: Social - Lunch Break at Kensington Ballroom/Kensington Terrace

13:30 - 14:00: Doctoral Symposium - Poster Session at Cortez 1A

14:00 - 15:30: Doctoral Symposium - Repair and Testing at Cortez 1A

14:00 - 14:30

Automatically Repairing Binary Programs Using Adapter Synthesis

Vaibhav SharmaUniversity of Minnesota

14:30 - 15:00

Improving Patch Quality by Enhancing Key Components of Automatic Program Repair

Mauricio SotoCarnegie Mellon University

15:00 - 15:30

Generating Tests to Analyse Dynamically-Typed Programs

Stephan LukasczykUniversity of Passau

14:00 - 15:30: A-Mobile 2019 - SESSION II at Cortez 1B

14:00 - 14:30
Talk

Automated Support for Testing and Maintenance of Mobile Applications

Mattia FazziniUniversity of Minnesota

14:30 - 15:00
Research paper

Automatic Components Separation of Obfuscated Android Applications: An Empirical Study of Design Based Features

Amit Kumar Mondal, Chanchal K. RoyUniversity of Saskatchewan, Banani RoyUniversity of Saskatchewan, Kevin SchneiderUniversity of Saskatchewan

15:00 - 15:30
Research paper

SeMA: A Design Methodology for Building Secure Android Apps

Joydeep MitraKansas State University, Venkatesh-Prasad RanganathKansas State University

Pre-print Media Attached

14:00 - 15:30: Celebration of ASE 2019 - Session 3 at Cortez 2

14:00 - 14:20
Talk

Practical Program Repair via Bytecode Mutation

Lingming ZhangThe University of Texas at Dallas

14:20 - 14:40
Talk

Refinement in Object-Sensitivity Points-to Analysis via Slicing

Raghavan KomondoorIndian Institute of Science, Bangalore

14:40 - 15:00
Talk

Investigating Software Merging Challenges

Sarah NadiUniversity of Alberta

15:00 - 15:20
Talk

Testing Scratch Programs Automatically

Gordon FraserUniversity of Passau

15:20 - 15:30

Open Research Discussion

14:00 - 15:30: SEAD 2019 - Session 3 at Hillcrest 2

14:00 - 14:20
Talk

Secrets Management and Handling in Mobile Application Development Lifecycle

panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university

14:20 - 14:40
Talk

Challenges in Secure Engineering of Critical Infrastructure Systems

Sridhar AdepuSingapore University of Technology and Design, Singapore, Eunsuk KangCarnegie Mellon University, Aditya MathurSingapore University of Technology and Design

14:40 - 15:00
Talk

Ákos KissUniversity of Szeged, Department of Software Engineering, Renáta HodovánUniversity of Szeged, Department of Software Engineering

15:30 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace

15:30 - 16:00: Doctoral Symposium - Break/Posters at Cortez 1A

16:00 - 17:30: A-Mobile 2019 - Panel Discussion and Closing at Cortez 1B

16:00 - 16:30
Meeting

Panel Discussion

16:30 - 17:00
Day closing

Summary and Closing

16:00 - 16:50: Doctoral Symposium - Panel discussion at Cortez 1A

16:00 - 18:00: Registration - Registration Desk at North Park

16:00 - 17:00: Celebration of ASE 2019 - Session 4 at Cortez 2

16:00 - 17:00

"SE Community: Challenges and Opportunities" -- Panel and Open Discussion

Tim MenziesNorth Carolina State University, René JustUniversity of Washington, USA, Nenad MedvidovićUniversity of Southern California, Dirk BeyerLMU Munich

16:00 - 17:30: SEAD 2019 - Session 4 at Hillcrest 2

16:50 - 17:00: Doctoral Symposium - Reflection and closing at Cortez 1A

18:00 - 20:30: Celebration of ASE 2019 - Dinner at Lazy Dog

18:00 - 23:59: Meetings - ICSE Steering Committee Meeting at Normal Heights

Tue 12 Nov

07:30 - 11:00: Registration - Registration Desk at North Park

08:30 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Organizers at Normal Heights

08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom

08:30 - 09:00

Welcome from the Chairs

09:00 - 10:00
Talk

Re-engineering Software Engineering for a Data-centric World

Miryung KimUniversity of California, Los Angeles

10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace

10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 1 at Kensington Ballroom

10:00 - 10:40
Demonstration

Pangolin: An SFL-based Toolset for Feature Localization

Bruno Miguel Sotto-Mayor de Castro MachadoIST, University of Lisbon, Alexandre PerezPalo Alto Research Center, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID

10:00 - 10:40
Demonstration

A Quantitative Analysis Framework for Recurrent Neural Network

Xiaoning DuNanyang Technological University, Xiaofei XieNanyang Technological University, Yi LiNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University

10:00 - 10:40
Demonstration

Ares: Inferring Error Specifications through Static Analysis

Li ChiTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Hongyu ZhangThe University of Newcastle

10:00 - 10:40
Demonstration

SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software

Dennis ReulingSoftware Engineering Group, University of Siegen, Udo KelterSoftware Engineering Group, University of Siegen, Sebastian RulandTU Darmstadt, Real-time Systems Lab, Malte LochauTU Darmstadt

Pre-print Media Attached File Attached

10:00 - 10:40
Demonstration

VeriAbs : Verification by Abstraction and Test Generation

Mohammad AfzalTata Cosultancy Services, A AsiaTata Cosultancy Services, Avriti ChauhanTata Cosultancy Services, Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services, Advaita DatarTata Consultancy Services Ltd, Shrawan KumarTata Cosultancy Services, R VenkateshTata Research Development and Design Centre

10:00 - 10:40
Demonstration

DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks

Xiaofei XieNanyang Technological University, Hongxu ChenNanyang Technological University, Yi LiNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University

10:00 - 10:40
Demonstration

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs

Xutong MaInstitute of Software, Chinese Academy of Sciences, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangInstitute of Software, Chinese Academy of Sciences

10:00 - 10:40
Demonstration

LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform

Shengcheng YuNanjing University, China, Chunrong FangNanjing University, Yang FengUniversity of California, Irvine, Wenyuan ZhaoNanjing University, Zhenyu ChenNanjing University

10:00 - 10:40
Demonstration

FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing

Xiao LiuSchool of Information Technology, Deakin University, Lingmin FanSchool of Computer Science and Technology, Anhui University, Jia XuSchool of Computer Science and Technology, Anhui University, Xuejun LiSchool of Computer Science and Technology, Anhui University, Lina GongSchool of Computer Science and Technology, Anhui University, John GrundyMonash University, Yun YangSwinburne University of Technology

10:00 - 10:40
Demonstration

SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection

Da LiState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan WangState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang XuNanjing University, Ruiqing ZhangSearch Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing MaState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University

10:00 - 10:40
Demonstration

FPChecker: Detecting Floating-Point Exceptions in GPU Applications

Ignacio LagunaLawrence Livermore National Laboratory

10:00 - 10:40
Demonstration

PMExec: An Execution Engine of Partial UML-RT Models

Mojtaba BagherzadehQueen's University, Karim JahedQueen's University, Nafiseh KahaniQueen's University, Juergen DingelQueen's University, Kingston, Ontario

Pre-print

10:40 - 12:20: Papers - AI and SE at Cortez 2&3
Chair(s): Kaiyuan WangGoogle, Inc.

10:40 - 11:00
Talk

Assessing the Generalizability of code2vec Token Embeddings

Kang Hong JinSchool of Information Systems, Singapore Management University, Tegawendé F. BissyandéSnT, University of Luxembourg, David LoSingapore Management University

Pre-print

11:00 - 11:20
Talk

Multi-Modal Attention Network Learning for Semantic Source Code Retrieval

Yao WanZhejiang University, Jingdong ShuZhejiang University, Yulei SuiUniversity of Technology Sydney, Australia, Guandong XuUniversity of Technology, Sydney, Zhou ZhaoZhejiang University, Jian WuZhejiang University, philip yuUniversity of Illinois at Chicago

11:20 - 11:40
Talk

Experience Paper: Search-based Testing in Automated Driving Control ApplicationsACM SIGSOFT Distinguished Paper Award

Christoph GladischCorporate Research, Robert Bosch GmbH, Thomas HeinzCorporate Research, Robert Bosch GmbH, Christian HeinzemannCorporate Research, Robert Bosch GmbH, Jens OehlerkingCorporate Research, Robert Bosch GmbH, Anne von VietinghoffCorporate Research, Robert Bosch GmbH, Tim PfitzerRobert Bosch Automotive Steering GmbH

11:40 - 12:00
Talk

Machine Translation-Based Bug Localization Technique for Bridging Lexical Gap

Yan XiaoDepartment of Computer Science, City University of Hong Kong, Jacky KeungDepartment of Computer Science, City University of Hong Kong, Kwabena E. BenninBlekinge Institute of Technology, SERL Sweden, Qing MiDepartment of Computer Science, City University of Hong Kong

Link to publication

12:00 - 12:10
Talk

AutoFocus: Interpreting Attention-based Neural Networks by Code Perturbation

Nghi Duy Quoc BuiSingapore Management University, Singapore, Yijun YuThe Open University, UK, Lingxiao JiangSingapore Management University

Pre-print

12:10 - 12:20
Demonstration

A Quantitative Analysis Framework for Recurrent Neural Network

10:40 - 12:20: Papers - Mobile 1 at Hillcrest
Chair(s): Marouane KessentiniUniversity of Michigan

10:40 - 11:00
Talk

Test Transfer Across Mobile Apps Through Semantic Mapping

Jun-Wei LinUniversity of California, Irvine, Reyhaneh JabbarvandUniversity of California, Irvine, Sam MalekUniversity of California, Irvine

11:00 - 11:20
Talk

Test Migration Between Mobile Apps with Similar Functionality

Farnaz BehrangGeorgia Tech, Alessandro OrsoGeorgia Tech

11:20 - 11:40
Talk

DaPanda: Detecting Aggressive Push Notification in Android Apps

Tianming LiuBeijing University of Posts and Telecommunications, China, Haoyu WangBeijing University of Posts and Telecommunications, China, Li LiMonash University, Australia, Guangdong BaiGriffith University, Yao GuoPeking University, Guoai Xu Beijing University of Posts and Telecommunications

11:40 - 12:00
Talk

Automatic, highly accurate app permission recommendation

Zhongxin LiuZhejiang University, Xin XiaMonash University, David LoSingapore Management University, John GrundyMonash University

Link to publication

12:00 - 12:10
Demonstration

LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform

Shengcheng YuNanjing University, China, Chunrong FangNanjing University, Yang FengUniversity of California, Irvine, Wenyuan ZhaoNanjing University, Zhenyu ChenNanjing University

12:10 - 12:20
Demonstration

Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing

Yuanchun LiPeking University, Ziyue YangPeking University, Yao GuoPeking University, Xiangqun ChenPeking University

10:40 - 12:20: Papers - Testing and Coverage at Cortez 1
Chair(s): Jonathan BellGeorge Mason University

10:40 - 11:00
Talk

Automatic Self-Validation for Code Coverage Profilers

Yibiao YangHuazhong University of Science and Technology, Yanyan JiangNanjing University, Zhiqiang ZuoNanjing University, China, Yang WangNanjing University, Hao SunUnaffiliated, Hongmin LuNanjing University, Yuming ZhouNanjing University, Baowen XuNanjing University

Pre-print

11:00 - 11:20
Talk

Efficient Test Generation Guided by Field Coverage Criteria

Ariel GodioDept. of Software Engineering Instituto Tecnológico de Buenos Aires, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires

11:20 - 11:40
Talk

Exploring Output-Based Coverage for Testing PHP Web Applications

Hung Viet NguyenGoogle LLC, USA, Hung Dang PhanECpE Department, Iowa State University, Christian KästnerCarnegie Mellon University, Tien N. NguyenUniversity of Texas at Dallas

Link to publication

11:40 - 12:00
Talk

PHANTA: Diversified Test Code Quality Measurement for Modern Software Development

Susumu TokumotoFujitsu Laboratories Ltd., Kuniharu TakayamaFujitsu Laboratories Ltd.

Media Attached

12:00 - 12:10
Demonstration

TestCov: Robust Test-Suite Execution and Coverage Measurement

Dirk BeyerLMU Munich, Thomas LembergerLMU Munich

Pre-print Media Attached File Attached

12:10 - 12:20
Demonstration

VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization

Chijin ZhouTsinghua University, Mingzhe WangTsinghua University, Jie LiangTsinghua University, Zhe LiuNanjing University of Aeronautics and Astronautics, Chengnian SunWaterloo University, Yu JiangTsinghua University

12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace

12:20 - 13:40
Lunch

First-Timer’s LunchDiversity and Inclusion

13:00 - 17:40: Social - Local College Student Visits

13:00 - 17:40

Local College Student VisitsDiversity and Inclusion

13:40 - 15:20: Papers - Mobile 2 at Hillcrest
Chair(s): Myra CohenIowa State University

13:40 - 14:00
Talk

A Qualitative Analysis of Android Taint-Analysis Results

Linghui LuoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Johannes SpäthFraunhofer IEM

Pre-print

14:00 - 14:20
Talk

Goal-Driven Exploration for Android Applications

Duling LaiUniversity of British Columbia, Julia RubinUniversity of British Columbia

Pre-print

14:20 - 14:40
Talk

RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation

Onur SahinBoston University, Assel AliyevaBoston University, Hariharan MathavanBoston University, Ayse CoskunBoston University, Manuel EgeleBoston University, USA

14:40 - 15:00
Talk

Specifying Callback Control Flow of Mobile Apps Using Finite Automata

Danilo Dominguez PerezIowa State University, Wei LeIowa State University

Link to publication

15:00 - 15:20
Talk

MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis

Yueming WuHuazhong University of Science and Technology, Xiaodi LiUniversity of Texas at Dallas, Deqing ZouHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, Xin ZhangHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology

Pre-print

13:40 - 15:20: Papers - Natural Language and Human Aspects at Cortez 2&3
Chair(s): Bogdan VasilescuCarnegie Mellon University

13:40 - 14:00
Talk

Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites

Xiaoxue RenZhejiang University, Zhenchang XingAustralia National University, Xin XiaMonash University, Guoqiang LiShanghai Jiao Tong University, Jianling SunZhejiang University

Pre-print

14:00 - 14:20
Talk

Automating App Review Response Generation

Cuiyun GaoThe Chinese University of Hong Kong, Jichuan ZengThe Chinese University of Hong Kong, Xin XiaMonash University, David LoSingapore Management University, Michael LyuThe Chinese University of Hong Kong, Irwin KingThe Chinese University of Hong Kong

Pre-print

14:20 - 14:40
Talk

Automatic Generation of Pull Request DescriptionsACM SIGSOFT Distinguished Paper Award

Zhongxin LiuZhejiang University, Xin XiaMonash University, Christoph TreudeThe University of Adelaide, David LoSingapore Management University, Shanping LiZhejiang University

Pre-print

14:40 - 15:00
Talk

Recommending Who to Follow in the Software Engineering Twitter Space

Abhishek Sharma Singapore Management University, Singapore, Yuan TianQueens University, Kingston, Canada, Agus SulistyaSchool of Information Systems, Singapore Management University, Dinusha WijedasaSchool of Information Systems, Singapore Management University, David LoSingapore Management University

Pre-print

15:00 - 15:10
Demonstration

Developer Reputation Estimator (DRE)

Sadika AmreenUniversity of Tennessee Knoxville, Andrey KarnauchUniversity of Tennessee Knoxville, Audris MockusUniversity of Tennessee - Knoxville

15:10 - 15:20
Demonstration

CocoQa: Question Answering for Coding Conventions over Knowledge Graphs

Tianjiao DuShanghai JiaoTong University, Junming CaoShanghai JiaoTong University, Qinyue WuShanghai JiaoTong University, Wei LiShanghai JiaoTong University, Beijun ShenSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Yuting ChenShanghai Jiao Tong University

13:40 - 15:20: Student Research Competition - Poster Session: Student Research Competition (for judges only) at Kensington Ballroom

13:40 - 15:20: Papers - Testing and Verification at Cortez 1
Chair(s): Weihang WangUniversity at Buffalo, SUNY

13:40 - 14:00
Talk

Systematically Covering Input Structure

Nikolas HavrikovCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security

Pre-print

14:00 - 14:20
Talk

SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs

Devika SondhiIIIT Delhi, Rahul PurandareIIIT-Delhi

Pre-print

14:20 - 14:40
Talk

Detecting Error-Handling Bugs without Error Specification Input

Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Tingting YuUniversity of Kentucky, Xiangke LiaoNational University of Defense Technology, China, Ji WangNational University of Defense Technology, Xiaodong LiuNational University of Defense Technology, Yunhuai LiuPeking University

14:40 - 15:00
Talk

Test Automation and its Limitations

Ahyoung SungSamsung Electronics, Yangsu KimSamsung Electronics, Sangjun KimSamsung Electronics, Jongin KimSamsung Electronics, Neo JangSamsung Electronics

15:00 - 15:10
Talk

Grading-Based Test Suite Augmentation

Jonathan Osei-OwusuUniversity of Illinois at Urbana-Champaign, Angello AstorgaUniversity of Illinois at Urbana-Champaign, Liia ButlerUniversity of Illinois at Urbana-Champaign, Tao XiePeking University, Geoffrey ChallenUniversity of Illinois at Urbana-Champaign

15:10 - 15:20
Demonstration

MutAPK: Source-Codeless Mutant Generation for Android Apps

Camilo Escobar-VelásquezUniversidad de los Andes, Michael Osorio-RiañoUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia

15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace

15:20 - 16:00: Doctoral Symposium - Poster Session: Doctoral Symposium at Kensington Ballroom

15:20 - 16:00

Automatically Repairing Binary Programs Using Adapter Synthesis

Vaibhav SharmaUniversity of Minnesota

15:20 - 16:00

Improving Patch Quality by Enhancing Key Components of Automatic Program Repair

Mauricio SotoCarnegie Mellon University

15:20 - 16:00

Improving Collaboration Efficiency in Fork-based Development

Shurui ZhouCarnegie Mellon University, USA

15:20 - 16:00

Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements

Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim

15:20 - 16:00

Tackling Build Failures in Continuous Integration

Foyzul HassanUniversity of Texas at San Antonio, USA

15:20 - 16:00

Enabling Continuous Improvement of a Continuous Integration Process

Carmine VassalloUniversity of Zurich

15:20 - 16:00

Generating Tests to Analyse Dynamically-Typed Programs

Stephan LukasczykUniversity of Passau

15:20 - 16:00

Inference of Properties from Requirements and Automation of their Formal Verification

Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH

15:20 - 16:00: Student Research Competition - Poster Session: Student Research Competition at Kensington Ballroom

15:20 - 16:00

Boosting Neural Commit Message Generation with Code Semantic Analysis

Shuyao JiangFudan University

15:20 - 16:00

Toward Practical Automatic Program Repair

Ali GhanbariThe University of Texas at Dallas

15:20 - 16:00

An Image-inspired and CNN-based Android Malware Detection Approach

Shao YangCase Western Reserve University

15:20 - 16:00

An Approach for Investigating Emotion Dynamics in Software Development

Krishna NeupaneRochester Institute of Technology

15:20 - 16:00

A Machine Learning based Approach to Identify SQL Injection Vulnerabilities

Kevin ZhangWayne State University

15:20 - 16:00

Retrieve and Refine: Exemplar-based Neural Comment Generation

Bolin WeiPeking University

15:20 - 16:00

Verifying Determinism in Sequential Programs

Rashmi MudduluruUniversity of Washington, Seattle

15:20 - 16:00

User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications

Krishna Murthy Kattiyan RamamoorthySan Diego State University

15:20 - 16:00

Empirical Study of Python Call Graph

Li YuNanjing University

15:20 - 16:00

Towards Comprehensible Representation of Controllers using Machine Learning

Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus

15:20 - 16:00

API Design Implications of Boilerplate Client Code

Daye NamCarnegie Mellon University

15:20 - 16:00

Compile-time detection of machine image sniping

Martin KelloggUniversity of Washington, Seattle

15:20 - 16:00

Crowdsourced Report Generation via Bug Screenshot Understanding

Shengcheng YuNanjing University, China

16:00 - 17:40: Papers - Code and Artifact Analysis at Cortez 2&3
Chair(s): Sarah NadiUniversity of Alberta

16:00 - 16:20
Talk

Emotions Extracted from Text vs. True Emotions –An Empirical Evaluation in SE Context

Yi WangShenzhen University

16:20 - 16:40
Talk

Collaborative feature location in models through automatic query expansion

Francisca PérezSVIT Research GroupUniversidad San Jorge, Jaime FontSan Jorge University, Spain, Lorena ArcegaSan Jorge University, Carlos CetinaSan Jorge University, Spain

Link to publication

16:40 - 17:00
Talk

Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets

C M Khaled SaifullahDepartment of Computer Science, University of Saskatchewan, Muhammad AsaduzzamanPostdoctoral Research Fellow, Software Analysis and Intelligence Lab, Queen's University, Canada, Chanchal K. RoyUniversity of Saskatchewan

Pre-print

17:00 - 17:20
Talk

Inferring Program Transformations From Singular Examples via Big Code

Jiajun JiangPeking University, Luyao RenPeking University, Yingfei XiongPeking University, Lingming ZhangThe University of Texas at Dallas

Link to publication Pre-print

17:20 - 17:40
Talk

Extracting and studying the Logging-Code-Issue-Introducing changes in Java-based large-scale open source software systems

Boyuan ChenYork University, Zhen Ming (Jack) JiangYork University

Link to publication

16:00 - 17:40: Papers - Security at Hillcrest
Chair(s): Julia RubinUniversity of British Columbia

16:00 - 16:20
Talk

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint AnalysisACM SIGSOFT Distinguished Paper Award

Dongjie HeUniversity of New South Wales; Institute of Computing Technology, CAS; University of Chinese Academy of Sciences, Haofeng LiInstitute of Computing Technology, CAS; University of Chinese Academy of Sciences, Lei WangInstitute of Computing Technology, Chinese Academy of Science, Haining MengInstitute of Computing Technology, CAS; University of Chinese Academy of Sciences, Hengjie ZhengInstitute of Computing Technology, CAS; University of Chinese Academy of Sciences, Jie LiuUniversity of New South Wales, Shuangwei Huvivo AI Lab, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Jingling XueUNSW Sydney

16:20 - 16:40
Talk

Characterizing Android App Signing Issues

Haoyu WangBeijing University of Posts and Telecommunications, China, Hongxuan LiuPeking University, Xusheng XiaoCase Western Reserve University, Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Yao GuoPeking University

16:40 - 17:00
Talk

OAuthLint: An Empirical Study on OAuth Bugs in Android Applications

Tamjid Al RahatUniversity of Virginia, Yu FengUniversity of California, Santa Barbara, Yuan TianUniversity of Virginia

Pre-print

17:00 - 17:20
Talk

Are Free Android App Security Analysis Tools Effective in Detecting Known Vulnerabilities?

Venkatesh-Prasad RanganathKansas State University, Joydeep MitraKansas State University

Link to publication DOI Pre-print Media Attached

17:20 - 17:30
Demonstration

SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoGoogle, Oshando JohnsonFraunhofer IEM, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Pre-print Media Attached File Attached

17:30 - 17:40
Demonstration

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs

Ayesha SadiqMonash University, Li LiMonash University, Australia, Yuan-Fang LiMonash University, Ijaz AhmedUniversity of Lahore, Sea LingMonash University

16:00 - 17:40: Papers - Testing and Visualization at Cortez 1
Chair(s): Amin AlipourUniversity of Houston

16:00 - 16:20
Talk

History-Guided Configuration Diversification for Compiler Test-Program GenerationACM SIGSOFT Distinguished Paper Award

Junjie ChenTianjin University, Guancheng WangPeking University, Dan HaoPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Lu ZhangPeking University

16:20 - 16:40
Talk

Data-Driven Compiler Testing and Debugging

Junjie ChenTianjin University

16:40 - 17:00
Talk

Targeted Example Generation for Compilation Errors

Umair Z. AhmedNational University of Singapore, Renuka SindhgattaQueensland University of Technology, Australia, Nisheeth SrivastavaIndian Institute of Technology, Kanpur, Amey KarkareIIT Kanpur

Link to publication Pre-print

17:00 - 17:20
Talk

Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators

Giovanni GranoUniversity of Zurich, Fabio PalombaDepartment of Informatics, University of Zurich, Harald GallUniversity of Zurich

Link to publication Pre-print

17:20 - 17:30
Demonstration

Visual Analytics for Concurrent Java Executions

Cyrille ArthoKTH Royal Institute of Technology, Sweden, Monali PandeKTH Royal Institute of Technology, Qiyi TangUniversity of Oxford

17:30 - 17:40
Demonstration

NeuralVis: Visualizing and Interpreting Deep Learning Models

Xufan ZhangState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue YinState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang FengUniversity of California, Irvine, Qingkai ShiHong Kong University of Science and Technology, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu ChenNanjing University

18:00 - 21:00: Social - ASE Reception at Kensington Ballroom/Kensington Terrace

18:00 - 21:00
Social Event

ASE Reception

19:30 - 20:00

Adhoc affinity group dinner meetupsDiversity and Inclusion

19:00 - 23:59: Meetings - ASE Steering Committee Meeting at Normal Heights

Wed 13 Nov

07:30 - 08:30: Social - Women’s Breakfast at South Park

07:30 - 08:30

Women’s Breakfast (registration required)Diversity and Inclusion

08:00 - 11:00: Registration - Registration Desk at North Park

08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom

08:30 - 09:00
Awards

ASE Award Ceremony

09:00 - 10:00
Talk

The Human Dimension of Cloud Computing

Yuanyuan ZhouUniversity of California, San Diego

10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace

10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 2 at Kensington Ballroom

10:00 - 10:40
Demonstration

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis

Yuexing WangTsinghua University, Guang ChenTsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Jiaguang SunTsinghua University

10:00 - 10:40
Demonstration

BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules

Pavan ChittimalliTCS Research, Kritika AnandTCS Research, Shrishti PradhanTCS Research, Sayandeep MitraTCS Research, Chandan PrakashTCS Research, Rohit ShereTCS Research, Ravindra NaikTCS Research, TRDDC, India

10:00 - 10:40
Demonstration

Lancer: Your Code Tell Me What You Need

Shufan ZhouSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun ShenSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University

10:00 - 10:40
Demonstration

TestCov: Robust Test-Suite Execution and Coverage Measurement

Dirk BeyerLMU Munich, Thomas LembergerLMU Munich

Pre-print Media Attached File Attached

10:00 - 10:40
Demonstration

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis

Yihao HuangEast China Normal University, Jincao FengEast China Normal University, Hanyue ZhengEast China Normal University, Jiayi ZhuEast China Normal University, Shang WangEast China Normal University, Siyuan JiangEastern Michigan University, Weikai MiaoShanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Geguang PuEast China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd

10:00 - 10:40
Demonstration

XRaSE: Towards Virtually Tangible Software using Augmented Reality

Rohit MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture

10:00 - 10:40
Demonstration

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract

Zixin LiNanjing University, Haoran WuState Key Laboratory for Novel Software Technology, Nanjing University, Jiehui XuNanjing University, Xingya WangState Key Laboratory for Novel Software Technology, Nanjing University, Lingming ZhangThe University of Texas at Dallas, Zhenyu ChenNanjing University

10:00 - 10:40
Demonstration

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq

Bernd FischerStellenbosch University, Salvatore La TorreUniversità degli Studi di Salerno, Gennaro ParlatoUniversity of Molise

10:00 - 10:40
Demonstration

DeepMutation++: a Mutation Testing Framework for Deep Learning Systems

Qiang HuKyushu University, Japan, Lei MaKyushu University, Xiaofei XieNanyang Technological University, Bing YuKyushu University, Japan, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University

10:00 - 10:40
Demonstration

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

Mark MossbergTrail of Bits, Felipe ManzanoTrail of Bits, Eric HennenfentTrail of Bits, Alex GroceTrail of Bits, Gustavo GriecoTrail of Bits, Josselin FeistTrail of Bits, Trent BrunsonTrail of Bits, Artem DinaburgTrail of Bits

Media Attached

10:00 - 10:40
Demonstration

ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities

Ruijie MengUniversity of Chinese Academy of Sciences, Biyun ZhuUniversity of Chinese Academy of Sciences, Hao YunUniversity of Chinese Academy of Sciences, Haicheng LiUniversity of Chinese Academy of Sciences, Yan CaiInstitute of Software, Chinese Academy of Sciences, Zijiang YangWestern Michigan University

10:00 - 10:40
Demonstration

mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines

Reza AhmadiQueen's University, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario

10:40 - 12:20: Papers - Cloud and Online Services at Hillcrest
Chair(s): Dan HaoPeking University

10:40 - 11:00
Talk

Understanding Exception-Related Bugs in Large-Scale Cloud Systems

Haicheng ChenThe Ohio State University, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Yanyan JiangNanjing University, Feng QinOhio State University, USA

Pre-print

11:00 - 11:20
Talk

iFeedback: Exploiting User Feedback for Real-time Issue Detection in Large-Scale Online Service Systems

Wujie ZhengTencent, Inc., Haochuan LuFudan University, Yangfan ZhouFudan University, Jianming LiangTencent, Haibing ZhengTencent, Yuetang DengTencent, Inc.

11:20 - 11:40
Talk

Software Microbenchmarking in the Cloud. How Bad is it Really?

Christoph LaaberUniversity of Zurich, Joel ScheunerChalmers | University of Gothenburg, Philipp LeitnerChalmers University of Technology & University of Gothenburg

Link to publication Pre-print

11:40 - 12:00
Talk

Continuous Incident Triage for Large-Scale Online Service Systems

Junjie ChenTianjin University, Xiaoting HeMicrosoft, Qingwei LinMicrosoft Research, China, Hongyu ZhangThe University of Newcastle, Dan HaoPeking University, Feng GaoMicrosoft, Zhangwei XuMicrosoft, Yingnong DangMicrosoft Azure, Dongmei ZhangMicrosoft Research, China

12:00 - 12:10
Demonstration

Kotless: a Serverless Framework for Kotlin

Vladislav TankovJetBrains, ITMO University, Yaroslav GolubevJetBrains Research, ITMO University, Timofey BryksinJetBrains Research, Saint-Petersburg State University

12:10 - 12:20
Demonstration

FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing

10:40 - 12:20: Papers - Program Repair at Cortez 2&3
Chair(s): Yingfei XiongPeking University

10:40 - 11:00
Talk

Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models

Hao ZhangCity University of Hong Kong, Wing-Kwong ChanCity University of Hong Kong, Hong Kong

11:00 - 11:20
Talk

Re-factoring based Program Repair applied to Programming Assignments

Yang HuThe University of Texas at Austin, Umair Z. AhmedNational University of Singapore, Sergey MechtaevUniversity College London, Ben LeongNational University of Singapore, Abhik RoychoudhuryNational University of Singapore

Pre-print

11:20 - 11:40
Talk

InFix: Automatically Repairing Novice Program Inputs

Madeline EndresUniversity of Michigan, Georgios SakkasUniversity of California, San Diego, Benjamin CosmanUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California, San Diego, Westley WeimerUniversity of Michigan

Pre-print

11:40 - 12:00
Talk

Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg

Matias MartinezUniversité Polytechnique Hauts-de-France, Martin MonperrusKTH Royal Institute of Technology

Pre-print

12:00 - 12:10
Demonstration

PraPR: Practical Program Repair via Bytecode Mutation

Ali GhanbariThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas

12:10 - 12:20
Talk

Understanding Automatically-Generated Patches Through Symbolic Invariant Differences

Padraic CashinArizona State University, Cari MartinezUniversity of New Mexico, Stephanie ForrestArizona State University, Westley WeimerUniversity of Michigan

Pre-print

10:40 - 12:20: Student Research Competition - Student Research Competition - Selected Presentations (Graduate) at South Park
Chair(s): Jie M. ZhangUniversity College London, UK, Jin L.C. GuoMcGill University

10:40 - 10:55

Toward Practical Automatic Program Repair

Ali GhanbariThe University of Texas at Dallas

10:55 - 11:10

Verifying Determinism in Sequential Programs

Rashmi MudduluruUniversity of Washington, Seattle

11:10 - 11:25

An Image-inspired and CNN-based Android Malware Detection Approach

Shao YangCase Western Reserve University

11:25 - 11:40

User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications

Krishna Murthy Kattiyan RamamoorthySan Diego State University

11:40 - 11:55

API Design Implications of Boilerplate Client Code

Daye NamCarnegie Mellon University

11:55 - 12:10

Compile-time detection of machine image sniping

Martin KelloggUniversity of Washington, Seattle

10:40 - 12:20: Papers - Testing and Program Analysis at Cortez 1
Chair(s): Jun SunSingapore Management University, Singapore

10:40 - 11:00
Talk

Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular ExpressionsACM SIGSOFT Distinguished Paper Award

Louis G. Michael IVVirginia Tech, James DonohueUniversity of Bradford, James C. DavisVirginia Tech, USA, Dongyoon LeeStony Brook University, Francisco ServantVirginia Tech

Pre-print File Attached

11:00 - 11:20
Talk

Testing Regex Generalizability And Its Implications: A Large-Scale Many-Language Measurement Study

James C. DavisVirginia Tech, USA, Daniel MoyerVirginia Tech, Ayaan M. KazerouniVirginia Tech, Dongyoon LeeStony Brook University

Pre-print File Attached

11:20 - 11:40
Talk

Accurate String Constraints Solution Counting with Weighted Automata

Elena ShermanBoise State University, Andrew HarrisBoise State University

11:40 - 12:00
Talk

Subformula Caching for Model Counting and Quantitative Program Analysis

William EiersUniversity of California at Santa Barbara, USA, Seemanta SahaUniversity of California Santa Barbara, Tegan BrennanUniversity of California, Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara

12:00 - 12:10
Demonstration

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs

12:10 - 12:20
Demonstration

FPChecker: Detecting Floating-Point Exceptions in GPU Applications

Ignacio LagunaLawrence Livermore National Laboratory

12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace

12:20 - 13:40
Lunch

Diversity and Inclusion LunchDiversity and Inclusion

13:40 - 15:20: Papers - Configurations and Variability at Hillcrest
Chair(s): Shin Hwei TanSouthern University of Science and Technology

13:40 - 14:00
Talk

ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks

Liang BaoSchool of Computer Science and Technology, XiDian University, Xin LiuDepartment of Computer Science, University of California, Davis, Fangzheng WangSchool of Computer Science and Technology, XiDian University, Baoyin FangSchool of Computer Science and Technology, XiDian University

14:00 - 14:20
Talk

Automated N-way Program Merging for Facilitating Family-Based Analyses of Variant-Rich Software

Dennis ReulingSoftware Engineering Group, University of Siegen, Udo KelterSoftware Engineering Group, University of Siegen, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Malte LochauTU Darmstadt

Link to publication DOI

14:20 - 14:40
Talk

V2: Fast Detection of Configuration Drift in Python

Eric HortonNorth Carolina State University, Chris ParninNCSU

Pre-print

14:40 - 15:00
Talk

Feature-Interaction Aware Configuration Prioritization for Configurable Code

Son NguyenThe University of Texas at Dallas, Hoan Anh NguyenAmazon, Ngoc TranUniversity of Texas at Dallas, Hieu TranThe University of Texas at Dallas, Tien N. NguyenUniversity of Texas at Dallas

15:00 - 15:20
Talk

Search-based test case implantation for testing untested configurations

Dipesh PradhanSimula Research Laboratory, Norway, Shuai WangHong Kong University of Science and Technology, Tao YueNanjing University of Aeronautics and Astronautics & Simula Research Laboratory, Shaukat AliSimula Research Lab, Marius LiaaenCisco Systems

Link to publication

13:40 - 15:20: Student Research Competition - Student Research Competition - Selected Presentations (Undergraduate) at South Park
Chair(s): Jie M. ZhangUniversity College London, UK, Jin L.C. GuoMcGill University

13:40 - 13:55

Crowdsourced Report Generation via Bug Screenshot Understanding

Shengcheng YuNanjing University, China

13:55 - 14:10

Towards Comprehensible Representation of Controllers using Machine Learning

Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus

14:10 - 14:25

Empirical Study of Python Call Graph

Li YuNanjing University

14:25 - 14:40

A Machine Learning based Approach to Identify SQL Injection Vulnerabilities

Kevin ZhangWayne State University

14:40 - 14:55

Boosting Neural Commit Message Generation with Code Semantic Analysis

Shuyao JiangFudan University

13:40 - 15:20: Papers - Systems and Localization at Cortez 2&3
Chair(s): Tegawendé F. BissyandéSnT, University of Luxembourg

13:40 - 14:00
Talk

Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study

Jiajun JiangPeking University, Ran WangPeking University, Yingfei XiongPeking University, Xiangping ChenSun Yat-sen University, Lu ZhangPeking University

Pre-print

14:00 - 14:20
Talk

SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces

Tarannum Shaila ZamanUniversity of Kentucky, Xue HanUniversity of Kentucky, Tingting YuUniversity of Kentucky

Pre-print File Attached

14:20 - 14:40
Talk

Root Cause Localization for Unreproducible Builds via Causality Analysis over System Call Tracing

Zhilei RenDalian University of Technology, Changlin LiuCase Western Reserve University, Xusheng XiaoCase Western Reserve University, He JiangSchool of Software, Dalian University of Technology, Tao XiePeking University

14:40 - 15:00
Talk

PTracer: A Linux Kernel Patch Trace Bot

Yang WenZTE Corporation, Jicheng CaoZTE Corporation, Shengyu ChengZTE Corporation

15:00 - 15:10
Demonstration

Pangolin: An SFL-based Toolset for Feature Localization

Bruno Miguel Sotto-Mayor de Castro MachadoIST, University of Lisbon, Alexandre PerezPalo Alto Research Center, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID

15:10 - 15:20
Demonstration

SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software

Pre-print Media Attached File Attached

13:40 - 15:20: Papers - Verification and Bug Detection at Cortez 1
Chair(s): Raghavan KomondoorIndian Institute of Science, Bangalore

13:40 - 14:00
Talk

Mutation Analysis for Coq

Ahmet CelikThe University of Texas at Austin, Karl PalmskogUniversity of Texas at Austin, Marinela ParovicThe University of Texas at Austin, Emilio Jesús Gallego AriasMINES ParisTech, Milos GligoricThe University of Texas at Austin

14:00 - 14:20
Talk

Verifying Arithmetic in Cryptographic C Programs

Jiaxiang LiuShenzhen University, Xiaomu ShiShenzhen University, Ming-Hsien TsaiAcademia Sinica, Taiwan, Bow-Yaw WangAcademia Sinica, Bo-Yin YangAcademia Sinica

Pre-print

14:20 - 14:40
Talk

Model checking embedded control software using OS-in-the-loop CEGAR

Dongwoo KimKyungpook National University, Yunja ChoiKyungpook National University

Pre-print

14:40 - 15:00
Talk

Get rid of inline assembly through verification-oriented lifting

Frédéric RecoulesCEA LIST, Sebastien BardinCEA LIST, Richard BonichonCEA LIST, Laurent MounierUniversité Grenoble Alpes, Marie-Laure PotetUniversité Grenoble Alpes

Pre-print

15:00 - 15:10
Demonstration

VeriAbs : Verification by Abstraction and Test Generation

15:10 - 15:20
Demonstration

SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection

15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace

15:20 - 16:00: Late Breaking Results - Poster Session: Late Breaking Results at Kensington Ballroom

15:20 - 16:00
Poster

Recommendation of Exception Handling Code in Mobile App Development

Tam Nguyen, Phong Minh Vu, Tung Thanh Nguyen

Pre-print

15:20 - 16:00
Poster

LVMapper: A Large-variance Clone Detector Using Sequencing Alignment Approach

Ming Wu, Pengcheng WangUniversity of Science and Technology of China, Kangqi Yin, Haoyu Cheng, Yun XuUniversity of Science and Technology of China, Chanchal K. RoyUniversity of Saskatchewan

Pre-print

15:20 - 16:00
Poster

K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers

Md Rafiqul Islam RabinUniversity of Houston, Mohammad Amin Alipour

Pre-print

15:20 - 16:00
Poster

An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums

Yi LiNanyang Technological University, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas, Xinyue Ye, Yan Wang

Pre-print

15:20 - 16:00
Poster

Testing Neural Programs

Md Rafiqul Islam RabinUniversity of Houston, Ke WangVisa Research, Mohammad Amin Alipour

Pre-print

15:20 - 16:00
Poster

Self Learning from Large Scale Code Corpus to Infer Structure of Method Invocations

Hung Phan

Pre-print

15:20 - 16:00
Poster

Data Sanity Check for Deep Learning Systems via Learnt Assertions

Haochuan LuFudan University, Huanlin Xu, Nana Liu, Yangfan ZhouFudan University, Xin Wang

Pre-print

15:20 - 16:00
Poster

Software Engineering for Fairness: A Case Study with Hyperparameter Optimization

Joymallya ChakrabortyNorth Carolina State University, Tianpei Xia, Fahmid M. Fahid, Tim MenziesNorth Carolina State University

Pre-print

15:20 - 16:00
Poster

API Misuse Correction: A Statistical Approach

Tam Nguyen, Phong Minh Vu, Tung Thanh Nguyen

Pre-print

15:20 - 16:00
Poster

Should We Add Repair Time to an Unfixed Bug? An Exploratory Study of Automated Program Repair on 2980 Small-Scale Programs

Chuanqi Xu, Yisen Xu, Yingqi Zhang, Jifeng XuanWuhan University

Pre-print

15:20 - 16:00
Poster

Learning test traces

Eyal Hadad, Roni Stern

Pre-print

15:20 - 16:00
Poster

The Dynamics of Software Composition Analysis

Darius Foo, Jason Yeo, Hao Xiao, Asankhaya Sharma

Pre-print

15:20 - 16:00
Poster

A Process Mining based Approach to Improving Defect Detection of SysML Models.

Mounifah Alenazi, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss

Pre-print

15:20 - 16:00
Poster

Open-Source Projects and their Collaborative Development Workflows

panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university

Pre-print

15:20 - 16:00
Poster

Detecting Deep Neural Network Defects with Data Flow Analysis

Jiazhen Gu, Huanlin Xu, Yangfan ZhouFudan University, Xin Wang, Hui Xu, Michael LyuThe Chinese University of Hong Kong

Pre-print

15:20 - 16:00
Poster

On building an automated responding system for app reviews: What are the characteristics of reviews and their responses?

Phong Minh Vu, Tam Nguyen, Tung Thanh Nguyen

Pre-print

16:00 - 17:40: Papers - API and Renaming at Cortez 2&3
Chair(s): Massimiliano Di PentaUniversity of Sannio

16:00 - 16:20
Talk

CodeKernel: A Graph Kernel based Approach to the Selection of API Usage Examples

Xiaodong GuThe Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle, Sunghun KimHong Kong University of Science and Technology

Pre-print

16:20 - 16:40
Talk

Machine Learning Based Automated Method Name Recommendation: How Far Are We

Lin Jiangbeijing university of posts and telecommunication, Hui LiuBeijing Institute of Technology, He JiangSchool of Software, Dalian University of Technology

16:40 - 17:00
Talk

MARBLE: Mining for Boilerplate Code to Identify API Usability Problems

Daye NamCarnegie Mellon University, Amber HorvathCarnegie Mellon University, Andrew MacveanGoogle, Inc., Brad MyersCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University

Pre-print

17:00 - 17:20
Talk

DIRE: A Neural Approach to Decompiled Identifier Renaming

Jeremy LacomisCarnegie Mellon University, Pengcheng YinCarnegie Mellon University, Edward J. SchwartzCarnegie Mellon University Software Engineering Institute, Miltiadis AllamanisMicrosoft Research, Cambridge, Claire Le GouesCarnegie Mellon University, Graham NeubigCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University

Pre-print Media Attached

17:20 - 17:40
Talk

Automatic Detection and Update Suggestion for Outdated API Names in Documentation

Seonah LeeGyeongsang National University, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sungwon KangKorea Advanced Institute of Science and Technology

Link to publication

16:00 - 17:50: Papers - Performance at Hillcrest
Chair(s): Tim MenziesNorth Carolina State University

16:00 - 16:20
Talk

Accurate Modeling of Performance Histories for Evolving Software Systems

Stefan MühlbauerBauhaus-University Weimar, Sven ApelSaarland University, Norbert SiegmundBauhaus-University Weimar

Pre-print

16:20 - 16:40
Talk

An Industrial Experience Report on Performance-Aware Refactoring on a Database-centric Web Application

Boyuan ChenYork University, Zhen Ming (Jack) JiangYork University, Paul MatosCopywell Inc., Michael LacariaCopywell Inc.

Authorizer link Pre-print

16:40 - 17:00
Talk

An Experience Report of Generating Load Tests Using Log-recovered Workloads at Varying Granularities of User Behaviour

Jinfu ChenJiangsu University, Weiyi (Ian) ShangConcordia University, Canada, Ahmed E. HassanQueen's University, Yong WangAlibaba Group, Jiangbin LinAlibaba Group

Pre-print

17:00 - 17:10
Talk

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

Yida TaoShenzhen University, Shan TangShenzhen University, Yepang LiuSouthern University of Science and Technology, Zhiwu XuShenzhen University, Shengchao QinUniversity of Teesside

17:10 - 17:20
Talk

Demystifying Application Performance Management Libraries for Android

Yutian TangThe Hong Kong Polytechnic University, Zhan XianThe Hong Kong Polytechnic University, Hao ZhouThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Zhou XuWuhan University, Yajin ZhouZhejiang University, Qiben YanMichigan State University

17:20 - 17:30
Demonstration

PeASS: A Tool for Identifying Performance Changes at Code Level

David Georg ReicheltUniversität Leipzig, Stefan KühneUniversität Leipzig, Wilhelm HasselbringKiel University

Pre-print Media Attached File Attached

17:30 - 17:50
Talk

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

Daniil StepanovSaint Petersburg Polytechnic University, Marat AkhinSaint Petersburg Polytechnic University / JetBrains Research, Mikhail BelyaevSaint Petersburg Polytechnic University

Pre-print

16:00 - 17:40: Papers - Prediction at Cortez 1
Chair(s): Xin XiaMonash University

16:00 - 16:20
Talk

Predicting Licenses for Changed Source Code

Xiaoyu LiuDepartment of Computer Science and Engineering, Southern Methodist University, Liguo HuangDept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Jidong GeState Key Laboratory for Novel Software and Technology, Nanjing University, Vincent NgHuman Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688

16:20 - 16:40
Talk

Empirical evaluation of the impact of class overlap on software defect prediction

Lina GongChina University of Mining and Technology, Shujuan JiangChina University of Mining and Technology, Rongcun WangChina University of Mining and Technology, Li JiangChina University of Mining and Technology

16:40 - 17:00
Talk

Combining Program Analysis and Statistical Language Model for Code Statement Completion

Son NguyenThe University of Texas at Dallas, Tien N. NguyenUniversity of Texas at Dallas, Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA

17:00 - 17:20
Talk

Balancing the trade-off between accuracy and interpretability in software defect prediction

Toshiki MoriCorporate Software Engineering & Technology Center, Toshiba Corporation, Naoshi UchihiraSchool of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST)

Link to publication File Attached

17:20 - 17:40
Talk

Fine-grained just-in-time defect prediction

Luca PascarellaDelft University of Technology, Fabio PalombaDepartment of Informatics, University of Zurich, Alberto BacchelliUniversity of Zurich

Link to publication

18:00 - 00:00: Social - ASE Banquet

18:00 - 22:30
Social Event

ASE Banquet

21:00 - 00:00
Social Event

Evening D&I Session – KaraokeDiversity and Inclusion

Thu 14 Nov

Hide past events

08:00 - 11:00: Registration - Registration Desk at North Park

08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom

08:30 - 08:45
Awards

Student Research Competition Awards Ceremony

08:45 - 09:00

ASE 2020 Announcement

09:00 - 10:00
Talk

Automated Debug & Profiling of AAA Games

Mathieu NayrollesUbisoft Montreal

10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace

10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 3 at Kensington Ballroom

10:00 - 10:40
Demonstration

PraPR: Practical Program Repair via Bytecode Mutation

Ali GhanbariThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas

10:00 - 10:40
Demonstration

Kotless: a Serverless Framework for Kotlin

Vladislav TankovJetBrains, ITMO University, Yaroslav GolubevJetBrains Research, ITMO University, Timofey BryksinJetBrains Research, Saint-Petersburg State University

10:00 - 10:40
Demonstration

PeASS: A Tool for Identifying Performance Changes at Code Level

David Georg ReicheltUniversität Leipzig, Stefan KühneUniversität Leipzig, Wilhelm HasselbringKiel University

Pre-print Media Attached File Attached

10:00 - 10:40
Demonstration

MutAPK: Source-Codeless Mutant Generation for Android Apps

10:00 - 10:40
Demonstration

CocoQa: Question Answering for Coding Conventions over Knowledge Graphs

10:00 - 10:03
Demonstration

Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing

Yuanchun LiPeking University, Ziyue YangPeking University, Yao GuoPeking University, Xiangqun ChenPeking University

10:00 - 10:40
Demonstration

Developer Reputation Estimator (DRE)

Sadika AmreenUniversity of Tennessee Knoxville, Andrey KarnauchUniversity of Tennessee Knoxville, Audris MockusUniversity of Tennessee - Knoxville

10:00 - 10:40
Demonstration

NeuralVis: Visualizing and Interpreting Deep Learning Models

10:00 - 10:40
Demonstration

Visual Analytics for Concurrent Java Executions

Cyrille ArthoKTH Royal Institute of Technology, Sweden, Monali PandeKTH Royal Institute of Technology, Qiyi TangUniversity of Oxford

10:00 - 10:40
Demonstration

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs

Ayesha SadiqMonash University, Li LiMonash University, Australia, Yuan-Fang LiMonash University, Ijaz AhmedUniversity of Lahore, Sea LingMonash University

10:00 - 10:40
Demonstration

SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods

Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoGoogle, Oshando JohnsonFraunhofer IEM, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Pre-print Media Attached File Attached

10:00 - 10:40
Demonstration

VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization

10:40 - 12:20: Papers - Concurrency at Cortez 1
Chair(s): Elena ShermanBoise State University

10:40 - 11:00
Talk

MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes

Zan WangCollege of Intelligence and Computing, Tianjin University, Yingquan ZhaoCollege of Intelligence and Computing, Tianjin University, Shuang LiuCollege of Intelligence and Computing, Tianjin University, Jun SunSingapore Management University, Singapore, Xiang ChenSchool of Information Science and Technology, Nantong University, Huarui LinCollege of Intelligence and Computing, Tianjin University

11:00 - 11:20
Talk

Automating Non-Blocking Synchronization In Concurrent Data Abstractions

Jiange ZhangUniversity of Colorado Colorado Springs, Qing YiUniversity of Colorado Colorado Springs, Damian DechevUniversity of Central Florida

Pre-print

11:20 - 11:40
Talk

Automating CUDA Synchronization via Program Transformation

Mingyuan WuSouthern University of Science and Technology, Lingming ZhangThe University of Texas at Dallas, Cong LiuEindhoven University of Technology, Shin Hwei TanSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology

11:40 - 12:00
Talk

Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs

Ernest Bota PobeeCity University of Hong Kong, Xiupei MeiCity University of Hong Kong, Wing-Kwong ChanCity University of Hong Kong, Hong Kong

12:00 - 12:10
Demonstration

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq

Bernd FischerStellenbosch University, Salvatore La TorreUniversità degli Studi di Salerno, Gennaro ParlatoUniversity of Molise

12:10 - 12:20
Demonstration

ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities

10:40 - 12:20: Papers - Deep Models at Cortez 2&3
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto

10:40 - 11:00
Talk

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement LearningACM SIGSOFT Distinguished Paper Award

Yan ZhengTianjin University, Xiaofei XieNanyang Technological University, Ting SuETH Zurich, Lei MaKyushu University, Jianye HaoTianjin University, Zhaopeng MengTianjin University, Yang LiuNanyang Technological University, Singapore, Ruimin ShenFuxi AI Lab in Netease, Yinfeng ChenFuxi AI Lab in Netease, Changjie FanFuxi AI Lab in Netease

11:00 - 11:20
Talk

A Study of Oracle Approximations in Testing Deep Learning Libraries

Mahdi NejadgholiConcordia University, Jinqiu YangConcordia University, Montreal, Canada

11:20 - 11:40
Talk

Property Inference for Deep Neural Networks

Divya GopinathCarnegie Mellon University, Hayes ConverseThe University of Texas at Austin, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Ankur TalyGoogle

11:40 - 12:00
Talk

An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms

Qianyu GuoTianjin University, Sen ChenNanyang Technological University, Singapore, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Qiang HuKyushu University, Japan, Hongtao LiuTianjin University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Li XiaohongTianJin University

Pre-print

12:00 - 12:10
Demonstration

DeepMutation++: a Mutation Testing Framework for Deep Learning Systems

12:10 - 12:20
Demonstration

DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks

10:40 - 12:20: Papers - Refactoring and Software Production at Hillcrest
Chair(s): Cyrille ArthoKTH Royal Institute of Technology, Sweden

10:40 - 11:00
Talk

RefBot: Intelligent Software Refactoring Bot

Vahid AlizadehUniversity of Michigan, Mohamed Amine OualiUniversity of Michigan, Marouane KessentiniUniversity of Michigan, Meriem ChaterUniversity of Michigan

11:00 - 11:20
Talk

Automated Refactoring to Reactive Programming

Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt

11:20 - 11:40
Talk

Trusted Software Supply Chain

Kapil SingiAccenture, R.P. Jagadeesh Chandra BoseAccenture Labs, Sanjay PodderAccenture, Adam P. BurdenAccenture

11:40 - 12:00
Talk

A Journey Towards Providing Intelligence and Actionable Insights to Development Teams in Software Delivery

Vibhu Saujanya SharmaAccenture Labs, Rohit MehraAccenture Labs, India, Sanjay PodderAccenture, Adam P. BurdenAccenture

12:00 - 12:10
Demonstration

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis

12:10 - 12:20
Talk

Empirical Study of Programming to an Interface

Benoît VerhaegheINRIA, Christopher FuhrmanÉcole de technologie supérieure, Nicolas AnquetilINRIA, Latifa GuerroujÉcole de Technologie Supérieure, Stéphane Ducasse INRIA Lille

Pre-print

12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace

12:20 - 13:40
Lunch

Faculty Mentorship Lunch

13:40 - 15:20: Papers - Mining and Bug Detection at Cortez 2&3
Chair(s): Chanchal K. RoyUniversity of Saskatchewan

13:40 - 14:00
Talk

Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement

Jingyi WangNational University of Singapore, Singapore, Jun SunSingapore Management University, Singapore, Shengchao QinUniversity of Teesside, Cyrille JegourelISTD, Singapore University of Technology and Design

Link to publication

14:00 - 14:20
Talk

Interactive semi-automated specification mining for debugging: An experience report

Mohammad Jafar MashhadiUniversity of Calgary, Taha R. SiddiquiInfoMagnetics Technologies Corp, Hadi HemmatiUniversity of Calgary, Howard W. LoewenDepartment of Electrical & Computer Engineering, University of Calgary

Link to publication

14:20 - 14:40
Talk

Improving reusability of software libraries through usage pattern mining

Mohamed Aymen SaiedConcordia University, Ali OuniETS Montreal, University of Quebec, Houari SahraouiUniversité de Montréal, Raula Gaikovina KulaNAIST, Katsuro InoueOsaka University, David LoSingapore Management University

Link to publication

14:40 - 15:00
Talk

Rule-based specification mining leveraging learning to rank

Zherui CaoZhejiang University, Yuan TianQueens University, Kingston, Canada, Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University

Link to publication

15:00 - 15:10
Demonstration

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis

Yuexing WangTsinghua University, Guang ChenTsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Jiaguang SunTsinghua University

15:10 - 15:20
Demonstration

Ares: Inferring Error Specifications through Static Analysis

Li ChiTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Hongyu ZhangThe University of Newcastle

13:40 - 15:20: Papers - Models and Logs at Hillcrest
Chair(s): Timo KehrerHumboldt-Universtität zu Berlin

13:40 - 14:00
Talk

Statistical Log Differencing

Lingfeng BaoInstitute of Information Engineering, Chinese Academy of Sciences, Nimrod BusanyTel Aviv University, David LoSingapore Management University, Shahar MaozTel Aviv University

Pre-print

14:00 - 14:20
Talk

Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression

Jinyang LiuSun Yat-Sen University, Jieming ZhuHuawei Noah's Ark Lab, Shilin HeChinese University of Hong Kong, Pinjia HeETH Zurich, Zibin ZhengSun Yat-Sen University, Michael LyuThe Chinese University of Hong Kong

14:20 - 14:40
Talk

Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling

Artur BoronatUniversity of Leicester

14:40 - 15:00
Talk

Size and Accuracy in Model Inference

Nimrod BusanyTel Aviv University, Shahar MaozTel Aviv University, Yehonatan YulazariTel Aviv University

Pre-print

15:00 - 15:10
Demonstration

PMExec: An Execution Engine of Partial UML-RT Models

Mojtaba BagherzadehQueen's University, Karim JahedQueen's University, Nafiseh KahaniQueen's University, Juergen DingelQueen's University, Kingston, Ontario

Pre-print

15:10 - 15:20
Demonstration

mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines

Reza AhmadiQueen's University, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario

13:40 - 15:20: Papers - Program Analysis at Cortez 1
Chair(s): Coen De RooverVrije Universiteit Brussel

13:40 - 14:00
Talk

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation

Brandon PaulsenUniversity of Southern California, Chungha SungUniversity of Southern California, Peter PetersonUniversity of Minnesota Duluth, Chao WangUSC

14:00 - 14:20
Talk

Fine-grain memory object representation in symbolic execution

Martin NowackImperial College London

14:20 - 14:40
Talk

RENN: Efficient Reverse Execution with Neural-Network-assisted Alias Analysis

Dongliang MuNanjing University, Wenbo GuoThe Pennsylvania State University, Alejandro CuevasThe Pennsylvania State University, Yueqi ChenThe Pennsylvania State University, Jinxuan GaiThe Pennsylvania State University, Xinyu XingThe Pennsylvania State University, Bing MaoNanjing University, Chengyu SongUC Riverside

14:40 - 15:00
Talk

Batch Alias Analysis

Jyothi VeduradaIIT Madras, V Krishna NandivadaIIT Madras

Pre-print

15:00 - 15:10
Demonstration

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

Media Attached

15:10 - 15:20
Demonstration

BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules

15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace

16:00 - 17:40: Papers - Emerging Domains at Cortez 1
Chair(s): Joshua GarciaUniversity of California, Irvine

16:00 - 16:20
Talk

Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility

Jeffrey PalmerinoRochester Institute of Technology, Qi YuRochester Institute of Technology, Travis Desell University of North Dakota, Daniel KrutzRochester Institute of Technology

Pre-print

16:20 - 16:40
Talk

Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences

Yuqi ChenSingapore University of Technology and Design, Singapore, Chris PoskittSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Sridhar AdepuSingapore University of Technology and Design, Singapore, Fan ZhangZhejiang University, Zhejiang Lab, and Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China

Pre-print

16:40 - 17:00
Talk

Uncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems

Man ZhangKristiania University, Shaukat AliSimula Research Lab, Tao YueNanjing University of Aeronautics and Astronautics & Simula Research Laboratory

Link to publication

17:00 - 17:20
Talk

Finding Trends in Software Research

George MathewDepartment of Computer Science, North Carolina State University, Amritanshu AgrawalWayfair, Tim MenziesNorth Carolina State University

Link to publication

17:20 - 17:30
Demonstration

XRaSE: Towards Virtually Tangible Software using Augmented Reality

Rohit MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture

17:30 - 17:40
Demonstration

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract

16:00 - 17:40: Papers - Software Development at Hillcrest
Chair(s): Hitesh SajnaniMicrosoft

16:00 - 16:20
Talk

What is Wrong with Topic Modeling? (and How to Fix it Using Search-based Software Engineering)

Amritanshu AgrawalWayfair, Wei FuDepartment of Computer Science, North Carolina State University, Tim MenziesNorth Carolina State University

Link to publication

16:20 - 16:40
Talk

Cautious Adaptation of Defiant Components

Paulo MaiaState University of Ceará, Lucas VieiraState University of Ceará, Matheus ChagasState University of Ceará, Yijun YuThe Open University, UK, Andrea ZismanThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

16:40 - 17:00
Talk

Better Development of Safety Critical Systems:Chinese High Speed Railway System Development Experience Report

Zhiwei WuEast China Normal University, Jing LiuEast China Normal University, Xiang ChenCASCO Signal Ltd.

17:00 - 17:20
Talk

Active Hotspot: An Issue-Oriented Model to Monitor Software Evolution and Degradation

Qiong FengDrexel University, Yuanfang Cai Drexel University, Rick KazmanUniversity of Hawai‘i at Mānoa, Di CuiXi'an Jiaotong University, Ting LiuXi'an Jiaotong University, Hongzhou FangDrexel University

17:20 - 17:30
Talk

Automated Trainability Evaluation for Smart Software Functions

Ilias GerostathopoulosTechnical University of Munich, Stefan KugeleTechnical University of Munich, Christoph SeglerBMW Group Research, New Technologies, Innovations, Tomas BuresCharles University, Czech Republic, Alois KnollTechnical University of Munich

Pre-print

17:30 - 17:40
Demonstration

Lancer: Your Code Tell Me What You Need

16:00 - 17:40: Papers - Untangling and Merging at Cortez 2&3
Chair(s): Iftekhar AhmedUniversity of California at Irvine, USA

16:00 - 16:20
Talk

The Impact of Structure on Software Merging: Semistructured versus Structured Merge

Guilherme CavalcantiFederal University of Pernambuco, Brazil, Paulo BorbaFederal University of Pernambuco, Brazil, Georg SeibtUniversity of Passau, Sven ApelSaarland University

Pre-print

16:20 - 16:40
Talk

Semistructured Merge in JavaScript Systems

Alberto Trindade TavaresFederal University of Pernambuco, Paulo BorbaFederal University of Pernambuco, Brazil, Guilherme CavalcantiFederal University of Pernambuco, Brazil, Sergio SoaresFederal University of Pernambuco

Pre-print

16:40 - 17:00
Talk

CLCDSA: Cross Language Code Clone Detection using Syntactical Features and API Documentation

Kawser NafiUniversity of Saskatchewan, Tonny Shekha KarUniversity of Saskatchewan, Canada, Banani RoyUniversity of Saskatchewan, Chanchal K. RoyUniversity of Saskatchewan, Kevin SchneiderUniversity of Saskatchewan

17:00 - 17:20
Talk

B2SFinder: Detecting Open-Source Software Reuse in COTS Software

Muyue FengInstitute of Information Engineering, Chinese Academy of Sciences, Zimu YuanInstitute of Information Engineering, Chinese Academy of Sciences, Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Gu BanInstitute of Information Engineering, Chinese Academy of Sciences, Yang XiaoInstitute of Information Engineering, Chinese Academy of Sciences & School of Cyber Security, University of Chinese Academy of Sciences, Shiyang WangInstitute of Information Engineering, Chinese Academy of Sciences, Qian TangInstitute of Information Engineering, Chinese Academy of Sciences, He SuInstitute of Information Engineering, Chinese Academy of Sciences, Chendong YuUniversity of Chinese Academy of Sciences, Jiahuan XuInstitute of Information Engineering, Chinese Academy of Sciences, Aihua PiaoInstitute of Information Engineering, Chinese Academy of Sciences, Jingling XueUNSW Sydney, Wei HuoInstitute of Information Engineering, Chinese Academy of Sciences

17:20 - 17:40
Talk

CoRA: Decomposing and Describing Tangled Code Changes for Reviewer

Min WangPeking University, Zeqi LinMicrosoft Research, China, Yanzhen ZouPeking University, Bing XiePeking University

Fri 15 Nov

08:00 - 10:00: Registration - Registration Desk at North Park

09:00 - 10:30: NJR 2019 - Big Code 1 at Cortez 1A
Chair(s): Crista Lopes

09:00 - 09:30
Talk

BugSwarm: an Infrastructure and Dataset for Software Engineering Research

Cindy Rubio-GonzalezUniversity of California, Davis

09:30 - 10:00
Talk

ARCADE - A Workbench for Mining Architectural Information and Identifying Technical Debt

Nenad MedvidovićUniversity of Southern California

10:00 - 10:30
Talk

Moving Fast with High Reliability using Pluggable Types

Manu SridharanUniversity of California Riverside

09:00 - 17:30: SEI 2019 - International Workshop on Software Engineering Intelligence at Cortez 3

09:00 - 17:30: SEConfig 2019 - International Workshop on Software Engineering for Infrastructure and Configuration Code at Cortez 2

09:00 - 10:30: SEI 2019 - Opening Session & Keynote 1 at Cortez 3

09:00 - 09:45
Talk

AI Systems and Practices for Intelligent Software Evolution

09:45 - 10:30
Talk

Galaxies: Application Dependency System and Knowledge Graph.

09:00 - 10:30: EXPLAIN 2019 - Welcome and Keynote at Cortez 1B
Chair(s): Matthias TichyUlm University, Germany

09:00 - 09:15
Day opening

Welcome

09:15 - 10:30
Talk

Causality and Fairness in Software

Yuriy BrunUniversity of Massachusetts Amherst

09:00 - 10:30: SEConfig 2019 - Welcome and Keynote at Cortez 2

09:00 - 10:30
Talk

SEConfig Keynote: Noise in CI/CD data

Shane McIntoshMcGill University

10:30 - 11:00: Social - Break at Cortez Foyer/Kensington Terrace

11:00 - 12:30: NJR 2019 - Big Code 2 at Cortez 1A
Chair(s): Jens PalsbergUniversity of California, Los Angeles

11:00 - 11:30
Talk

Crista Lopes' talk

Crista Lopes

11:30 - 12:00
Talk

Why We're Going in SAIN: Producing a Community-Wide Software Architecture INfrastructure

Joshua GarciaUniversity of California, Irvine

12:00 - 12:30
Talk

Akshay Utture's talk

Akshay UttureUniversity of California, Los Angeles (UCLA)

11:00 - 12:30: EXPLAIN 2019 - Explainability and Code at Cortez 1B
Chair(s): Jens WeberUniversity of Victoria

11:00 - 11:30
Talk

Explaining Static Analysis - A Perspective

Marcus Nachtigall, Lisa Nguyen Quang DoGoogle, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

11:30 - 12:00
Talk

A Hybrid Editor for Fast Robot Mission Prototyping

Thomas WitteUlm University, Matthias TichyUlm University, Germany

12:00 - 12:30
Talk

Explaining Business Process Software with Fulib-Scenarios

Albert ZündorfKassel University, Sebastian CopeiKassel University, Ira DiethelmCarl von Ossietzky Universität Oldenburg / University of Oldenburg, Claude DraudeKassel University, Adrian KunzKassel University, Ulrich NorbisrathUniversity of Applied Sciences Upper Austria

11:00 - 12:30: SEConfig 2019 - Morning Talks at Cortez 2

11:00 - 11:20
Talk

Identifying Network Configuration Errors from SIP Traffic by Learning State Machines

Hugo ReinbergenTU Delft, Sicco VerwerTU Delft

11:20 - 12:30
Talk

Synthesizing Mutable Configurations: Setting up Systems for Success

Tim NelsonBrown University, Natasha DanasBrown University, Theophilos GiannakopoulosSystems & Technology Research, Shriram KrishnamurthiBrown University, United States

11:00 - 12:30: SEI 2019 - Software Engineering Intelligence via NLP at Cortez 3

11:00 - 11:30
Talk

Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice.

11:30 - 12:00
Talk

Predicting Defects with Latent and Semantic Features from Commit Logs in an Industrial Setting.

12:00 - 12:30
Talk

Where Does LDA Sit for GitHub?

12:30 - 14:00: Social - Lunch Break at Kensington Terrace

14:00 - 15:30: SEConfig 2019 - Afternoon Session at Cortez 2

14:00 - 14:45
Talk

Encoding Adaptability of Software Engineering Tools as Algorithm Configuration Problem: A Case Study

Maike Basmer, Timo KehrerHumboldt-Universtität zu Berlin

14:45 - 15:30
Talk

Toward Evaluation of Deployment Architecture of ML-based Cyber-Physical Systems

Lucas Gisselaire, Florian Carrio, Quentin Guerre-Berthelot, Bastien Zigmann, Masahide Nakamura, Lydie Du BousquetLIG

14:00 - 15:30: EXPLAIN 2019 - Explainability and ML at Cortez 1B
Chair(s): Ilias GerostathopoulosTechnical University of Munich

14:00 - 14:30
Talk

Framework for Trustworthy Software Development

Jagadeesh Chandra Bose R PAccenture, Kapil SingiAccenture, Vikrant KaulgudAccenture Labs, India, Kanchanjot Kaur PhokelaAccenture, Sanjay PodderAccenture

14:30 - 15:00
Talk

Don’t Forget Your Roots! Using Provenance Data for Transparent and Explainable Development of Machine Learning Models

Sophie F. JentzschDLR, Nico HochgeschwenderGerman Aerospace Center

15:00 - 15:30
Other

Working Group Formation

14:00 - 15:30: SEI 2019 - Keynote 2 at Cortez 3

14:00 - 14:45
Talk

AI in SE: A 25 Year Journey (Keynote)

14:45 - 15:30
Talk

Project Achilles: A Prototype Tool for Static Method-Level Vulnerability Detection of Java Source Code Using a Recurrent Neural Network,

14:00 - 15:30: NJR 2019 - NJR Discussion; Needs, Requirements, Wishes at Cortez 1A
Chair(s): Jens PalsbergUniversity of California, Los Angeles, Crista Lopes

15:30 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace

16:00 - 17:30: SEConfig 2019 - Breakout/Discussion at Cortez 2

16:00 - 16:45
Other

HackerNews Roulette

Jürgen CitoMIT, Mark SantolucitoYale University, USA

16:45 - 17:30
Other

Breakout Poster Boarding

Jürgen CitoMIT, Mark SantolucitoYale University, USA

16:00 - 17:30: SEI 2019 - Software Design Intelligence at Cortez 3

16:00 - 16:30
Talk

Can AI Close the Design-Code Abstraction Gap?

16:30 - 17:00
Talk

On the Engineering of AI-Powered Systems

17:00 - 17:30
Talk

Software Quality and Context for Rich Source Code Representations.

16:00 - 17:30: EXPLAIN 2019 - Working Groups at Cortez 1B

16:00 - 17:00
Other

Working Groups

17:00 - 17:20
Talk

Report from Working Groups

17:20 - 17:30
Day closing

Closing

Sun 10 Nov 2019


Room	16:00	30	17:00	30	18:00	30	19:00	30	20:00	30	21:00	30
Kensington 2			NSF Workshop: DL + SE NSF Workshop Deep Learning and Software Engineering (invitation only) - Reception 17:00 - 18:00		NSF Workshop: DL + SE NSF Workshop Deep Learning and Software Engineering (invitation only) 18:00 - 21:00
North Park	ASE Registration Registration Desk 16:00 - 18:00

Mon 11 Nov 2019

ASE 2019 Program

Sun 10 Nov

Mon 11 Nov

Tue 12 Nov

Wed 13 Nov

Thu 14 Nov

Fri 15 Nov

Sun 10 Nov 2019

NSF Workshop: DL + SE

NSF Workshop: DL + SE

ASE Registration

Mon 11 Nov 2019