Abhayendra Singh
Abhayendra Singh
Google LLC
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
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
1022012
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
1012010
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
862011
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
432011
Efficiently enforcing strong memory ordering in GPUs
A Singh, S Aga, S Narayanasamy
Proceedings of the 48th International Symposium on Microarchitecture, 699-712, 2015
162015
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
142019
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
92015
zfence: Data-less coherence for efficient fences
S Aga, A Singh, S Narayanasamy
Proceedings of the 29th ACM on International Conference on Supercomputing …, 2015
42015
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
42012
Ordering constraint management within coherent memory systems
AGA Shaizeen, A Singh, S Narayanasamy
US Patent 9,367,461, 2016
32016
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
22011
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
12016
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
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
The system can't perform the operation now. Try again later.
Articles 1–18