22 citations · 38 across the 5 of their papers we have counts for
6 papers
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari +5
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance prob…
A Graphical Interactive Debugger for Distributed Systems
Doug Woos, Zachary Tatlock, Michael D. Ernst +1
Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequen…
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer +1
We present new data and semantic parsing methods for the problem of mapping English sentences to Bash commands (NL2Bash). Our long-term goal is to enable any user to perform operat…
An Empirical Study of Fault Localization Families and Their Combinations
Daming Zou, Jingjing Liang, Yingfei Xiong +2
The performance of fault localization techniques is critical to their adoption in practice. This paper reports on an empirical study of a wide range of fault localization technique…
Semantics for Locking Specifications
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…
Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis
René Just, Michael D. Ernst, Gordon Fraser
Mutation analysis evaluates test suites and testing techniques by measuring how well they detect seeded defects (mutants). Even though well established in research, mutation analys…