Wed 13 Nov 2019 10:55 - 11:10 at South Park - Student Research Competition - Selected Presentations (Graduate) Chair(s): Jin L.C. Guo, Jie M. Zhang
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 NovDisplayed time zone: Tijuana, Baja California change
Wed 13 NovDisplayed 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 | ||
