Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs: for example, as a result of iterating over the elements of a hash table. This seemingly innocuous and frequently used operation can result in diverging test results.

We have created a type system that can express determinism specifications in a program. The key ideas in the type system are type qualifiers for nondeterminism, order-nondeterminism, and determinism. While state-of-the-art nondeterminism detection tools unsoundly rely on observing runtime output, our approach verifies determinism at compile time, thereby providing stronger soundness guarantees.

We implemented our type system for Java. Our type checker, the Determinism Checker, warns if a program is nondeterministic or verifies that the program is deterministic. In a case study of a 24,000-line software project, it found previously-unknown nondeterminism errors in a program that had been heavily vetted by its developers, who were greatly concerned about nondeterminism errors.

Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

15:20 - 16:00
Poster Session: Student Research CompetitionStudent Research Competition at Kensington Ballroom
15:20
40m
Boosting Neural Commit Message Generation with Code Semantic Analysis
Student Research Competition
Shuyao Jiang Fudan University
15:20
40m
Toward Practical Automatic Program Repair
Student Research Competition
Ali Ghanbari Iowa State University
15:20
40m
An Image-inspired and CNN-based Android Malware Detection Approach
Student Research Competition
Shao Yang Case Western Reserve University
15:20
40m
An Approach for Investigating Emotion Dynamics in Software Development
Student Research Competition
Krishna Neupane Rochester Institute of Technology
15:20
40m
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
Student Research Competition
Kevin Zhang Wayne State University
15:20
40m
Retrieve and Refine: Exemplar-based Neural Comment Generation
Student Research Competition
Bolin Wei Peking University
15:20
40m
Verifying Determinism in Sequential Programs
Student Research Competition
Rashmi Mudduluru University of Washington, Seattle
15:20
40m
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
Student Research Competition
Krishna Murthy Kattiyan Ramamoorthy San Diego State University
15:20
40m
Empirical Study of Python Call Graph
Student Research Competition
Li Yu Nanjing University
15:20
40m
Towards Comprehensible Representation of Controllers using Machine Learning
Student Research Competition
Gargi Balasubramaniam Birla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
15:20
40m
API Design Implications of Boilerplate Client Code
Student Research Competition
Daye Nam Carnegie Mellon University
15:20
40m
Compile-time detection of machine image sniping
Student Research Competition
Martin Kellogg University of Washington, Seattle
15:20
40m
Crowdsourced Report Generation via Bug Screenshot Understanding
Student Research Competition
Shengcheng Yu Nanjing University, China
File Attached

Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

10:40 - 12:20
Student Research Competition - Selected Presentations (Graduate)Student Research Competition at South Park
Chair(s): Jin L.C. Guo McGill University, Jie M. Zhang University College London, UK
10:40
15m
Toward Practical Automatic Program Repair
Student Research Competition
Ali Ghanbari Iowa State University
10:55
15m
Verifying Determinism in Sequential Programs
Student Research Competition
Rashmi Mudduluru University of Washington, Seattle
11:10
15m
An Image-inspired and CNN-based Android Malware Detection Approach
Student Research Competition
Shao Yang Case Western Reserve University
11:25
15m
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
Student Research Competition
Krishna Murthy Kattiyan Ramamoorthy San Diego State University
11:40
15m
API Design Implications of Boilerplate Client Code
Student Research Competition
Daye Nam Carnegie Mellon University
11:55
15m
Compile-time detection of machine image sniping
Student Research Competition
Martin Kellogg University of Washington, Seattle