Sensitivity Based Power Management of Enterprise Storage Systems (2009)
Sriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan
Energy-efficiency is a key requirement in data centers today. Storage systems constitute a significant fraction of the energy consumed in a data center and therefore enterprise storage systems need...
Intra-Disk Parallelism: An Idea Whose Time Has Come (2009)
Sriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan
Server storage systems use a large number of disks to achieve high performance, thereby consuming a significant amount of power. In this paper, we propose to significantly reduce the power consumed...
Sensitivity-Based Optimization of Disk Architecture (2009)
Sriram Sankar, Yan Zhang, Sudhanva Gurumurthi, Mircea R. Stan, Senior Member
Abstract—Many applications, especially those that run on servers, are I/O intensive and therefore require high-performance storage systems. These high-end storage systems consume a large amount of...
Intra-Disk Parallelism: An Idea Whose Time Has Come (2008)
Sriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan
Power is a big problem in data centers and a significant fraction of this power is consumed by the storage system. Server storage systems use a large number of disks to achieve high performance,...
Subtyping, Assignment and Cloning in a Concurrent Object-Oriented Language (2007)
John Mitchell, Dinesh Katiyar, David C. Luckham, Neel Madhav, Sigurd Meldal, Sriram Sankar
This paper describes subtyping, assignment, equality and cloning in a concurrent object-oriented language called rapide. Based on experiments and language design considerations, we separate the...
Subtyping, Assignment and Cloning in a Concurrent Object-Oriented Language (2007)
John C. Mitchell, Dinesh Katiyar, David C. Luckham, Neel Madhav, Sigurd Meldal, Sriram Sankar
This paper describes subtyping, assignment, equality and cloning in a concurrent object-oriented language called rapide. Based on experiments and language design considerations, we separate the...
Automatic Runtime Consistency Checking and Debugging of Formally Specified Programs. (1998)
This thesis studies an approach to automate the process of deciding whether a program is performing correctly, and if not, to discover the probable cause of the problem. It assumes that the intended...
Formal Development of Ada Programs Using Z and Ana: A Case Study. (1998)
Place, Patrick R., Wood, William G., Luckham, David C., Mann, Walter, Sankar, Sriram
This report describes a method for the formal development of Ada programs from a formal specification written in Z. ANNotated Ada (Anna) is used as an intermediate language linking the more abstract...
The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. (1997)
Walicki, Michal, Skakkebaek, Jens U., Sankar, Sriram
This report describes the Ada style checker, which was designed and constructed in Winter and Spring 1989-9. The style checker is based on the Stanford Anna Tools and has been annotated using Anna....
Application of Formal Specification to Software Maintenance. (1997)
This paper describes the use of formal specifications and associated tools in addressing various aspects of software maintenance - corrective, perfective, and adaptive. It also addresses the...
The Application of Formal Specifications to Software Documentation and Debugging. (1997)
This paper illustrates the application of formal specifications to software documentation and debugging by presenting a real-life scenario involving the use of a garbage collection package. It...
Concurrent Runtime Monitoring of Formally Specified Programs. (1997)
This paper describes an application of formal specifications after an executable program has been constructed. We describe how high level specifications can be utilized to monitor critical aspects of...
Software Testing using Algebraic Specification Based Test Oracles. (1997)
Sankar, Sriram, Goyal, Anoop, Sikchi, Prakash
In TAV4, the first author presented a paper describing an algorithm to perform run-time consistency checking of abstract data types specified using algebraic specifications. This algorithm has...
Specifying and testing software components using ADL (1994)
Sriram Sankar, Roger Hayes, Sriram Sankar, Roger Hayes
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL, that is particularly well-suited for testing, to formally document the...
Subtyping F-bounded types (1992)
We look at the subtyping problem for polymorphic types with F-bounded quantification i.e. polymorphic types where a bound can be imposed on the type argument (by the subtype relation) , and the bound...
Completely Bounded Quantification is Decidable (1992)
This paper proves the decidability of subtyping for F when the bounds on polymorphic types do not contain Top (i.e., in all types of the form 8ff!:ø 1 :ø 2 , ø 1 does not contain Top). This...
The Anna-I User's Guide and Installation Manual (1992)
Anoop Goyal, Chuan-chieh Ko, David Luckham, Walter Mann, Geoffrey O. Mendal, David Rosenblum, ...
Syntax Tree Modified Abstract Syntax Tree Ada Compiler/Linker/Loader Self-Checking Executable START STOP Figure 3: Pictorial representation of the Anna-I tools. Mendal/Stanford December 3, The Anna-I...
Exploiting Locality in Maintaining Potential Causality (1991)
Sigurd Meldal, Sriram Sankar, James Vera
In distributed systems it is often important to be able to determine the temporal relationships between events generated by different processes. An algorithm to determine such relationships is...