Biblio

Export 3 results:
Filters: Author is Shaz Qadeer  [Clear All Filters]
2016
Deligiannis P, McCutchen M, Thomson P, Chen S, Donaldson AF, Erickson J, Huang C, Lal A, Mudduluru R, Qadeer S et al..  2016.  Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). 14th USENIX Conference on File and Storage Technologies (FAST 16). :249--262.
2013
Wang R, Zhou Y, Chen S, Qadeer S, Evans D, Gurevich Y.  2013.  Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization. 22nd USENIX Security Symposium (USENIX Security 13). :399--314.
2008
Musuvathi M, Qadeer S, Ball T, Basler G, Nainar PArumuga, Neamtiu I.  2008.  Finding and Reproducing Heisenbugs in Concurrent Programs. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).