Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Thu 30 May 2019 11:00 - 12:30 at Mansfield / Sherbrooke - Selected Presentations Chair(s): Julia Rubin, Alessandro Garcia
Wed 29 May 2019 14:00 - 18:00 at Square Dorchester - Selected Presentations

Static analysis by abstract interpretation is one of the widely used automatic approaches to program verification, due to its soundness guarantee and scalability. A key challenge for abstract interpretation with convex and linear abstract domain is verifying complex programs with disjunctive or non-linear behaviors. We propose to conduct abstract interpretation in an iterative forward and backward manner by utilizing dynamic input space partitioning to split the input space into sub-spaces such that each sub-space involves fewer disjunctive and non-linear program behaviors. We have implemented our approach, and the experimental results are promising.

Wed 29 May
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 18:00: Selected PresentationsACM Student Research Competition at Square Dorchester
14:00 - 18:00
Talk
TOAD: A tool for recommending auto-refactoring alternatives
ACM Student Research Competition
Alejandra SilesUniversidad Católica Boliviana San Pablo
14:00 - 18:00
Talk
An Empirical Study On Leveraging Logs For Debugging Production Failures
ACM Student Research Competition
An Ran ChenConcordia University
14:00 - 18:00
Talk
Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services
ACM Student Research Competition
14:00 - 18:00
Talk
MARVEL: A Generic, Scalable and Effective Vulnerability Detection Platform
ACM Student Research Competition
Xiaoning DuNanyang Technological University
14:00 - 18:00
Talk
Agile Process Improvement in Retrospectives
ACM Student Research Competition
Christoph MatthiesHasso Plattner Institute, University of Potsdam
14:00 - 18:00
Talk
JSOptimizer: An Extensible Framework for JavaScript Program Optimization
ACM Student Research Competition
Yi LiuSouthern University of Science and Technology
14:00 - 18:00
Talk
Selected Presentations
ACM Student Research Competition
14:00 - 18:00
Talk
Release Synchronization in Software Ecosystems
ACM Student Research Competition
Armstrong Tita FoundjemEcole Polytechnique de Montreal
14:00 - 18:00
Talk
Android GUI Search Using Hand-drawn Sketches
ACM Student Research Competition
Xiaofei GeNanjing University
14:00 - 18:00
Talk
Impact of Lifestyle and Working Process Organization on the Job Satisfaction Level of Software Engineers
ACM Student Research Competition
Aleksandr TarasovInnopolis University
14:00 - 18:00
Talk
Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study
ACM Student Research Competition
Austin MordahlThe University of Texas at Dallas
14:00 - 18:00
Talk
An systematic evaluation of problematic tests generated by Evosuite
ACM Student Research Competition
Zhiyu FanSouthern University of Science and Technology
14:00 - 18:00
Talk
Finding Concurrency Exploits on Smart Contracts
ACM Student Research Competition
Yue LiPeking University
14:00 - 18:00
Talk
Identifying developers by their application usage
ACM Student Research Competition
Ihar ShulhanInnopolis University
14:00 - 18:00
Talk
Property Oriented Verification via Iterative Abstract Interpretation
ACM Student Research Competition
Banghu YinNational University of Defense Technology
14:00 - 18:00
Talk
Characterizing and Detecting Duplicate Logging Code Smells
ACM Student Research Competition
Zhenhao LiConcordia University
14:00 - 18:00
Talk
Fault Localization Integration for Enhanced Automated Program Repair
ACM Student Research Competition
Tongtong XuNanjing University
14:00 - 18:00
Talk
Configuration-dependent Fault Localization
ACM Student Research Competition
Son NguyenThe University of Texas at Dallas
14:00 - 18:00
Talk
Guided, Automated Testing of Blockchain-based Decentralized Applications
ACM Student Research Competition
Jianbo GaoPeking University
14:00 - 18:00
Talk
Towards Zero Knowledge Learning for Cross Language API Mappings
ACM Student Research Competition
Nghi D. Q. BuiSingapore Management University, Singapore
Pre-print

Thu 30 May
Times are displayed in time zone: Eastern Time (US & Canada) change

11:00 - 12:30: Selected PresentationsACM Student Research Competition at Mansfield / Sherbrooke
Chair(s): Julia RubinUniversity of British Columbia, Alessandro GarciaPUC-Rio
11:00 - 12:30
Talk
Selected Presentations
ACM Student Research Competition
11:00 - 12:30
Talk
Fault Localization Integration for Enhanced Automated Program Repair
ACM Student Research Competition
Tongtong XuNanjing University
11:00 - 12:30
Talk
Guided, Automated Testing of Blockchain-based Decentralized Applications
ACM Student Research Competition
Jianbo GaoPeking University
11:00 - 12:30
Talk
Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services
ACM Student Research Competition
11:00 - 12:30
Talk
Finding Concurrency Exploits on Smart Contracts
ACM Student Research Competition
Yue LiPeking University
11:00 - 12:30
Talk
Characterizing and Detecting Duplicate Logging Code Smells
ACM Student Research Competition
Zhenhao LiConcordia University
11:00 - 12:30
Talk
Release Synchronization in Software Ecosystems
ACM Student Research Competition
Armstrong Tita FoundjemEcole Polytechnique de Montreal
11:00 - 12:30
Talk
TOAD: A tool for recommending auto-refactoring alternatives
ACM Student Research Competition
Alejandra SilesUniversidad Católica Boliviana San Pablo
11:00 - 12:30
Talk
Configuration-dependent Fault Localization
ACM Student Research Competition
Son NguyenThe University of Texas at Dallas
11:00 - 12:30
Talk
Impact of Lifestyle and Working Process Organization on the Job Satisfaction Level of Software Engineers
ACM Student Research Competition
Aleksandr TarasovInnopolis University
11:00 - 12:30
Talk
Agile Process Improvement in Retrospectives
ACM Student Research Competition
Christoph MatthiesHasso Plattner Institute, University of Potsdam
11:00 - 12:30
Talk
JSOptimizer: An Extensible Framework for JavaScript Program Optimization
ACM Student Research Competition
Yi LiuSouthern University of Science and Technology
11:00 - 12:30
Talk
An systematic evaluation of problematic tests generated by Evosuite
ACM Student Research Competition
Zhiyu FanSouthern University of Science and Technology
11:00 - 12:30
Talk
Property Oriented Verification via Iterative Abstract Interpretation
ACM Student Research Competition
Banghu YinNational University of Defense Technology
11:00 - 12:30
Talk
Identifying developers by their application usage
ACM Student Research Competition
Ihar ShulhanInnopolis University
11:00 - 12:30
Talk
MARVEL: A Generic, Scalable and Effective Vulnerability Detection Platform
ACM Student Research Competition
Xiaoning DuNanyang Technological University
11:00 - 12:30
Talk
Towards Zero Knowledge Learning for Cross Language API Mappings
ACM Student Research Competition
Nghi D. Q. BuiSingapore Management University, Singapore
Pre-print
11:00 - 12:30
Talk
An Empirical Study On Leveraging Logs For Debugging Production Failures
ACM Student Research Competition
An Ran ChenConcordia University
11:00 - 12:30
Talk
Android GUI Search Using Hand-drawn Sketches
ACM Student Research Competition
Xiaofei GeNanjing University
11:00 - 12:30
Talk
Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study
ACM Student Research Competition
Austin MordahlThe University of Texas at Dallas