Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dustin Rhodes
conf.researchr.org general profile
ICFP 2017 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2014 profile
Registered user since Wed 20 Aug 2014
Name:
Dustin Rhodes
Contributions
2017
FTfJP
Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI
Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
2014
DLS
Presenter of Dynamic Detection of Object Capability Violations Through Model Checking within the DLS-track
Share
x
Tue 3 Dec 18:00