enter search term and/or author name
Feasibility of Stepwise Design of Multitolerant Programs
Ali Ebnenasir, Sandeep S. Kulkarni
Article No.: 1
The complexity of designing programs that simultaneously tolerate multiple classes of faults, called multitolerant programs, is in part due to the conflicting nature of the fault tolerance requirements that must be met by a multitolerant...
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
Matthew Arnold, Martin Vechev, Eran Yahav
Article No.: 2
Coping with software defects that occur in the post-deployment stage is a challenging problem: bugs may occur only when the system uses a specific configuration and only under certain usage scenarios. Nevertheless, halting production systems until...
Expressive and Extensible Parameter Passing for Distributed Object Systems
Eli Tilevich, Sriram Gopal
Article No.: 3
In modern distributed object systems, reference parameters to a remote method are passed according to their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. Further, to...
How Well Do Search Engines Support Code Retrieval on the Web?
Susan Elliott Sim, Medha Umarji, Sukanya Ratanotayanon, Cristina V. Lopes
Article No.: 4
Software developers search the Web for various kinds of source code for diverse reasons. In a previous study, we found that searches varied along two dimensions: the size of the search target (e.g., block, subsystem, or system) and the motivation...
Lattice-Based Sampling for Path Property Monitoring
Madeline M. Diep, Matthew B. Dwyer, Sebastian Elbaum
Article No.: 5
Runtime monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences of program states and events, however, can result in significant...
The Choice Calculus: A Representation for Software Variation
Martin Erwig, Eric Walkingshaw
Article No.: 6
Many areas of computer science are concerned with some form of variation in software---from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for...