Dustin Rhodes

According to our database, Dustin Rhodes authored at least 6 papers between 2013 and 2018.

Collaborative distances:

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

2018

Access Classification For Race Detection Optimization.

Dustin Rhodes

PhD thesis, 2018

2017

BigFoot: static check placement for dynamic race detection.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Correctness of Partial Escape Analysis for Multithreading Optimization.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Faceted Dynamic Information Flow via Control and Data Monads.

Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2014

Dynamic detection of object capability violations through model checking.

Dustin Rhodes, Tim Disney, Cormac Flanagan

Proceedings of the DLS'14, 2014

2013

A New Behavioral Measure of Cognitive Flexibility.

Christian A. Gonzalez, Ivonne J. Figueroa, Brooke G. Bellows, Dustin Rhodes, Robert J. Youmans

Proceedings of the Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition, 2013