Jipeng Huang
Jipeng Huang
Verified email at cse.ohio-state.edu - Homepage
Cited by
Cited by
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
DoubleChecker: efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–5