A New Behavioral Measure of Cognitive Flexibility. - Christian A. Gonzalez; Ivonne J. Figueroa; Brooke G. Bellows; Dustin Rhodes; Robert J. Youmans (HCI (16), 2013)

Dynamic detection of object capability violations through model checking. - Dustin Rhodes; Tim Disney; Cormac Flanagan (DLS, 2014)

Faceted Dynamic Information Flow via Control and Data Monads. - Thomas Schmitz 001; Dustin Rhodes; Thomas H. Austin; Kenneth L. Knowles; Cormac Flanagan (POST, 2016)

Correctness of Partial Escape Analysis for Multithreading Optimization. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (FTfJP@ECOOP, 2017)

BigFoot: static check placement for dynamic race detection. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (PLDI, 2017)

Access Classification For Race Detection Optimization. - Dustin Rhodes (2018)