Dustin Rhodes

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Information Flows

Automated Detection

Top Venues

University of California, Santa Cruz, USA (PHD)

Education History

University of California, Santa Cruz, USA

PHD

Publications

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
Correctness of Partial Escape Analysis for Multithreading Optimization. FTfJP@ECOOP (2017)
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
BigFoot: static check placement for dynamic race detection. PLDI (2017)
Thomas Schmitz, Dustin Rhodes, Thomas H. Austin, Kenneth Knowles, Cormac Flanagan
Faceted Dynamic Information Flow via Control and Data Monads. POST (2016)
Dustin Rhodes, Tim Disney, Cormac Flanagan
Dynamic detection of object capability violations through model checking. DLS (2014)
Christian A. Gonzalez, Ivonne J. Figueroa, Brooke G. Bellows, Dustin Rhodes, Robert J. Youmans
A New Behavioral Measure of Cognitive Flexibility. HCI (16) (2013)