Polyvios Pratikakis

Graduation Year: 
2008
Dissertation: 
Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs