Abhayendra Singh
Abhayendra Singh
Google LLC
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
DRFX: a simple and efficient memory model for concurrent programming languages
D Marino, A Singh, T Millstein, M Musuvathi, S Narayanasamy
ACM Sigplan Notices 45 (6), 351-362, 2010
992010
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
922012
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
782011
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
412011
Efficiently enforcing strong memory ordering in GPUs
A Singh, S Aga, S Narayanasamy
Proceedings of the 48th International Symposium on Microarchitecture, 699-712, 2015
122015
Finding frequent items over general update streams
S Ganguly, AN Singh, S Shankar
International Conference on Scientific and Statistical Database Management …, 2008
112008
The Silently Shifting Semicolon
D Marino, T Millstein, M Musuvathi, S Narayanasamy, A Singh
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
82015
Ordering constraint management within coherent memory systems
AGA Shaizeen, A Singh, S Narayanasamy
US Patent 9,367,461, 2016
32016
zfence: Data-less coherence for efficient fences
S Aga, A Singh, S Narayanasamy
Proceedings of the 29th ACM on International Conference on Supercomputing …, 2015
32015
A safety-first approach to memory models
A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi
IEEE Micro 33 (3), 96-104, 2013
12013
DRF x: 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), 16, 2016
2016
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
The system can't perform the operation now. Try again later.
Articles 1–14