ICSE 2019 (series) / ACM Student Research Competition /
Property Oriented Verification via Iterative Abstract Interpretation
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
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
Wed 29 May
Times are displayed in time zone: Eastern Time (US & Canada) change
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
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 |