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

Smart contracts have been widely used on Ethereum to enable business services across various application domains. However, they are prone to different forms of security attacks due to the dynamic and non-deterministic blockchain runtime environment. In this work, we highlighted a general minerside type of exploit, called concurrency exploit, which attacks smart contracts via generating malicious transaction sequences. Moreover, we designed a systematic algorithm to automatically detect such exploits. In our preliminary evaluation, our approach managed to identify real vulnerabilities that cannot be detected by other tools in the literature.

Wed 29 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 18:00
14:00
4h
Talk
TOAD: A tool for recommending auto-refactoring alternatives
ACM Student Research Competition
Alejandra Siles Universidad Católica Boliviana San Pablo
14:00
4h
Talk
An Empirical Study On Leveraging Logs For Debugging Production Failures
ACM Student Research Competition
An Ran Chen Concordia University
14:00
4h
Talk
Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services
ACM Student Research Competition
14:00
4h
Talk
MARVEL: A Generic, Scalable and Effective Vulnerability Detection Platform
ACM Student Research Competition
Xiaoning Du Nanyang Technological University
14:00
4h
Talk
Agile Process Improvement in Retrospectives
ACM Student Research Competition
Christoph Matthies Hasso Plattner Institute, University of Potsdam
14:00
4h
Talk
JSOptimizer: An Extensible Framework for JavaScript Program Optimization
ACM Student Research Competition
Yi Liu Southern University of Science and Technology
14:00
4h
Talk
Selected Presentations
ACM Student Research Competition

14:00
4h
Talk
Release Synchronization in Software Ecosystems
ACM Student Research Competition
Armstrong Tita Foundjem Ecole Polytechnique de Montreal
14:00
4h
Talk
Android GUI Search Using Hand-drawn Sketches
ACM Student Research Competition
Xiaofei Ge Nanjing University
14:00
4h
Talk
Impact of Lifestyle and Working Process Organization on the Job Satisfaction Level of Software Engineers
ACM Student Research Competition
Aleksandr Tarasov Innopolis University
14:00
4h
Talk
Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study
ACM Student Research Competition
Austin Mordahl The University of Texas at Dallas
14:00
4h
Talk
An systematic evaluation of problematic tests generated by Evosuite
ACM Student Research Competition
Zhiyu Fan Southern University of Science and Technology
14:00
4h
Talk
Finding Concurrency Exploits on Smart Contracts
ACM Student Research Competition
Yue Li Peking University
14:00
4h
Talk
Identifying developers by their application usage
ACM Student Research Competition
Ihar Shulhan Innopolis University
14:00
4h
Talk
Property Oriented Verification via Iterative Abstract Interpretation
ACM Student Research Competition
Banghu Yin National University of Defense Technology
14:00
4h
Talk
Characterizing and Detecting Duplicate Logging Code Smells
ACM Student Research Competition
Zhenhao Li Concordia University
14:00
4h
Talk
Fault Localization Integration for Enhanced Automated Program Repair
ACM Student Research Competition
Tongtong Xu Nanjing University
14:00
4h
Talk
Configuration-dependent Fault Localization
ACM Student Research Competition
Son Nguyen The University of Texas at Dallas
14:00
4h
Talk
Guided, Automated Testing of Blockchain-based Decentralized Applications
ACM Student Research Competition
Jianbo Gao Peking University
14:00
4h
Talk
Towards Zero Knowledge Learning for Cross Language API Mappings
ACM Student Research Competition
Nghi D. Q. Bui Singapore Management University, Singapore
Pre-print

Thu 30 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Selected PresentationsACM Student Research Competition at Mansfield / Sherbrooke
Chair(s): Alessandro Garcia PUC-Rio, Julia Rubin University of British Columbia
11:00
90m
Talk
Selected Presentations
ACM Student Research Competition

11:00
90m
Talk
Fault Localization Integration for Enhanced Automated Program Repair
ACM Student Research Competition
Tongtong Xu Nanjing University
11:00
90m
Talk
Guided, Automated Testing of Blockchain-based Decentralized Applications
ACM Student Research Competition
Jianbo Gao Peking University
11:00
90m
Talk
Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services
ACM Student Research Competition
11:00
90m
Talk
Finding Concurrency Exploits on Smart Contracts
ACM Student Research Competition
Yue Li Peking University
11:00
90m
Talk
Characterizing and Detecting Duplicate Logging Code Smells
ACM Student Research Competition
Zhenhao Li Concordia University
11:00
90m
Talk
Release Synchronization in Software Ecosystems
ACM Student Research Competition
Armstrong Tita Foundjem Ecole Polytechnique de Montreal
11:00
90m
Talk
TOAD: A tool for recommending auto-refactoring alternatives
ACM Student Research Competition
Alejandra Siles Universidad Católica Boliviana San Pablo
11:00
90m
Talk
Configuration-dependent Fault Localization
ACM Student Research Competition
Son Nguyen The University of Texas at Dallas
11:00
90m
Talk
Impact of Lifestyle and Working Process Organization on the Job Satisfaction Level of Software Engineers
ACM Student Research Competition
Aleksandr Tarasov Innopolis University
11:00
90m
Talk
Agile Process Improvement in Retrospectives
ACM Student Research Competition
Christoph Matthies Hasso Plattner Institute, University of Potsdam
11:00
90m
Talk
JSOptimizer: An Extensible Framework for JavaScript Program Optimization
ACM Student Research Competition
Yi Liu Southern University of Science and Technology
11:00
90m
Talk
An systematic evaluation of problematic tests generated by Evosuite
ACM Student Research Competition
Zhiyu Fan Southern University of Science and Technology
11:00
90m
Talk
Property Oriented Verification via Iterative Abstract Interpretation
ACM Student Research Competition
Banghu Yin National University of Defense Technology
11:00
90m
Talk
Identifying developers by their application usage
ACM Student Research Competition
Ihar Shulhan Innopolis University
11:00
90m
Talk
MARVEL: A Generic, Scalable and Effective Vulnerability Detection Platform
ACM Student Research Competition
Xiaoning Du Nanyang Technological University
11:00
90m
Talk
Towards Zero Knowledge Learning for Cross Language API Mappings
ACM Student Research Competition
Nghi D. Q. Bui Singapore Management University, Singapore
Pre-print
11:00
90m
Talk
An Empirical Study On Leveraging Logs For Debugging Production Failures
ACM Student Research Competition
An Ran Chen Concordia University
11:00
90m
Talk
Android GUI Search Using Hand-drawn Sketches
ACM Student Research Competition
Xiaofei Ge Nanjing University
11:00
90m
Talk
Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study
ACM Student Research Competition
Austin Mordahl The University of Texas at Dallas