Write a Blog >>
VenueHilton San Diego Mission Valley
Room nameKensington Ballroom
Floor2
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 1ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
Pangolin: An SFL-based Toolset for Feature Localization
ASE Demonstrations
Bruno Miguel Sotto-Mayor de Castro MachadoIST, University of Lisbon, Alexandre PerezPalo Alto Research Center, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID
10:00
40m
Demonstration
A Quantitative Analysis Framework for Recurrent Neural Network
ASE Demonstrations
Xiaoning DuNanyang Technological University, Xiaofei XieNanyang Technological University, Yi LiNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University
10:00
40m
Demonstration
Ares: Inferring Error Specifications through Static Analysis
ASE Demonstrations
Li ChiTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Hongyu ZhangThe University of Newcastle
10:00
40m
Demonstration
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software
ASE Demonstrations
Dennis ReulingSoftware Engineering Group, University of Siegen, Udo KelterSoftware Engineering Group, University of Siegen, Sebastian RulandTU Darmstadt, Real-time Systems Lab, Malte LochauTU Darmstadt
Pre-print Media Attached File Attached
10:00
40m
Demonstration
VeriAbs : Verification by Abstraction and Test Generation
ASE Demonstrations
Mohammad AfzalTata Cosultancy Services, A AsiaTata Cosultancy Services, Avriti ChauhanTata Cosultancy Services, Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services, Advaita DatarTata Consultancy Services Ltd, Shrawan KumarTata Cosultancy Services, R VenkateshTata Research Development and Design Centre
10:00
40m
Demonstration
DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks
ASE Demonstrations
Xiaofei XieNanyang Technological University, Hongxu ChenNanyang Technological University, Yi LiNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University
10:00
40m
Demonstration
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE Demonstrations
Xutong MaInstitute of Software, Chinese Academy of Sciences, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangInstitute of Software, Chinese Academy of Sciences
10:00
40m
Demonstration
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform
ASE Demonstrations
Shengcheng YuNanjing University, China, Chunrong FangNanjing University, Yang FengUniversity of California, Irvine, Wenyuan ZhaoNanjing University, Zhenyu ChenNanjing University
File Attached
10:00
40m
Demonstration
FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing
ASE Demonstrations
Xiao LiuSchool of Information Technology, Deakin University, Lingmin FanSchool of Computer Science and Technology, Anhui University, Jia XuSchool of Computer Science and Technology, Anhui University, Xuejun LiSchool of Computer Science and Technology, Anhui University, Lina GongSchool of Computer Science and Technology, Anhui University, John GrundyMonash University, Yun YangSwinburne University of Technology
10:00
40m
Demonstration
SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection
ASE Demonstrations
Da LiState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan WangState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang XuNanjing University, Ruiqing ZhangSearch Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing MaState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University
10:00
40m
Demonstration
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
ASE Demonstrations
Ignacio LagunaLawrence Livermore National Laboratory
10:00
40m
Demonstration
PMExec: An Execution Engine of Partial UML-RT Models
ASE Demonstrations
Mojtaba BagherzadehQueen's University, Karim JahedQueen's University, Nafiseh KahaniQueen's University, Juergen DingelQueen's University, Kingston, Ontario
Pre-print
13:40 - 15:20
Poster Session: Student Research Competition (for judges only)ASE Student Research Competition at Kensington Ballroom
15:20 - 16:00
Poster Session: Doctoral SymposiumASE Doctoral Symposium at Kensington Ballroom
15:20
40m
Automatically Repairing Binary Programs Using Adapter Synthesis
ASE Doctoral Symposium
Vaibhav SharmaUniversity of Minnesota
15:20
40m
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
ASE Doctoral Symposium
Mauricio SotoCarnegie Mellon University
15:20
40m
Improving Collaboration Efficiency in Fork-based Development
ASE Doctoral Symposium
Shurui ZhouCarnegie Mellon University, USA
15:20
40m
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
ASE Doctoral Symposium
Kristian KolthoffInstitute for Enterprise Systems (InES), University Of Mannheim
15:20
40m
Tackling Build Failures in Continuous Integration
ASE Doctoral Symposium
Foyzul HassanUniversity of Texas at San Antonio, USA
15:20
40m
Enabling Continuous Improvement of a Continuous Integration Process
ASE Doctoral Symposium
Carmine VassalloUniversity of Zurich
15:20
40m
Generating Tests to Analyse Dynamically-Typed Programs
ASE Doctoral Symposium
Stephan LukasczykUniversity of Passau
15:20
40m
Inference of Properties from Requirements and Automation of their Formal Verification
ASE Doctoral Symposium
Marina ReichChemnitz University of Technology/ Airbus Defence and Space GmbH
15:20 - 16:00
Poster Session: Student Research CompetitionASE Student Research Competition at Kensington Ballroom
15:20
40m
Boosting Neural Commit Message Generation with Code Semantic Analysis
ASE Student Research Competition
Shuyao JiangFudan University
15:20
40m
Toward Practical Automatic Program Repair
ASE Student Research Competition
Ali GhanbariThe University of Texas at Dallas
15:20
40m
An Image-inspired and CNN-based Android Malware Detection Approach
ASE Student Research Competition
Shao YangCase Western Reserve University
15:20
40m
An Approach for Investigating Emotion Dynamics in Software Development
ASE Student Research Competition
Krishna NeupaneRochester Institute of Technology
15:20
40m
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
ASE Student Research Competition
Kevin ZhangWayne State University
15:20
40m
Retrieve and Refine: Exemplar-based Neural Comment Generation
ASE Student Research Competition
Bolin WeiPeking University
15:20
40m
Verifying Determinism in Sequential Programs
ASE Student Research Competition
Rashmi MudduluruUniversity of Washington, Seattle
15:20
40m
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
ASE Student Research Competition
Krishna Murthy Kattiyan RamamoorthySan Diego State University
15:20
40m
Empirical Study of Python Call Graph
ASE Student Research Competition
Li YuNanjing University
15:20
40m
Towards Comprehensible Representation of Controllers using Machine Learning
ASE Student Research Competition
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
15:20
40m
API Design Implications of Boilerplate Client Code
ASE Student Research Competition
Daye NamCarnegie Mellon University
15:20
40m
Compile-time detection of machine image sniping
ASE Student Research Competition
Martin KelloggUniversity of Washington, Seattle
15:20
40m
Crowdsourced Report Generation via Bug Screenshot Understanding
ASE Student Research Competition
Shengcheng YuNanjing University, China
File Attached

Conference Day
Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 2ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
ASE Demonstrations
Yuexing WangTsinghua University, Guang ChenTsinghua University, Min ZhouTsinghua University, Ming GuTsinghua University, Jiaguang SunTsinghua University
10:00
40m
Demonstration
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
ASE Demonstrations
Pavan ChittimalliTCS Research, Kritika AnandTCS Research, Shrishti PradhanTCS Research, Sayandeep MitraTCS Research, Chandan PrakashTCS Research, Rohit ShereTCS Research, Ravindra NaikTCS Research, TRDDC, India
10:00
40m
Demonstration
Lancer: Your Code Tell Me What You Need
ASE Demonstrations
Shufan ZhouSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun ShenSchool of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao ZhongShanghai Jiao Tong University
10:00
40m
Demonstration
TestCov: Robust Test-Suite Execution and Coverage Measurement
ASE Demonstrations
Dirk BeyerLMU Munich, Thomas LembergerLMU Munich
Pre-print Media Attached File Attached
10:00
40m
Demonstration
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
ASE Demonstrations
Yihao HuangEast China Normal University, Jincao FengEast China Normal University, Hanyue ZhengEast China Normal University, Jiayi ZhuEast China Normal University, Shang WangEast China Normal University, Siyuan JiangEastern Michigan University, Weikai MiaoShanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Geguang PuEast China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd
10:00
40m
Demonstration
XRaSE: Towards Virtually Tangible Software using Augmented Reality
ASE Demonstrations
Rohit MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture
10:00
40m
Demonstration
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
ASE Demonstrations
Zixin LiNanjing University, Haoran WuState Key Laboratory for Novel Software Technology, Nanjing University, Jiehui XuNanjing University, Xingya WangState Key Laboratory for Novel Software Technology, Nanjing University, Lingming ZhangThe University of Texas at Dallas, Zhenyu ChenNanjing University
10:00
40m
Demonstration
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq
ASE Demonstrations
Bernd FischerStellenbosch University, Salvatore La TorreUniversità degli Studi di Salerno, Gennaro ParlatoUniversity of Molise
10:00
40m
Demonstration
DeepMutation++: a Mutation Testing Framework for Deep Learning Systems
ASE Demonstrations
Qiang HuKyushu University, Japan, Lei MaKyushu University, Xiaofei XieNanyang Technological University, Bing YuKyushu University, Japan, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University
10:00
40m
Demonstration
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
ASE Demonstrations
Mark MossbergTrail of Bits, Felipe ManzanoTrail of Bits, Eric HennenfentTrail of Bits, Alex GroceTrail of Bits, Gustavo GriecoTrail of Bits, Josselin FeistTrail of Bits, Trent BrunsonTrail of Bits, Artem DinaburgTrail of Bits
Media Attached
10:00
40m
Demonstration
ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
ASE Demonstrations
Ruijie MengUniversity of Chinese Academy of Sciences, Biyun ZhuUniversity of Chinese Academy of Sciences, Hao YunUniversity of Chinese Academy of Sciences, Haicheng LiUniversity of Chinese Academy of Sciences, Yan CaiInstitute of Software, Chinese Academy of Sciences, Zijiang YangWestern Michigan University
10:00
40m
Demonstration
mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines
ASE Demonstrations
Reza AhmadiQueen's University, Karim JahedQueen's University, Juergen DingelQueen's University, Kingston, Ontario
15:20 - 16:00
Poster Session: Late Breaking ResultsASE Late Breaking Results at Kensington Ballroom
15:20
40m
Poster
Recommendation of Exception Handling Code in Mobile App Development
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
LVMapper: A Large-variance Clone Detector Using Sequencing Alignment Approach
ASE Late Breaking Results
Ming Wu, Pengcheng WangUniversity of Science and Technology of China, Kangqi Yin, Haoyu Cheng, Yun XuUniversity of Science and Technology of China, Chanchal K. RoyUniversity of Saskatchewan
Pre-print
15:20
40m
Poster
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums
ASE Late Breaking Results
Yi LiNanyang Technological University, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas, Xinyue Ye, Yan Wang
Pre-print
15:20
40m
Poster
Testing Neural Programs
ASE Late Breaking Results
Md Rafiqul Islam RabinUniversity of Houston, Ke WangVisa Research, Mohammad Amin Alipour
Pre-print
15:20
40m
Poster
Self Learning from Large Scale Code Corpus to Infer Structure of Method Invocations
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Data Sanity Check for Deep Learning Systems via Learnt Assertions
ASE Late Breaking Results
Haochuan LuFudan University, Huanlin Xu, Nana Liu, Yangfan ZhouFudan University, Xin Wang
Pre-print
15:20
40m
Poster
Software Engineering for Fairness: A Case Study with Hyperparameter Optimization
ASE Late Breaking Results
Joymallya ChakrabortyNorth Carolina State University, Tianpei Xia, Fahmid M. Fahid, Tim MenziesNorth Carolina State University
Pre-print
15:20
40m
Poster
API Misuse Correction: A Statistical Approach
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Should We Add Repair Time to an Unfixed Bug? An Exploratory Study of Automated Program Repair on 2980 Small-Scale Programs
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Learning test traces
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
The Dynamics of Software Composition Analysis
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
A Process Mining based Approach to Improving Defect Detection of SysML Models.
ASE Late Breaking Results
Mounifah Alenazi, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
Pre-print
15:20
40m
Poster
Open-Source Projects and their Collaborative Development Workflows
ASE Late Breaking Results
panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university
Pre-print
15:20
40m
Poster
Detecting Deep Neural Network Defects with Data Flow Analysis
ASE Late Breaking Results
Jiazhen Gu, Huanlin Xu, Yangfan ZhouFudan University, Xin Wang, Hui Xu, Michael LyuThe Chinese University of Hong Kong
Pre-print
15:20
40m
Poster
On building an automated responding system for app reviews: What are the characteristics of reviews and their responses?
ASE Late Breaking Results
Pre-print

Conference Day
Thu 14 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 3ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
PraPR: Practical Program Repair via Bytecode Mutation
ASE Demonstrations
Ali GhanbariThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas
10:00
40m
Demonstration
Kotless: a Serverless Framework for Kotlin
ASE Demonstrations
Vladislav TankovJetBrains, ITMO University, Yaroslav GolubevJetBrains Research, ITMO University, Timofey BryksinJetBrains Research, Saint-Petersburg State University
10:00
40m
Demonstration
PeASS: A Tool for Identifying Performance Changes at Code Level
ASE Demonstrations
David Georg ReicheltUniversität Leipzig, Stefan KühneUniversität Leipzig, Wilhelm HasselbringKiel University
Pre-print Media Attached File Attached
10:00
40m
Demonstration
MutAPK: Source-Codeless Mutant Generation for Android Apps
ASE Demonstrations
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
10:00
40m
Demonstration
CocoQa: Question Answering for Coding Conventions over Knowledge Graphs
ASE Demonstrations
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
10:00
3m
Demonstration
Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing
ASE Demonstrations
Yuanchun LiPeking University, Ziyue YangPeking University, Yao GuoPeking University, Xiangqun ChenPeking University
10:00
40m
Demonstration
Developer Reputation Estimator (DRE)
ASE Demonstrations
Sadika AmreenUniversity of Tennessee Knoxville, Andrey KarnauchUniversity of Tennessee Knoxville, Audris MockusUniversity of Tennessee - Knoxville
10:00
40m
Demonstration
NeuralVis: Visualizing and Interpreting Deep Learning Models
ASE Demonstrations
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
10:00
40m
Demonstration
Visual Analytics for Concurrent Java Executions
ASE Demonstrations
Cyrille ArthoKTH Royal Institute of Technology, Sweden, Monali PandeKTH Royal Institute of Technology, Qiyi TangUniversity of Oxford
10:00
40m
Demonstration
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
ASE Demonstrations
Ayesha SadiqMonash University, Li LiMonash University, Australia, Yuan-Fang LiMonash University, Ijaz AhmedUniversity of Lahore, Sea LingMonash University
10:00
40m
Demonstration
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
ASE Demonstrations
Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoGoogle, Oshando JohnsonFraunhofer IEM, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached File Attached
10:00
40m
Demonstration
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
ASE Demonstrations
Chijin ZhouTsinghua University, Mingzhe WangTsinghua University, Jie LiangTsinghua University, Zhe LiuNanjing University of Aeronautics and Astronautics, Chengnian SunWaterloo University, Yu JiangTsinghua University

Conference Day
Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Kensington Ballroom
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00

Conference Day
Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Kensington Ballroom