Jason Waataja

According to our database, Jason Waataja authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Verifying Determinism in Sequential Programs.

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021