Abhayendra Singh

A Safety-First Approach to Memory Models

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2013, IEEE Micro.

Assessing Transition-Based Test Selection Algorithms at Google

Yves Le Traon, John Micco, Mike Papadakis, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).

zFENCE: Data-less Coherence for Efficient Fences

Satish Narayanasamy, Shaizeen Aga, Abhayendra Singh, 2015, ICS.

DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2016, ACM Trans. Program. Lang. Syst..

Efficient processor support for DRFx, a memory model with exceptions

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2011, ASPLOS XVI.

DRFX: a simple and efficient memory model for concurrent programming languages

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2010, PLDI '10.

The Silently Shifting Semicolon

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2015, SNAPL.

A case for an SC-preserving compiler

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2011, PLDI '11.

Finding Frequent Items over General Update Streams

Sumit Ganguly, Abhayendra Singh, Satyam Shankar, 2008, SSDBM.

Efficiently enforcing strong memory ordering in GPUs

Satish Narayanasamy, Shaizeen Aga, Abhayendra Singh, 2015, 2015 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

End-to-end sequential consistency

Satish Narayanasamy, Daniel Marino, Todd D. Millstein, 2012, 2012 39th Annual International Symposium on Computer Architecture (ISCA).