Biblio

Export 2 results:
Filters: Author is Dongdong Deng  [Clear All Filters]
2012
Jin G, Zhang W, Deng D.  2012.  Automated Concurrency-Bug Fixing. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :221--236.
Deng D, Zhang W, Wang B, Zhao P, Lu S.  2012.  Understanding the Interleaving-Space Overlap across Inputs and Software Versions. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).