| End-to-end sequential consistency A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi 2012 39th Annual International Symposium on Computer Architecture (ISCA …, 2012 | 124 | 2012 |
| DRFx: A simple and efficient memory model for concurrent programming languages D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 107 | 2010 |
| A case for an SC-preserving compiler D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy ACM SIGPLAN Notices 46 (6), 199-210, 2011 | 98 | 2011 |
| Assessing transition-based test selection algorithms at Google C Leong, A Singh, M Papadakis, Y Le Traon, J Micco 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 44 | 2019 |
| Efficient processor support for DRFx, a memory model with exceptions A Singh, D Marino, S Narayanasamy, T Millstein, M Musuvathi Sixteenth International Conference on Architectural Support for Programming …, 2011 | 44 | 2011 |
| Efficiently enforcing strong memory ordering in GPUs A Singh, S Aga, S Narayanasamy Proceedings of the 48th International Symposium on Microarchitecture, 699-712, 2015 | 25 | 2015 |
| The Silently Shifting Semicolon D Marino, T Millstein, M Musuvathi, S Narayanasamy, A Singh 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015 | 11 | 2015 |
| Finding frequent items over general update streams S Ganguly, AN Singh, S Shankar International Conference on Scientific and Statistical Database Management …, 2008 | 11 | 2008 |
| zfence: Data-less coherence for efficient fences S Aga, A Singh, S Narayanasamy Proceedings of the 29th ACM on International Conference on Supercomputing …, 2015 | 6 | 2015 |
| End-to-End Sequential Consistency. SIGARCH Comput. Archit. News 40, 3 (June 2012), 524–535 A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi | 4 | 2012 |
| Ordering constraint management within coherent memory systems AGA Shaizeen, A Singh, S Narayanasamy US Patent 9,367,461, 2016 | 3 | 2016 |
| DRFx An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 1-40, 2016 | 2 | 2016 |
| Efficient processor support for DRFx: Technical report A Singh, D Marino, S Narayanasamy, T Millstein, M Musuvathi Technical Report 110002, UCLA Computer Science Department, 2011 | 2 | 2011 |
| A safety-first approach to memory models A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi IEEE Micro 33 (3), 96-104, 2013 | 1 | 2013 |
| Safety-first approach to memory consistency models M Musuvathi ACM SIGPLAN Notices 48 (11), 1-2, 2013 | | 2013 |
| End-To-End Sequential Consistency A Singh, T Millstein, M Musuvathi, S Narayanasamy, D Marino IEEE Micro 99 (1), 1, 2013 | | 2013 |
| Efficient Processor Support for DRFx, a Memory Model with Exceptions Full Formal Development A Singh, D Marino, S Narayanasamy, T Millstein, M Musuvathi | | 2011 |
| Strengthening Language-Level Memory Models with Compiler-Directed Interference Checks D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy | | |
Satish NarayanasamyUniversity of MichiganVerified email at umich.edu
