Jason Waataja

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Automatic Programming

Sequential Data

Top Venues

ICSE (Companion Volume)

Publications

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (2021)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (Companion Volume) (2021)