An implementation of Anna. - Sriram Sankar; David S. Rosenblum; Randall Neff (SIGAda, 1985)

Concurrent Runtime Checking of Annotated Ada Programs. - David S. Rosenblum; Sriram Sankar; David C. Luckham (FSTTCS, 1986)

A note on the detection of an Ada compiler bug while debugging an Anna program. - Sriram Sankar (ACM SIGPLAN Notices, 1989)

Automatic runtime consistency checking and debugging of formally specified programs. - Sriram Sankar (1989)

Application of formal specification to software maintenance. - Neel Madhav; Sriram Sankar (ICSM, 1990)

Run-Time Consistency Checking of Algebraic Specifications. - Sriram Sankar (Symposium on Testing, Analysis, and Verification, 1991)

Exploiting Locality in Maintaining Potential Causality. - Sigurd Meldal; Sriram Sankar; James Vera (PODC, 1991)

The use of anna specification technology in ada software development. - Sriram Sankar; David C. Luckham; Walter Mann (TRI-Ada Tutorial, 1991)

Two-Dimensional Pinpointing: Debugging with Formal Specifications. - David C. Luckham; Sriram Sankar; Shuzo Takahashi (IEEE Softw., 1991)

The Application of Formal Specifications to Software Documentation and Debugging. - Anoop Goyal; Sriram Sankar (AADEBUG, 1993)

Concurrent Runtime Monitoring of Formally Specified Programs. - Sriram Sankar; Manas Mandal (Computer, 1993)

ADL - An Interface Definition Language for Specifying and Testing Software. - Sriram Sankar; Roger Hayes (Workshop on Interface Definition Languages, 1994)

Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. - Sriram Sankar (AMAST, 1996)

Structural Specification-Based Testing with ADL. - Juei Chang; Debra J. Richardson; Sriram Sankar (ISSTA, 1996)

Fifth California software symposium. - Pankaj K. Garg; Sriram Sankar (ACM SIGSOFT Softw. Eng. Notes, 1996)

Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). - Sriram Sankar (FMOODS, 1999)

Intra-disk Parallelism: An Idea Whose Time Has Come. - Sriram Sankar; Sudhanva Gurumurthi; Mircea R. Stan (ISCA, 2008)

Sensitivity Based Power Management of Enterprise Storage Systems. - Sriram Sankar; Sudhanva Gurumurthi; Mircea R. Stan (MASCOTS, 2008)

Storage characterization for unstructured data in online services applications. - Sriram Sankar; Kushagra Vaid (IISWC, 2009)

Measuring Database Performance in Online Services: A Trace-Based Approach. - Swaroop Kavalanekar; Dushyanth Narayanan; Sriram Sankar; Eno Thereska; Kushagra Vaid; Bruce L. Worthington (TPCTC, 2009)

Using Intradisk Parallelism to Build Energy-Efficient Storage Systems. - Sudhanva Gurumurthi; Sriram Sankar; Mircea R. Stan (IEEE Micro, 2009)

Sensitivity-Based Optimization of Disk Architecture. - Sriram Sankar; Yan Zhang 028; Sudhanva Gurumurthi; Mircea R. Stan (IEEE Trans. Computers, 2009)

Using Solid State Drives as a Mid-Tier Cache in Enterprise Database OLTP Applications. - Badriddine M. Khessib; Kushagra Vaid; Sriram Sankar; Chengliang Zhang (TPCTC, 2010)

Addressing the stranded power problem in datacenters using storage workload characterization. - Sriram Sankar; Kushagra Vaid (WOSP/SIPEW, 2010)

Server Engineering Insights for Large-Scale Online Services. - Christoforos E. Kozyrakis; Aman Kansal; Sriram Sankar; Kushagra Vaid (IEEE Micro, 2010)

Impact of temperature on hard disk drive reliability in large datacenters. - Sriram Sankar; Mark Shaw 001; Kushagra Vaid (DSN, 2011)

Collaborative acquisition of multi-view face images in real-time using a wireless camera network. - Srikanth Parupati; Rohith Bakkannagari; Sriram Sankar; Vinod Kulathumani (ICDSC, 2011)

Decoupling datacenter studies from access to large-scale applications: A modeling approach for storage workloads. - Christina Delimitrou; Sriram Sankar; Kushagra Vaid; Christos Kozyrakis (IISWC, 2011)

Storage I/O generation and replay for datacenter applications. - Christina Delimitrou; Sriram Sankar; Kushagra Vaid; Christos Kozyrakis (ISPASS, 2011)

Time and Cost-Efficient Modeling and Generation of Large-Scale TPCC/TPCE/TPCH Workloads. - Christina Delimitrou; Sriram Sankar; Badriddine M. Khessib; Kushagra Vaid; Christos Kozyrakis (TPCTC, 2011)

Energy-delay based provisioning for large datacenters: an energy-efficient and cost optimal approach. - Sriram Sankar; Kushagra Vaid; Harry Rogers (ICPE, 2011)

Energy-delay based provisioning for large datacenters: an energy-efficient and cost optimal approach (abstracts only). - Sriram Sankar; Kushagra Vaid; Harry Rogers (SIGMETRICS Perform. Evaluation Rev., 2011)

ECHO: Recreating network traffic maps for datacenters with tens of thousands of servers. - Christina Delimitrou; Sriram Sankar; Aman Kansal; Christos Kozyrakis (IISWC, 2012)

Decoupling Datacenter Storage Studies from Access to Large-Scale Applications. - Christina Delimitrou; Sriram Sankar; Kushagra Vaid; Christos Kozyrakis (IEEE Comput. Archit. Lett., 2012)

Unicorn: A System for Searching the Social Graph. - Michael Curtiss; Iain Becker; Tudor Bosman; Sergey Doroshenko; Lucian Grijincu; Tom Jackson; Sandhya Kunnatur; Søren B. Lassen; Philip Pronin; Sriram Sankar; Guanghao Shen; Gintaras Woss; et al. (Proc. VLDB Endow., 2013)

The need for speed and stability in data center power capping. - Arka Aloke Bhattacharya; David E. Culler; Aman Kansal; Sriram Govindan; Sriram Sankar (Sustain. Comput. Informatics Syst., 2013)

Datacenter Scale Evaluation of the Impact of Temperature on Hard Disk Drive Failures. - Sriram Sankar; Mark Shaw 001; Kushagra Vaid; Sudhanva Gurumurthi (ACM Trans. Storage, 2013)

Power availability provisioning in large data centers. - Sriram Sankar; David Gauthier; Sudhanva Gurumurthi (Conf. Computing Frontiers, 2014)

CapNet: A Real-Time Wireless Management Network for Data Center Power Capping. - Abusayeed Saifullah; Sriram Sankar; Jie Liu 001; Chenyang Lu 001; Ranveer Chandra; Bodhi Priyantha (RTSS, 2014)

Soft Failures in Large Datacenters. - Sriram Sankar; Sudhanva Gurumurthi (IEEE Comput. Archit. Lett., 2014)

CoolProvision: underprovisioning datacenter cooling. - Ioannis Manousakis; Iñigo Goiri; Sriram Sankar; Thu D. Nguyen; Ricardo Bianchini (SoCC, 2015)

Environmental Conditions and Disk Reliability in Free-cooled Datacenters. - Ioannis Manousakis; Sriram Sankar; Gregg McKnight; Thu D. Nguyen; Ricardo Bianchini (USENIX ATC, 2016)

Hardware Remediation at Scale. - Fan Fred Lin; Matt Beadon; Harish Dattatraya Dixit; Gautham Vunnam; Amol Desai; Sriram Sankar (DSN Workshops, 2018)

CapNet: Exploiting Wireless Sensor Networks for Data Center Power Capping. - Abusayeed Saifullah; Sriram Sankar; Jie Liu 001; Chenyang Lu 001; Ranveer Chandra; Bodhi Priyantha (ACM Trans. Sens. Networks, 2019)

Predicting Remediations for Hardware Failures in Large-Scale Datacenters. - Fan Fred Lin; Antonio Davoli; Imran Akbar; Sukumar Kalmanje; Leandro Silva; John Stamford; Yanai Golany; Jim Piazza; Sriram Sankar (DSN (Supplements), 2020)

Optimizing Interrupt Handling Performance for Memory Failures in Large Scale Data Centers. - Harish Dattatraya Dixit; Fan Fred Lin; Bill Holland; Matt Beadon; Zhengyu Yang 003; Sriram Sankar (ICPE, 2020)

Fast Dimensional Analysis for Root Cause Investigation in a Large-Scale Service Environment. - Fan Fred Lin; Keyur Muzumdar; Nikolay Pavlovich Laptev; Mihai-Valentin Curelea; Seunghak Lee; Sriram Sankar (Proc. ACM Meas. Anal. Comput. Syst., 2020)

Near-Realtime Server Reboot Monitoring and Root Cause Analysis in a Large-Scale System. - Fan Fred Lin; Bhargav Bolla; Eric Pinkham; Neil Kodner; Daniel Moore; Amol Desai; Sriram Sankar (DSN (Supplements), 2021)

Silent Data Corruptions at Scale. - Harish Dattatraya Dixit; Sneha Pendharkar; Matt Beadon; Chris Mason; Tejasvi Chakravarthy; Bharath Muthiah; Sriram Sankar (CoRR, 2021)

Detecting silent data corruptions in the wild. - Harish Dattatraya Dixit; Laura Boyle; Gautham Vunnam; Sneha Pendharkar; Matt Beadon; Sriram Sankar (CoRR, 2022)

Assessing and Analyzing the Resilience of Graph Neural Networks Against Hardware Faults. - Xun Jiao; Ruixuan Wang; Fan Fred Lin; Daniel Moore; Sriram Sankar (CoRR, 2022)

Silent Data Corruptions: The Stealthy Saboteurs of Digital Integrity. - George Papadimitriou 001; Dimitris Gizopoulos; Harish Dattatraya Dixit; Sriram Sankar (IOLTS, 2023)

Brief Industry Paper: Evaluating Robustness of Deep Learning-Based Recommendation Systems Against Hardware Errors: A Case Study. - Xun Jiao; Fan Fred Lin; Matt Xiao; Alban Desmaison; Daniel Moore; Sriram Sankar (RTSS, 2023)

Evaluating and Enhancing Robustness of Deep Recommendation Systems Against Hardware Errors. - Dongning Ma; Xun Jiao; Fan Fred Lin; Mengshi Zhang; Alban Desmaison; Thomas Sellinger; Daniel Moore; Sriram Sankar (CoRR, 2023)

Dr. DNA: Combating Silent Data Corruptions in Deep Learning using Distribution of Neuron Activations. - Dongning Ma; Fan Fred Lin; Alban Desmaison; Joel Coburn; Daniel Moore; Sriram Sankar; Xun Jiao (ASPLOS (3), 2024)

Silent Data Corruptions in Computing Systems: Early Predictions and Large-Scale Measurements. - Dimitris Gizopoulos; George Papadimitriou 001; Odysseas Chatzopoulos; Nikos Karystinos; Harish Dattatraya Dixit; Sriram Sankar (ETS, 2024)

PVF (Parameter Vulnerability Factor): A Quantitative Metric Measuring AI Vulnerability Against Parameter Corruptions. - Xun Jiao; Fan Fred Lin; Harish Dattatraya Dixit; Joel Coburn; Abhinav Pandey; Han Wang; Venkat Ramesh; Jianyu Huang; Wang Xu; Daniel Moore; Sriram Sankar (CoRR, 2024)

Hardware Sentinel: Protecting Software Applications from Hardware Silent Data Corruptions. - Rhea Dutta; Harish Dattatraya Dixit; Rik van Riel; Gautham Vunnam; Sriram Sankar (ASPLOS (2), 2025)

From Gates to SDCs: Understanding Fault Propagation Through the Compute Stack. - Odysseas Chatzopoulos; George Papadimitriou 001; Dimitris Gizopoulos; Harish Dattatraya Dixit; Sriram Sankar (DATE, 2025)

Veritas - Demystifying Silent Data Corruptions: μArch-Level Modeling and Fleet Data of Modern x86 CPUs. - Odysseas Chatzopoulos; Nikos Karystinos; George Papadimitriou 001; Dimitris Gizopoulos; Harish Dattatraya Dixit; Sriram Sankar (HPCA, 2025)