Wed 13 Nov 2019 10:55 - 11:10 at South Park - Student Research Competition - Selected Presentations (Graduate) Chair(s): Jie M. Zhang, Jin L.C. Guo
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
Wed 13 Nov
10:40 - 12:20: Student Research Competition - Student Research Competition - Selected Presentations (Graduate) at South Park Chair(s): Jie M. ZhangUniversity College London, UK, Jin L.C. GuoMcGill University | ||||||||||||||||||||||||||||||||||||||||||
10:40 - 10:55 | Toward Practical Automatic Program Repair Ali GhanbariThe University of Texas at Dallas | |||||||||||||||||||||||||||||||||||||||||
10:55 - 11:10 | Verifying Determinism in Sequential Programs Rashmi MudduluruUniversity of Washington, Seattle | |||||||||||||||||||||||||||||||||||||||||
11:10 - 11:25 | An Image-inspired and CNN-based Android Malware Detection Approach Shao YangCase Western Reserve University | |||||||||||||||||||||||||||||||||||||||||
11:25 - 11:40 | User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications Krishna Murthy Kattiyan RamamoorthySan Diego State University | |||||||||||||||||||||||||||||||||||||||||
11:40 - 11:55 | API Design Implications of Boilerplate Client Code Daye NamCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
11:55 - 12:10 | Compile-time detection of machine image sniping Martin KelloggUniversity of Washington, Seattle |