Abhayendra Singh

12 papers A* 5A 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Speculative Testing at Google with Transition Prediction.
ICST
Avi Kondareddy, Sushmita Azad, Abhayendra Singh, Tim A. D. Henderson
2019 — conf
Assessing transition-based test selection algorithms at Google.
ICSE (SEIP)
Claire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco
2016 — —
A Safety-First Approach to Memory Models.
Abhayendra Singh
2016 J jnl
DRF
ACM Trans. Program. Lang. Syst.
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2015 A* conf
Efficiently enforcing strong memory ordering in GPUs.
MICRO
Abhayendra Singh, Shaizeen Aga, Satish Narayanasamy
2015 — conf
The Silently Shifting Semicolon.
SNAPL
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh
2015 A conf
zFENCE: Data-less Coherence for Efficient Fences.
ICS
Shaizeen Aga, Abhayendra Singh, Satish Narayanasamy
2013 J jnl
A Safety-First Approach to Memory Models.
IEEE Micro
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2012 A* conf
End-to-end sequential consistency.
ISCA
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi
2011 A* conf
A case for an SC-preserving compiler.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy
2011 A* conf
Efficient processor support for DRFx, a memory model with exceptions.
ASPLOS
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi
2010 A* conf
DRFX: a simple and efficient memory model for concurrent programming languages.
PLDI
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy