Biblio

Export 2 results:
Filters: Author is Weiwei Xiong  [Clear All Filters]
2010
Xiong W, Park S, Zhang J, Zhou Y, Ma Z.  2010.  Ad Hoc Synchronization Considered Harmful. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
2008
Tan L, Zhang X, Ma X, Xiong W, Zhou Y.  2008.  AutoISES: Automatically Inferring Security Specification and Detecting Violations. 17th USENIX Security Symposium (USENIX Security 08).