Sriram Sankar

	2009
15		Swaroop 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
14		Sriram Sankar, Yan Zhang, Sudhanva Gurumurthi, Mircea R. Stan: Sensitivity-Based Optimization of Disk Architecture. IEEE Trans. Computers 58(1): 69-81 (2009)
	2008
13		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		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		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		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

Coauthor Index

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

Colors in the list of coauthors