dblp.uni-trier.dewww.uni-trier.de

Sriram Sankar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
15EESwaroop Kavalanekar, Dushyanth Narayanan, Sriram Sankar, Eno Thereska, Kushagra Vaid, Bruce L. Worthington: Measuring Database Performance in Online Services: A Trace-Based Approach. TPCTC 2009: 132-145
14EESriram Sankar, Yan Zhang, Sudhanva Gurumurthi, Mircea R. Stan: Sensitivity-Based Optimization of Disk Architecture. IEEE Trans. Computers 58(1): 69-81 (2009)
2008
13EESriram 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
9EEJuei 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
4EESriram 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
2EESriram Sankar: A note on the detection of an Ada compiler bug while debugging an Anna program. SIGPLAN Notices 24(6): 23-31 (1989)
1986
1EEDavid S. Rosenblum, Sriram Sankar, David C. Luckham: Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS 1986: 10-35

Coauthor Index

1Juei Chang [9]
2Anoop Goyal [7]
3Sudhanva Gurumurthi [12] [13] [14]
4Roger Hayes [8]
5Swaroop Kavalanekar [15]
6David C. Luckham [1] [3]
7Manas Mandal [6]
8Sigurd Meldal [5]
9Dushyanth Narayanan [15]
10Debra J. Richardson [9]
11David S. Rosenblum [1]
12Mircea R. Stan [12] [13] [14]
13Shuzo Takahashi [3]
14Eno Thereska [15]
15Kushagra Vaid [15]
16James Vera [5]
17Bruce L. Worthington [15]
18Yan Zhang [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)