Login / Signup
Peter Senyao Du
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Oren Laadan
,
Chia-che Tsai
,
Nicolas Viennot
,
Chris Blinn
,
Peter Senyao Du
,
Jason Nieh
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.
HotOS
(2011)