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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski