Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Filter
Dates
Rooms
Tracks
Badges

Sun 10 Nov

ase-2019-registration
16:00 - 18:00: Registration - Registration Desk at North Park
nsf-dl-se-2019-papers
17:00 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Reception at Kensington 2
nsf-dl-se-2019-papers
18:00 - 21:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) at Kensington 2

Mon 11 Nov

ase-2019-registration
08:00 - 11:00: Registration - Registration Desk at North Park
nsf-dl-se-2019-papers
08:30 - 17:30: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Breakout at Normal Heights
nsf-dl-se-2019-papers
08:30 - 17:30: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Breakout at University Heights
nsf-dl-se-2019-papers
08:30 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Plenary at Cortez 3
ase-2019-Doctoral-Symposium
08:30 - 08:45: Doctoral Symposium - Opening + Introductions at Cortez 1A
ase-2019-Doctoral-Symposium
08:45 - 09:30: Doctoral Symposium - Keynote at Cortez 1A
ase-2019-Doctoral-Symposium08:45 - 09:30
Talk
Keynote: Navigating your PhD & the World Beyond
Sarah NadiUniversity of Alberta
sead-2019-papers
09:00 - 10:30: SEAD 2019 - Introduction and Keynote Talk at Hillcrest 2
sead-2019-papers09:00 - 09:15
Day opening
Introduction
Mehdi MirakhorliRochester Institute of Technology, Matthias GalsterUniversity of Canterbury, Laurie WilliamsNorth Carolina State University
sead-2019-papers09:15 - 10:15
Talk
Keynote Talk: Automating Pragmatic Software Dependability
Hamid BagheriUniversity of Nebraska-Lincoln, USA
jpf-2019-papers
09:00 - 17:30: JPF 2019 - Java Pathfinder Workshop at Hillcrest 1
ase-celeb-2019
09:00 - 10:30: Celebration of ASE 2019 - Session 1 at Cortez 2
ase-celeb-201909:00 - 10:10
Talk
Openings and 5-minute research intro from all attending PC members
ase-celeb-201910:10 - 10:30
Talk
Quality and Reliability for Machine Learning Systems
Lei MaKyushu University
a-mobile-2019-papers
09:00 - 10:30: A-Mobile 2019 - Welcome and Keynote at Cortez 1B
a-mobile-2019-papers09: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
a-mobile-2019-papers09:30 - 10:30
Talk
Grammar-based UI Testing
Andreas ZellerCISPA Helmholtz Center for Information Security
ase-2019-Doctoral-Symposium
09:30 - 10:30: Doctoral Symposium - Continuous Integration at Cortez 1A
ase-2019-Doctoral-Symposium09:30 - 10:00
Tackling Build Failures in Continuous Integration
Foyzul HassanUniversity of Texas at San Antonio, USA
ase-2019-Doctoral-Symposium10:00 - 10:30
Enabling Continuous Improvement of a Continuous Integration Process
Carmine VassalloUniversity of Zurich
ase-2019-catering
10:30 - 11:00: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Doctoral-Symposium
11:00 - 12:30: Doctoral Symposium - Productivity at Cortez 1A
ase-2019-Doctoral-Symposium11:00 - 11:30
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
ase-2019-Doctoral-Symposium11:30 - 12:00
Improving Collaboration Efficiency in Fork-based Development
Shurui ZhouCarnegie Mellon University, USA
ase-2019-Doctoral-Symposium12:00 - 12:30
Inference of Properties from Requirements and Automation of their Formal Verification
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH
a-mobile-2019-papers
11:00 - 12:30: A-Mobile 2019 - SESSION I at Cortez 1B
a-mobile-2019-papers11:00 - 11:30
Research paper
Enforcing Green Code With Android Lint
Olivier Le GoaerLIUPPA, Université de Pau et des Pays de l'Adour
Link to publication Media Attached
a-mobile-2019-papers11: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
a-mobile-2019-papers12:00 - 12:30
Research paper
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
Felix PauckPaderborn University, Germany, Shikun Zhang
ase-celeb-2019
11:00 - 12:30: Celebration of ASE 2019 - Session 2 at Cortez 2
ase-celeb-201911:00 - 11:20
Talk
Machine Learning Testing
Jie M. ZhangUniversity College London, UK
ase-celeb-201911:20 - 11:40
Talk
How does Machine Learning Change Software Development Practices?
Xin XiaMonash University
ase-celeb-201911:40 - 12:30
Reviewer Experience Panel
Bogdan VasilescuCarnegie Mellon University, Elena ShermanBoise State University, Massimiliano Di PentaUniversity of Sannio, Sarah NadiUniversity of Alberta
sead-2019-papers
11:00 - 12:30: SEAD 2019 - Session 2 at Hillcrest 2
sead-2019-papers11: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
sead-2019-papers11: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
sead-2019-papers11: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
ase-2019-catering
12:30 - 14:00: Social - Lunch Break at Kensington Ballroom/Kensington Terrace
ase-2019-Doctoral-Symposium
13:30 - 14:00: Doctoral Symposium - Poster Session at Cortez 1A
ase-2019-Doctoral-Symposium
14:00 - 15:30: Doctoral Symposium - Repair and Testing at Cortez 1A
ase-2019-Doctoral-Symposium14:00 - 14:30
Automatically Repairing Binary Programs Using Adapter Synthesis
Vaibhav SharmaUniversity of Minnesota
ase-2019-Doctoral-Symposium14:30 - 15:00
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Mauricio SotoCarnegie Mellon University
ase-2019-Doctoral-Symposium15:00 - 15:30
Generating Tests to Analyse Dynamically-Typed Programs
Stephan LukasczykUniversity of Passau
a-mobile-2019-papers
14:00 - 15:30: A-Mobile 2019 - SESSION II at Cortez 1B
a-mobile-2019-papers14:00 - 14:30
Talk
Automated Support for Testing and Maintenance of Mobile Applications
Mattia FazziniUniversity of Minnesota
a-mobile-2019-papers14: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
a-mobile-2019-papers15: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
ase-celeb-2019
14:00 - 15:30: Celebration of ASE 2019 - Session 3 at Cortez 2
ase-celeb-201914:00 - 14:20
Talk
Practical Program Repair via Bytecode Mutation
Lingming ZhangThe University of Texas at Dallas
ase-celeb-201914:20 - 14:40
Talk
Refinement in Object-Sensitivity Points-to Analysis via Slicing
Raghavan KomondoorIndian Institute of Science, Bangalore
ase-celeb-201914:40 - 15:00
Talk
Investigating Software Merging Challenges
Sarah NadiUniversity of Alberta
ase-celeb-201915:00 - 15:20
Talk
Testing Scratch Programs Automatically
Gordon FraserUniversity of Passau
ase-celeb-201915:20 - 15:30
Open Research Discussion
sead-2019-papers
14:00 - 15:30: SEAD 2019 - Session 3 at Hillcrest 2
sead-2019-papers14:00 - 14:20
Talk
Secrets Management and Handling in Mobile Application Development Lifecycle
panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university
sead-2019-papers14: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
sead-2019-papers14:40 - 15:00
Talk
Security-related Commits in Open Source Web Browser Projects
Ákos KissUniversity of Szeged, Department of Software Engineering, Renáta HodovánUniversity of Szeged, Department of Software Engineering
ase-2019-catering
15:30 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Doctoral-Symposium
15:30 - 16:00: Doctoral Symposium - Break/Posters at Cortez 1A
a-mobile-2019-papers
16:00 - 17:30: A-Mobile 2019 - Panel Discussion and Closing at Cortez 1B
a-mobile-2019-papers16:00 - 16:30
Meeting
Panel Discussion
a-mobile-2019-papers16:30 - 17:00
Day closing
Summary and Closing
ase-2019-Doctoral-Symposium
16:00 - 16:50: Doctoral Symposium - Panel discussion at Cortez 1A
ase-2019-registration
16:00 - 18:00: Registration - Registration Desk at North Park
ase-celeb-2019
16:00 - 17:00: Celebration of ASE 2019 - Session 4 at Cortez 2
ase-celeb-201916: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
sead-2019-papers
16:00 - 17:30: SEAD 2019 - Session 4 at Hillcrest 2
ase-2019-Doctoral-Symposium
16:50 - 17:00: Doctoral Symposium - Reflection and closing at Cortez 1A
ase-celeb-2019
18:00 - 20:30: Celebration of ASE 2019 - Dinner at Lazy Dog
ase-2019-meetings
18:00 - 23:59: Meetings - ICSE Steering Committee Meeting at Normal Heights

Tue 12 Nov

ase-2019-registration
07:30 - 11:00: Registration - Registration Desk at North Park
nsf-dl-se-2019-papers
08:30 - 18:00: NSF Workshop: DL + SE 2019 - NSF Workshop Deep Learning and Software Engineering (invitation only) - Organizers at Normal Heights
ase-2019-paper-presentations
08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom
ase-2019-papers08:30 - 09:00
Welcome from the Chairs
ase-2019-papers09:00 - 10:00
Talk
Re-engineering Software Engineering for a Data-centric World
Miryung KimUniversity of California, Los Angeles
ase-2019-catering
10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Demonstrations
10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 1 at Kensington Ballroom
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10:00 - 10:40
Demonstration
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
Ignacio LagunaLawrence Livermore National Laboratory
ase-2019-Demonstrations10: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
ase-2019-paper-presentations
10:40 - 12:20: Papers - AI and SE at Cortez 2&3
Chair(s): Kaiyuan WangGoogle, Inc.
ase-2019-papers10: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
ase-2019-papers11: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
ase-2019-papers11: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
ase-2019-Journal-First-Presentations11: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
ase-2019-papers12: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
ase-2019-Demonstrations12:10 - 12:20
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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Mobile 1 at Hillcrest
Chair(s): Marouane KessentiniUniversity of Michigan
ase-2019-papers10: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
ase-2019-papers11:00 - 11:20
Talk
Test Migration Between Mobile Apps with Similar Functionality
Farnaz BehrangGeorgia Tech, Alessandro OrsoGeorgia Tech
ase-2019-papers11: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
ase-2019-Journal-First-Presentations11: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
ase-2019-Demonstrations12: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
ase-2019-Demonstrations12: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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Testing and Coverage at Cortez 1
Chair(s): Jonathan BellGeorge Mason University
ase-2019-papers10: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
ase-2019-papers11: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
ase-2019-Journal-First-Presentations11: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
ase-2019-Industry-Showcase11:40 - 12:00
Talk
PHANTA: Diversified Test Code Quality Measurement for Modern Software Development
Susumu TokumotoFujitsu Laboratories Ltd., Kuniharu TakayamaFujitsu Laboratories Ltd.
Media Attached
ase-2019-Demonstrations12:00 - 12:10
Demonstration
TestCov: Robust Test-Suite Execution and Coverage Measurement
Dirk BeyerLMU Munich, Thomas LembergerLMU Munich
Pre-print Media Attached File Attached
ase-2019-Demonstrations12: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
ase-2019-catering
12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace
ase-2019-catering12:20 - 13:40
Lunch
First-Timer’s LunchDiversity and Inclusion
ase-2019-catering
13:00 - 17:40: Social - Local College Student Visits
ase-2019-catering13:00 - 17:40
Local College Student VisitsDiversity and Inclusion
ase-2019-paper-presentations
13:40 - 15:20: Papers - Mobile 2 at Hillcrest
Chair(s): Myra CohenIowa State University
ase-2019-papers13: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
ase-2019-papers14:00 - 14:20
Talk
Goal-Driven Exploration for Android Applications
Duling LaiUniversity of British Columbia, Julia RubinUniversity of British Columbia
Pre-print
ase-2019-papers14: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
ase-2019-Journal-First-Presentations14: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
ase-2019-papers15: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
ase-2019-paper-presentations
13:40 - 15:20: Papers - Natural Language and Human Aspects at Cortez 2&3
Chair(s): Bogdan VasilescuCarnegie Mellon University
ase-2019-papers13: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
ase-2019-papers14:00 - 14:20
Talk
Automating App Review Response Generation
Cuiyun GaoNanyang Technological University, Singapore, 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
ase-2019-papers14: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
ase-2019-Journal-First-Presentations14: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
ase-2019-Demonstrations15:00 - 15:10
Demonstration
Developer Reputation Estimator (DRE)
Sadika AmreenUniversity of Tennessee Knoxville, Andrey KarnauchUniversity of Tennessee Knoxville, Audris MockusUniversity of Tennessee - Knoxville
ase-2019-Demonstrations15: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
ase-2019-Student-Research-Competition
13:40 - 15:20: Student Research Competition - Poster Session: Student Research Competition (for judges only) at Kensington Ballroom
ase-2019-paper-presentations
13:40 - 15:20: Papers - Testing and Verification at Cortez 1
Chair(s): Weihang WangUniversity at Buffalo, SUNY
ase-2019-papers13:40 - 14:00
Talk
Systematically Covering Input Structure
Nikolas HavrikovCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Pre-print
ase-2019-papers14:00 - 14:20
Talk
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
Devika SondhiIIIT Delhi, Rahul PurandareIIIT-Delhi
Pre-print
ase-2019-papers14: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
ase-2019-Industry-Showcase14:40 - 15:00
Talk
Test Automation and its Limitations
Ahyoung SungSamsung Electronics, Yangsu KimSamsung Electronics, Sangjun KimSamsung Electronics, Jongin KimSamsung Electronics, Neo JangSamsung Electronics
ase-2019-papers15: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
ase-2019-Demonstrations15: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
ase-2019-catering
15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Doctoral-Symposium
15:20 - 16:00: Doctoral Symposium - Poster Session: Doctoral Symposium at Kensington Ballroom
ase-2019-Doctoral-Symposium15:20 - 16:00
Automatically Repairing Binary Programs Using Adapter Synthesis
Vaibhav SharmaUniversity of Minnesota
ase-2019-Doctoral-Symposium15:20 - 16:00
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Mauricio SotoCarnegie Mellon University
ase-2019-Doctoral-Symposium15:20 - 16:00
Improving Collaboration Efficiency in Fork-based Development
Shurui ZhouCarnegie Mellon University, USA
ase-2019-Doctoral-Symposium15:20 - 16:00
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
ase-2019-Doctoral-Symposium15:20 - 16:00
Tackling Build Failures in Continuous Integration
Foyzul HassanUniversity of Texas at San Antonio, USA
ase-2019-Doctoral-Symposium15:20 - 16:00
Enabling Continuous Improvement of a Continuous Integration Process
Carmine VassalloUniversity of Zurich
ase-2019-Doctoral-Symposium15:20 - 16:00
Generating Tests to Analyse Dynamically-Typed Programs
Stephan LukasczykUniversity of Passau
ase-2019-Doctoral-Symposium15:20 - 16:00
Inference of Properties from Requirements and Automation of their Formal Verification
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH
ase-2019-Student-Research-Competition
15:20 - 16:00: Student Research Competition - Poster Session: Student Research Competition at Kensington Ballroom
ase-2019-Student-Research-Competition15:20 - 16:00
Boosting Neural Commit Message Generation with Code Semantic Analysis
Shuyao JiangFudan University
ase-2019-Student-Research-Competition15:20 - 16:00
Toward Practical Automatic Program Repair
Ali GhanbariThe University of Texas at Dallas
ase-2019-Student-Research-Competition15:20 - 16:00
An Image-inspired and CNN-based Android Malware Detection Approach
Shao YangCase Western Reserve University
ase-2019-Student-Research-Competition15:20 - 16:00
An Approach for Investigating Emotion Dynamics in Software Development
Krishna NeupaneRochester Institute of Technology
ase-2019-Student-Research-Competition15:20 - 16:00
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
Kevin ZhangWayne State University
ase-2019-Student-Research-Competition15:20 - 16:00
Retrieve and Refine: Exemplar-based Neural Comment Generation
Bolin WeiPeking University
ase-2019-Student-Research-Competition15:20 - 16:00
Verifying Determinism in Sequential Programs
Rashmi MudduluruUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15: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
ase-2019-Student-Research-Competition15:20 - 16:00
Empirical Study of Python Call Graph
Li YuNanjing University
ase-2019-Student-Research-Competition15:20 - 16:00
Towards Comprehensible Representation of Controllers using Machine Learning
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
ase-2019-Student-Research-Competition15:20 - 16:00
API Design Implications of Boilerplate Client Code
Daye NamCarnegie Mellon University
ase-2019-Student-Research-Competition15:20 - 16:00
Compile-time detection of machine image sniping
Martin KelloggUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15:20 - 16:00
Crowdsourced Report Generation via Bug Screenshot Understanding
Shengcheng YuNanjing University, China
ase-2019-paper-presentations
16:00 - 17:40: Papers - Code and Artifact Analysis at Cortez 2&3
Chair(s): Sarah NadiUniversity of Alberta
ase-2019-papers16:00 - 16:20
Talk
Emotions Extracted from Text vs. True Emotions –An Empirical Evaluation in SE Context
Yi WangShenzhen University
ase-2019-Journal-First-Presentations16: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
ase-2019-papers16: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
ase-2019-papers17: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
ase-2019-Journal-First-Presentations17: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
ase-2019-paper-presentations
16:00 - 17:40: Papers - Security at Hillcrest
Chair(s): Julia RubinUniversity of British Columbia
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-Journal-First-Presentations17: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
ase-2019-Demonstrations17: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
ase-2019-Demonstrations17: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
ase-2019-paper-presentations
16:00 - 17:40: Papers - Testing and Visualization at Cortez 1
Chair(s): Amin AlipourUniversity of Houston
ase-2019-papers16: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
ase-2019-papers16:20 - 16:40
Talk
Data-Driven Compiler Testing and Debugging
Junjie ChenTianjin University
ase-2019-papers16: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
ase-2019-Journal-First-Presentations17: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
ase-2019-Demonstrations17: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
ase-2019-Demonstrations17: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
ase-2019-catering
18:00 - 21:00: Social - ASE Reception at Kensington Ballroom/Kensington Terrace
ase-2019-catering18:00 - 21:00
Social Event
ASE Reception
ase-2019-catering19:30 - 20:00
Adhoc affinity group dinner meetupsDiversity and Inclusion
ase-2019-meetings
19:00 - 23:59: Meetings - ASE Steering Committee Meeting at Normal Heights

Wed 13 Nov

ase-2019-catering
07:30 - 08:30: Social - Women’s Breakfast at South Park
ase-2019-catering07:30 - 08:30
Women’s Breakfast (registration required)Diversity and Inclusion
ase-2019-registration
08:00 - 11:00: Registration - Registration Desk at North Park
ase-2019-paper-presentations
08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom
ase-2019-papers08:30 - 09:00
Awards
ASE Award Ceremony
ase-2019-papers09:00 - 10:00
Talk
The Human Dimension of Cloud Computing
Yuanyuan ZhouUniversity of California, San Diego
ase-2019-catering
10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Demonstrations
10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 2 at Kensington Ballroom
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10:00 - 10:40
Demonstration
TestCov: Robust Test-Suite Execution and Coverage Measurement
Dirk BeyerLMU Munich, Thomas LembergerLMU Munich
Pre-print Media Attached File Attached
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Cloud and Online Services at Hillcrest
Chair(s): Dan HaoPeking University
ase-2019-papers10: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
ase-2019-papers11: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.
ase-2019-Journal-First-Presentations11: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
ase-2019-papers11: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
ase-2019-Demonstrations12: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
ase-2019-Demonstrations12:10 - 12:20
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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Program Repair at Cortez 2&3
Chair(s): Yingfei XiongPeking University
ase-2019-papers10: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
ase-2019-papers11: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
ase-2019-papers11: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
ase-2019-Journal-First-Presentations11: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
ase-2019-Demonstrations12: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
ase-2019-papers12: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
ase-2019-Student-Research-Competition
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
ase-2019-Student-Research-Competition10:40 - 10:55
Toward Practical Automatic Program Repair
Ali GhanbariThe University of Texas at Dallas
ase-2019-Student-Research-Competition10:55 - 11:10
Verifying Determinism in Sequential Programs
Rashmi MudduluruUniversity of Washington, Seattle
ase-2019-Student-Research-Competition11:10 - 11:25
An Image-inspired and CNN-based Android Malware Detection Approach
Shao YangCase Western Reserve University
ase-2019-Student-Research-Competition11: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
ase-2019-Student-Research-Competition11:40 - 11:55
API Design Implications of Boilerplate Client Code
Daye NamCarnegie Mellon University
ase-2019-Student-Research-Competition11:55 - 12:10
Compile-time detection of machine image sniping
Martin KelloggUniversity of Washington, Seattle
ase-2019-paper-presentations
10:40 - 12:20: Papers - Testing and Program Analysis at Cortez 1
Chair(s): Jun SunSingapore Management University, Singapore
ase-2019-papers10: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
ase-2019-papers11: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
ase-2019-papers11:20 - 11:40
Talk
Accurate String Constraints Solution Counting with Weighted Automata
Elena ShermanBoise State University, Andrew HarrisBoise State University
ase-2019-papers11: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
ase-2019-Demonstrations12:00 - 12:10
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
ase-2019-Demonstrations12:10 - 12:20
Demonstration
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
Ignacio LagunaLawrence Livermore National Laboratory
ase-2019-catering
12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace
ase-2019-catering12:20 - 13:40
Lunch
Diversity and Inclusion LunchDiversity and Inclusion
ase-2019-paper-presentations
13:40 - 15:20: Papers - Configurations and Variability at Hillcrest
Chair(s): Shin Hwei TanSouthern University of Science and Technology
ase-2019-papers13: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
ase-2019-Journal-First-Presentations14: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
ase-2019-papers14:20 - 14:40
Talk
V2: Fast Detection of Configuration Drift in Python
Eric HortonNorth Carolina State University, Chris ParninNCSU
Pre-print
ase-2019-papers14: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
ase-2019-Journal-First-Presentations15: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
ase-2019-Student-Research-Competition
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
ase-2019-Student-Research-Competition13:40 - 13:55
Crowdsourced Report Generation via Bug Screenshot Understanding
Shengcheng YuNanjing University, China
ase-2019-Student-Research-Competition13:55 - 14:10
Towards Comprehensible Representation of Controllers using Machine Learning
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
ase-2019-Student-Research-Competition14:10 - 14:25
Empirical Study of Python Call Graph
Li YuNanjing University
ase-2019-Student-Research-Competition14:25 - 14:40
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
Kevin ZhangWayne State University
ase-2019-Student-Research-Competition14:40 - 14:55
Boosting Neural Commit Message Generation with Code Semantic Analysis
Shuyao JiangFudan University
ase-2019-paper-presentations
13:40 - 15:20: Papers - Systems and Localization at Cortez 2&3
Chair(s): Tegawendé F. BissyandéSnT, University of Luxembourg
ase-2019-papers13: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
ase-2019-papers14: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
ase-2019-papers14: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
ase-2019-Industry-Showcase14:40 - 15:00
Talk
PTracer: A Linux Kernel Patch Trace Bot
Yang WenZTE Corporation, Jicheng CaoZTE Corporation, Shengyu ChengZTE Corporation
ase-2019-Demonstrations15: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
ase-2019-Demonstrations15:10 - 15:20
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
ase-2019-paper-presentations
13:40 - 15:20: Papers - Verification and Bug Detection at Cortez 1
Chair(s): Raghavan KomondoorIndian Institute of Science, Bangalore
ase-2019-papers13: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
ase-2019-papers14: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
ase-2019-papers14: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
ase-2019-papers14: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
DOI Pre-print
ase-2019-Demonstrations15:00 - 15:10
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
ase-2019-Demonstrations15:10 - 15:20
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
ase-2019-catering
15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Late-Breaking-Results
15:20 - 16:00: Late Breaking Results - Poster Session: Late Breaking Results at Kensington Ballroom
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Recommendation of Exception Handling Code in Mobile App Development Pre-print
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers Pre-print
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Testing Neural Programs
Md Rafiqul Islam RabinUniversity of Houston, Ke WangVisa Research, Mohammad Amin Alipour
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Self Learning from Large Scale Code Corpus to Infer Structure of Method Invocations Pre-print
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
API Misuse Correction: A Statistical Approach Pre-print
ase-2019-Late-Breaking-Results15: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 Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Learning test traces Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
The Dynamics of Software Composition Analysis Pre-print
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Open-Source Projects and their Collaborative Development Workflows
panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university
Pre-print
ase-2019-Late-Breaking-Results15: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
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
On building an automated responding system for app reviews: What are the characteristics of reviews and their responses? Pre-print
ase-2019-paper-presentations
16:00 - 17:40: Papers - API and Renaming at Cortez 2&3
Chair(s): Massimiliano Di PentaUniversity of Sannio
ase-2019-papers16: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
ase-2019-papers16: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
Link to publication Pre-print
ase-2019-papers16: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
ase-2019-papers17: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
ase-2019-Journal-First-Presentations17: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
ase-2019-paper-presentations
16:00 - 17:50: Papers - Performance at Hillcrest
Chair(s): Tim MenziesNorth Carolina State University
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers17: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
ase-2019-papers17: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
ase-2019-Demonstrations17: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
ase-2019-papers17: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
ase-2019-paper-presentations
16:00 - 17:40: Papers - Prediction at Cortez 1
Chair(s): Xin XiaMonash University
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-Journal-First-Presentations17: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
ase-2019-Journal-First-Presentations17: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
ase-2019-catering
18:00 - 00:00: Social - ASE Banquet
ase-2019-catering18:00 - 22:30
Social Event
ASE Banquet
ase-2019-catering21:00 - 00:00
Social Event
Evening D&I Session – KaraokeDiversity and Inclusion

Thu 14 Nov

ase-2019-registration
08:00 - 11:00: Registration - Registration Desk at North Park
ase-2019-paper-presentations
08:30 - 10:00: Papers - Plenary Session at Cortez Ballroom
ase-2019-Student-Research-Competition08:30 - 08:45
Awards
Student Research Competition Awards Ceremony
ase-2019-papers08:45 - 09:00
ASE 2020 Announcement
ase-2019-papers09:00 - 10:00
Talk
Automated Debug & Profiling of AAA Games
Mathieu NayrollesUbisoft Montreal
ase-2019-catering
10:00 - 10:40: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-Demonstrations
10:00 - 10:40: Demonstrations - Poster Session: Tool Demonstrations 3 at Kensington Ballroom
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10:00 - 10:40
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
ase-2019-Demonstrations10:00 - 10:40
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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10:00 - 10:40
Demonstration
Developer Reputation Estimator (DRE)
Sadika AmreenUniversity of Tennessee Knoxville, Andrey KarnauchUniversity of Tennessee Knoxville, Audris MockusUniversity of Tennessee - Knoxville
ase-2019-Demonstrations10:00 - 10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10: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
ase-2019-Demonstrations10:00 - 10:40
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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Concurrency at Cortez 1
Chair(s): Elena ShermanBoise State University
ase-2019-papers10: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
ase-2019-papers11: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
ase-2019-papers11: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
ase-2019-papers11: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
ase-2019-Demonstrations12: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
ase-2019-Demonstrations12:10 - 12:20
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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Deep Models at Cortez 2&3
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto
ase-2019-papers10: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
ase-2019-papers11:00 - 11:20
Talk
A Study of Oracle Approximations in Testing Deep Learning Libraries
Mahdi NejadgholiConcordia University, Jinqiu YangConcordia University, Montreal, Canada
ase-2019-papers11: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
ase-2019-papers11: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
ase-2019-Demonstrations12:00 - 12:10
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
ase-2019-Demonstrations12:10 - 12:20
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
ase-2019-paper-presentations
10:40 - 12:20: Papers - Refactoring and Software Production at Hillcrest
Chair(s): Cyrille ArthoKTH Royal Institute of Technology, Sweden
ase-2019-papers10: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
ase-2019-papers11:00 - 11:20
Talk
Automated Refactoring to Reactive Programming
Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
ase-2019-Industry-Showcase11:20 - 11:40
Talk
Trusted Software Supply Chain
Kapil SingiAccenture, R.P. Jagadeesh Chandra BoseAccenture Labs, Sanjay PodderAccenture, Adam P. BurdenAccenture
ase-2019-Industry-Showcase11: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
ase-2019-Demonstrations12:00 - 12:10
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
ase-2019-papers12: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 Media Attached
ase-2019-catering
12:20 - 13:40: Social - Lunch Break at Kensington Ballroom/Kensington Terrace
ase-2019-faculty-mentorship-lunch12:20 - 13:40
Lunch
Faculty Mentorship Lunch
ase-2019-paper-presentations
13:40 - 15:20: Papers - Mining and Bug Detection at Cortez 2&3
Chair(s): Chanchal K. RoyUniversity of Saskatchewan
ase-2019-Journal-First-Presentations13: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
ase-2019-Journal-First-Presentations14: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
ase-2019-Journal-First-Presentations14: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
ase-2019-Journal-First-Presentations14: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
ase-2019-Demonstrations15: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
ase-2019-Demonstrations15: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
ase-2019-paper-presentations
13:40 - 15:20: Papers - Models and Logs at Hillcrest
Chair(s): Timo KehrerHumboldt-Universtität zu Berlin
ase-2019-papers13: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
ase-2019-papers14: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
ase-2019-papers14:20 - 14:40
Talk
Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling
Artur BoronatUniversity of Leicester
ase-2019-papers14:40 - 15:00
Talk
Size and Accuracy in Model Inference
Nimrod BusanyTel Aviv University, Shahar MaozTel Aviv University, Yehonatan YulazariTel Aviv University
Pre-print
ase-2019-Demonstrations15: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
ase-2019-Demonstrations15: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
ase-2019-paper-presentations
13:40 - 15:20: Papers - Program Analysis at Cortez 1
Chair(s): Coen De RooverVrije Universiteit Brussel
ase-2019-papers13: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
ase-2019-papers14:00 - 14:20
Talk
Fine-grain memory object representation in symbolic execution
Martin NowackImperial College London
ase-2019-papers14: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
ase-2019-papers14:40 - 15:00
Talk
Batch Alias Analysis Pre-print
ase-2019-Demonstrations15:00 - 15:10
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
ase-2019-Demonstrations15:10 - 15:20
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
ase-2019-catering
15:20 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace
ase-2019-paper-presentations
16:00 - 17:40: Papers - Emerging Domains at Cortez 1
Chair(s): Joshua GarciaUniversity of California, Irvine
ase-2019-papers16: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
ase-2019-papers16: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 File Attached
ase-2019-Journal-First-Presentations16: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
ase-2019-Journal-First-Presentations17: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
ase-2019-Demonstrations17: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
ase-2019-Demonstrations17:30 - 17: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
ase-2019-paper-presentations
16:00 - 17:40: Papers - Software Development at Hillcrest
Chair(s): Hitesh SajnaniMicrosoft
ase-2019-Journal-First-Presentations16: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
ase-2019-papers16: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)
ase-2019-Industry-Showcase16: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.
ase-2019-papers17: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
ase-2019-papers17: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
ase-2019-Demonstrations17:30 - 17: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
ase-2019-paper-presentations
16:00 - 17:40: Papers - Untangling and Merging at Cortez 2&3
Chair(s): Iftekhar AhmedUniversity of California at Irvine, USA
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers16: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
ase-2019-papers17: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
ase-2019-papers17: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

ase-2019-registration
08:00 - 10:00: Registration - Registration Desk at North Park
njr-ase-2019-papers
09:00 - 10:30: NJR 2019 - Big Code 1 at Cortez 1A
Chair(s): Crista Lopes
njr-ase-2019-papers09:00 - 09:30
Talk
BugSwarm: an Infrastructure and Dataset for Software Engineering Research
Cindy Rubio-GonzalezUniversity of California, Davis
njr-ase-2019-papers09:30 - 10:00
Talk
ARCADE - A Workbench for Mining Architectural Information and Identifying Technical Debt
Nenad MedvidovićUniversity of Southern California
njr-ase-2019-papers10:00 - 10:30
Talk
Moving Fast with High Reliability using Pluggable Types
Manu SridharanUniversity of California Riverside
SEI-2019-papers
09:00 - 17:30: SEI 2019 - International Workshop on Software Engineering Intelligence at Cortez 3
seconfig-2019-papers
09:00 - 17:30: SEConfig 2019 - International Workshop on Software Engineering for Infrastructure and Configuration Code at Cortez 2
SEI-2019-papers
09:00 - 10:30: SEI 2019 - Opening Session & Keynote 1 at Cortez 3
SEI-2019-papers09:00 - 09:45
Talk
AI Systems and Practices for Intelligent Software Evolution
SEI-2019-papers09:45 - 10:30
Talk
Galaxies: Application Dependency System and Knowledge Graph.
explain-2019-papers
09:00 - 10:30: EXPLAIN 2019 - Welcome and Keynote at Cortez 1B
Chair(s): Matthias TichyUlm University, Germany
explain-2019-papers09:00 - 09:15
Day opening
Welcome
explain-2019-papers09:15 - 10:30
Talk
Causality and Fairness in Software
Yuriy BrunUniversity of Massachusetts Amherst
seconfig-2019-papers
09:00 - 10:30: SEConfig 2019 - Welcome and Keynote at Cortez 2
seconfig-2019-papers09:00 - 10:30
Talk
SEConfig Keynote: Noise in CI/CD data
Shane McIntoshMcGill University
ase-2019-catering
10:30 - 11:00: Social - Break at Cortez Foyer/Kensington Terrace
njr-ase-2019-papers
11:00 - 12:30: NJR 2019 - Big Code 2 at Cortez 1A
Chair(s): Manu SridharanUniversity of California Riverside
njr-ase-2019-papers11:00 - 11:30
Talk
50K-C: A Dataset of Compilable and Compiled, Java Projects
njr-ase-2019-papers11:30 - 12:00
Talk
Why We're Going in SAIN: Producing a Community-Wide Software Architecture INfrastructure
Joshua GarciaUniversity of California, Irvine
njr-ase-2019-papers12:00 - 12:30
Talk
NJR: Executable, Scriptable, and Searchable Java Programs
Jens PalsbergUniversity of California, Los Angeles
explain-2019-papers
11:00 - 12:30: EXPLAIN 2019 - Explainability and Code at Cortez 1B
Chair(s): Ilias GerostathopoulosTechnical University of Munich
explain-2019-papers11:00 - 11:30
Talk
Explaining Static Analysis - A Perspective
Marcus Nachtigall, Lisa Nguyen Quang DoGoogle, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
explain-2019-papers11:30 - 12:00
Talk
A Hybrid Editor for Fast Robot Mission Prototyping
Thomas WitteUlm University, Matthias TichyUlm University, Germany
explain-2019-papers12: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
seconfig-2019-papers
11:00 - 12:30: SEConfig 2019 - Morning Talks at Cortez 2
seconfig-2019-papers11:00 - 11:20
Talk
Identifying Network Configuration Errors from SIP Traffic by Learning State Machines
Hugo ReinbergenTU Delft, Sicco VerwerTU Delft
seconfig-2019-papers11: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
SEI-2019-papers
11:00 - 12:30: SEI 2019 - Software Engineering Intelligence via NLP at Cortez 3
SEI-2019-papers11:00 - 11:30
Talk
Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice.
SEI-2019-papers11:30 - 12:00
Talk
Predicting Defects with Latent and Semantic Features from Commit Logs in an Industrial Setting.
SEI-2019-papers12:00 - 12:30
Talk
Where Does LDA Sit for GitHub?
ase-2019-catering
12:30 - 14:00: Social - Lunch Break at Kensington Terrace
explain-2019-papers
14:00 - 15:30: EXPLAIN 2019 - Explainability and ML at Cortez 1B
Chair(s): Albert ZündorfKassel University
explain-2019-papers14: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
explain-2019-papers14: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
explain-2019-papers15:00 - 15:30
Other
Working Group Formation
njr-ase-2019-papers
14:00 - 15:30: NJR 2019 - NJR Discussion; Needs, Requirements, Wishes at Cortez 1A
Chair(s): Jens PalsbergUniversity of California, Los Angeles, Crista Lopes
ase-2019-catering
15:30 - 16:00: Social - Break at Cortez Foyer/Kensington Terrace
seconfig-2019-papers
16:00 - 17:30: SEConfig 2019 - Breakout/Discussion at Cortez 2
seconfig-2019-papers16:00 - 16:45
Other
HackerNews Roulette
Jürgen CitoMIT, Mark SantolucitoYale University, USA
seconfig-2019-papers16:45 - 17:30
Other
Breakout Poster Boarding
Jürgen CitoMIT, Mark SantolucitoYale University, USA
SEI-2019-papers
16:00 - 17:30: SEI 2019 - Software Design Intelligence at Cortez 3
SEI-2019-papers16:00 - 16:30
Talk
Can AI Close the Design-Code Abstraction Gap?
SEI-2019-papers16:30 - 17:00
Talk
On the Engineering of AI-Powered Systems
SEI-2019-papers17:00 - 17:30
Talk
Software Quality and Context for Rich Source Code Representations.
explain-2019-papers
16:00 - 17:30: EXPLAIN 2019 - Working Groups at Cortez 1B
explain-2019-papers16:00 - 17:00
Other
Working Groups
explain-2019-papers17:00 - 17:20
Talk
Report from Working Groups
explain-2019-papers17:20 - 17:30
Day closing
Closing

Mon 11 Nov 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Cortez 1A
Cortez 1B
Cortez 2
Cortez 3
Cortez Foyer/Kensington Terrace
10:30 - 11:00
15:30 - 16:00
Hillcrest 1
Hillcrest 2
Kensington Ballroom/Kensington Terrace
Normal Heights
North Park
University Heights

Mon 11 Nov 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1A
Cortez 1B
Cortez 2
Hillcrest 2
09:00 - 09:15

Tue 12 Nov 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Cortez 1
Cortez 2&3
Cortez Ballroom
Hillcrest
Kensington Ballroom
Kensington Ballroom/Kensington Terrace

Wed 13 Nov 2019

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Cortez 1
Cortez 2&3
Cortez Ballroom
Hillcrest
Kensington Ballroom
Kensington Ballroom/Kensington Terrace
South Park

Thu 14 Nov 2019

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1
Cortez 2&3
Cortez Ballroom
Hillcrest
Kensington Ballroom
Kensington Ballroom/Kensington Terrace

Fri 15 Nov 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1A
Cortez 1B
09:00 - 09:15
17:20 - 17:30
Cortez 2
Cortez 3