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