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 |
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 |
Lightweight data race detection for production runs S Biswas, M Cao, M Zhang, MD Bond, BP Wood Proceedings of the 26th International Conference on Compiler Construction, 11-21, 2017 | 31 | 2017 |
Drinking from both glasses: Combining pessimistic and optimistic tracking of cross-thread dependences M Cao, M Zhang, A Sengupta, MD Bond ACM SIGPLAN Notices 51 (8), 1-13, 2016 | 26* | 2016 |
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 | 19* | 2015 |
Prescient memory: exposing weak memory model behavior by looking into the future M Cao, J Roemer, A Sengupta, MD Bond ACM SIGPLAN Notices 51 (11), 99-110, 2016 | 14 | 2016 |
Instrumentation bias for dynamic data race detection BP Wood, M Cao, MD Bond, D Grossman Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017 | 12 | 2017 |
Regional cache organization for NoC based many-core processors MY John, M Cao, Z Qu, T Chen Journal of Computer and System Sciences 79 (2), 175-186, 2013 | 8 | 2013 |
Legato: End-to-end bounded region serializability using commodity hardware transactional memory A Sengupta, M Cao, MD Bond, M Kulkarni 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017 | 7* | 2017 |
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization A Sengupta, M Cao, MD Bond, M Kulkarni Proceedings of the Principles and Practices of Programming on The Java …, 2015 | 7 | 2015 |
Distributed memory management units architecture for NoC-based CMPs C Man, X Bin, Q Fuming, S Qingsong, C Tianzhou, Y Like 2010 10th IEEE International Conference on Computer and Information …, 2010 | 7 | 2010 |
Efficient, Practical Dynamic Program Analyses for Concurrency Correctness M Cao The Ohio State University, 2017 | 5 | 2017 |
Hybridizing and relaxing dependence tracking for efficient parallel runtime support M Cao, M Zhang, A Sengupta, S Biswas, MD Bond ACM Transactions on Parallel Computing (TOPC) 4 (2), 1-42, 2017 | 2 | 2017 |
Construction of Mobile Internet Courses M Cao, B Quan, T Chen, X Lou 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l …, 2010 | 2 | 2010 |
ChipOS based grid computing J Ma, M Cao, W Ma, T Chen Proceedings of the 7th WSEAS International Conference on Simulation …, 2007 | 1 | 2007 |
Interactive Tweaking of Text Analytics Dashboards A Nandi, Z Huang, M Cao, M Elsner, L Jiang, S Parthasarathy, ... Databases in Networked Information Systems: 10th International Workshop …, 2015 | | 2015 |
Android操作系统对手机口袋状态的检测方法 陈天洲, 曹满, 黄文胡同森 CN Patent CN102006356 B, 2013 | | 2013 |
通用操作系统对CPU二级缓存访问的控制方法 乔福明, 曹满, 王春昊, 章铁飞, 缪良华, 陈剑, 陈天洲, 项凌翔, 马建良黄江伟 CN Patent CN101510176 B, 2012 | | 2012 |
Cache的自适应插入策略的实现方法 乔福明, 刘敬伟, 曹满, 章铁飞, 缪良华, 胡同森, 蒋冠军, 陈天洲, 项凌翔马建良 CN Patent CN101520751 B, 2012 | | 2012 |
一种基于延时策略的软件事务内存的实现方法 乔福明, 刘敬伟, 曹满, 王春昊, 章铁飞, 缪良华, 陈剑, 陈天洲, 项凌翔马建良 CN Patent CN101510162 B, 2011 | | 2011 |