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

ase-2019-Student-Research-Competition
15:20 - 16:00: Student Research Competition - Poster Session: Student Research Competition at Kensington Ballroom
ase-2019-Student-Research-Competition15:20 - 16:00
Shuyao JiangFudan University
ase-2019-Student-Research-Competition15:20 - 16:00
Ali GhanbariThe University of Texas at Dallas
ase-2019-Student-Research-Competition15:20 - 16:00
Shao YangCase Western Reserve University
ase-2019-Student-Research-Competition15:20 - 16:00
Krishna NeupaneRochester Institute of Technology
ase-2019-Student-Research-Competition15:20 - 16:00
Kevin ZhangWayne State University
ase-2019-Student-Research-Competition15:20 - 16:00
Bolin WeiPeking University
ase-2019-Student-Research-Competition15:20 - 16:00
Rashmi MudduluruUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15:20 - 16:00
Krishna Murthy Kattiyan RamamoorthySan Diego State University
ase-2019-Student-Research-Competition15:20 - 16:00
Li YuNanjing University
ase-2019-Student-Research-Competition15:20 - 16:00
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
ase-2019-Student-Research-Competition15:20 - 16:00
Daye NamCarnegie Mellon University
ase-2019-Student-Research-Competition15:20 - 16:00
Martin KelloggUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15:20 - 16:00
Shengcheng YuNanjing University, China
File Attached

Wed 13 Nov

ase-2019-Student-Research-Competition
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
ase-2019-Student-Research-Competition10:40 - 10:55
Ali GhanbariThe University of Texas at Dallas
ase-2019-Student-Research-Competition10:55 - 11:10
Rashmi MudduluruUniversity of Washington, Seattle
ase-2019-Student-Research-Competition11:10 - 11:25
Shao YangCase Western Reserve University
ase-2019-Student-Research-Competition11:25 - 11:40
Krishna Murthy Kattiyan RamamoorthySan Diego State University
ase-2019-Student-Research-Competition11:40 - 11:55
Daye NamCarnegie Mellon University
ase-2019-Student-Research-Competition11:55 - 12:10
Martin KelloggUniversity of Washington, Seattle