Polyvios Pratikakis

Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs.
. University of Maryland, College Park, MD, USA, (2008)base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/8627).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found