Octet: Capturing and controlling cross-thread dependences efficiently MD Bond, M Kulkarni, M Cao, M Zhang, M Fathi Salmi, S Biswas, ... ACM SIGPLAN Notices 48 (10), 693-712, 2013 | 57 | 2013 |
Doublechecker: Efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014 | 55 | 2014 |
Low-overhead software transactional memory with progress guarantees and strong semantics M Zhang, J Huang, M Cao, MD Bond Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of …, 2015 | 33* | 2015 |
Efficient deterministic replay of multithreaded executions in a managed language virtual machine MD Bond, M Kulkarni, M Cao, MF Salmi, J Huang Proceedings of the Principles and Practices of Programming on The Java …, 2015 | 17* | 2015 |
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management J Huang, MD Bond Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 17 | 2013 |
Apyrase suppression raises extracellular ATP levels and induces gene expression and cell wall changes characteristic of stress responses. LMH Lim MinHui, WJ Wu Jian, YJC Yao JianChao, IF Gallardo, ... | | 2014 |