Dustin Rhodes
Dustin Rhodes
Access Classification For Race Detection Optimization.
2018
University of California, Santa Cruz, USA
http://www.escholarship.org/uc/item/41p857p6
https://www.base-search.net/Record/d0335b907f1a0c99ed2937246d21f9ec9d3c61e955ddfe371187797220f1f99e
base-search.net (ftcdlib:qt41p857p6)
Dustin Rhodes
Cormac Flanagan
Stephen N. Freund
Correctness of Partial Escape Analysis for Multithreading Optimization.
9:1-9:6
2017
FTfJP@ECOOP
https://doi.org/10.1145/3103111.3104039
conf/ecoop/2017ftfjp
db/conf/ecoop/ftfjp2017.html#RhodesFF17
Dustin Rhodes
Cormac Flanagan
Stephen N. Freund
BigFoot: static check placement for dynamic race detection.
141-156
2017
PLDI
https://doi.org/10.1145/3062341.3062350
https://doi.org/10.1145/3140587.3062350
conf/pldi/2017
db/conf/pldi/pldi2017.html#RhodesFF17
Thomas Schmitz 0001
Dustin Rhodes
Thomas H. Austin
Kenneth L. Knowles
Cormac Flanagan
Faceted Dynamic Information Flow via Control and Data Monads.
3-23
2016
POST
https://doi.org/10.1007/978-3-662-49635-0_1
conf/post/2016
db/conf/post/post2016.html#SchmitzRAKF16
Dustin Rhodes
Tim Disney
Cormac Flanagan
Dynamic detection of object capability violations through model checking.
103-112
2014
DLS
https://doi.org/10.1145/2661088.2661099
https://doi.org/10.1145/2775052.2661099
https://www.wikidata.org/entity/Q131119071
conf/dls/2014
db/conf/dls/dls2014.html#RhodesDF14
Christian A. Gonzalez
Ivonne J. Figueroa
Brooke G. Bellows
Dustin Rhodes
Robert J. Youmans
A New Behavioral Measure of Cognitive Flexibility.
297-306
2013
HCI (16)
https://doi.org/10.1007/978-3-642-39360-0_33
conf/hci/2013-16
db/conf/hci/hci2013-16.html#GonzalezFBRY13
Thomas H. Austin
Brooke G. Bellows
Tim Disney
Ivonne J. Figueroa
Cormac Flanagan
Stephen N. Freund
Christian A. Gonzalez
Kenneth L. Knowles
Thomas Schmitz 0001
Robert J. Youmans