| 2008 |
|---|
| 13 | EE | Sriram Sankar,
Sudhanva Gurumurthi,
Mircea R. Stan:
Intra-disk Parallelism: An Idea Whose Time Has Come.
ISCA 2008: 303-314 |
| 12 | | Sriram Sankar,
Sudhanva Gurumurthi,
Mircea R. Stan:
Sensitivity Based Power Management of Enterprise Storage Systems.
MASCOTS 2008: 93-102 |
| 1999 |
|---|
| 11 | | Sriram Sankar:
Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).
FMOODS 1999 |
| 1996 |
|---|
| 10 | | Sriram Sankar:
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language.
AMAST 1996: 52-61 |
| 9 | EE | Juei Chang,
Debra J. Richardson,
Sriram Sankar:
Structural Specification-Based Testing with ADL.
ISSTA 1996: 62-70 |
| 1994 |
|---|
| 8 | | Sriram Sankar,
Roger Hayes:
ADL - An Interface Definition Language for Specifying and Testing Software.
Workshop on Interface Definition Languages 1994: 13-21 |
| 1993 |
|---|
| 7 | | Anoop Goyal,
Sriram Sankar:
The Application of Formal Specifications to Software Documentation and Debugging.
AADEBUG 1993: 333-349 |
| 6 | | Sriram Sankar,
Manas Mandal:
Concurrent Runtime Monitoring of Formally Specified Programs.
IEEE Computer 26(3): 32-41 (1993) |
| 1991 |
|---|
| 5 | | Sigurd Meldal,
Sriram Sankar,
James Vera:
Exploiting Locality in Maintaining Potential Causality.
PODC 1991: 231-239 |
| 4 | EE | Sriram Sankar:
Run-Time Consistency Checking of Algebraic Specifications.
Symposium on Testing, Analysis, and Verification 1991: 123-129 |
| 3 | | David C. Luckham,
Sriram Sankar,
Shuzo Takahashi:
Two-Dimensional Pinpointing: Debugging with Formal Specifications.
IEEE Software 8(1): 74-84 (1991) |
| 1989 |
|---|
| 2 | EE | Sriram Sankar:
A note on the detection of an Ada compiler bug while debugging an Anna program.
SIGPLAN Notices 24(6): 23-31 (1989) |
| 1986 |
|---|
| 1 | | David S. Rosenblum,
Sriram Sankar,
David C. Luckham:
Concurrent Runtime Checking of Annotated Ada Programs.
FSTTCS 1986: 10-35 |
