Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael Vaughn
dblp:36/10322
· DBLP profile ↗
4ranked-venue papers
0as first author
0since 2021 · last 2017
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3Systems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
3 papers |
Software testing · 48% Program synthesis and code generation · 48% Operating systems · 3% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Storage systems · 78% Performance modeling and evaluation · 17% Cloud and datacenter computing · 4% |
Topics — the 9 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
mutation testing |
0.3 | 1 | 2017 | The care and feeding of wild-caught mutants · ESEC/SIGSOFT FSE 2017 |
Program synthesis and code generation
programming by example |
0.3 | 1 | 2017 | NoFAQ: synthesizing command repairs from examples · ESEC/SIGSOFT FSE 2017 |
Program synthesis and code generation
rule learning |
0.3 | 1 | 2017 | NoFAQ: synthesizing command repairs from examples · ESEC/SIGSOFT FSE 2017 |
Software testing
test suite evaluation |
0.3 | 1 | 2017 | The care and feeding of wild-caught mutants · ESEC/SIGSOFT FSE 2017 |
Storage systems
file systems |
0.3 | 2 | 2012 | A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications · ACM Trans. Comput. Syst. 2012 A file is not a file: understanding the I/O behavior of Apple desktop applications · SOSP 2011 |
Storage systems
i/o workload characterization |
0.3 | 2 | 2012 | A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications · ACM Trans. Comput. Syst. 2012 A file is not a file: understanding the I/O behavior of Apple desktop applications · SOSP 2011 |
Performance modeling and evaluation
workload characterization |
0.1 | 1 | 2012 | A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications · ACM Trans. Comput. Syst. 2012 |
Storage systems › file systems
file synchronization |
0.1 | 1 | 2011 | A file is not a file: understanding the I/O behavior of Apple desktop applications · SOSP 2011 |
Cloud and datacenter computing
cloud storage |
0.0 | 1 | 2011 | A file is not a file: understanding the I/O behavior of Apple desktop applications · SOSP 2011 |
Methods — techniques the papers use, named apart from their topics
pattern matching · 0.3mutation testing · 0.3crowdsourcing · 0.3workload analysis · 0.2workload tracing · 0.1i/o pattern analysis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2017 | The care and feeding of wild-caught mutantsabstractMutation testing of a test suite and a program provides a way to measure the quality of the test suite. In essence, mutation testing is a form of sensitivity testing: by running mutated versions of the program against the test suite, mutation testing measures the suite's sensitivity for detecting bugs that a programmer might introduce into the program. This paper introduces a technique to improve mutation testing that we call wild-caught mutants; it provides a method for creating potential faults that are more closely coupled with changes made by actual programmers. This technique allows the mutation tester to have more certainty that the test suite is sensitive to the kind of changes that have been observed to have been made by programmers in real-world cases. David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps |
ESEC/SIGSOFT FSE | 2 |
| 2017 | NoFAQ: synthesizing command repairs from examplesabstractCommand-line tools are confusing and hard to use due to their cryptic error messages and lack of documentation. Novice users often resort to online help-forums for finding corrections to their buggy commands, but have a hard time in searching precisely for posts that are relevant to their problem and then applying the suggested solutions to their buggy command. We present NoFAQ, a tool that uses a set of rules to suggest possible fixes when users write buggy commands that trigger commonly occurring errors. The rules are expressed in a language called FIXIT and each rule pattern-matches against the user's buggy command and corresponding error message, and uses these inputs to produce a possible fixed command. NoFAQ automatically learns FIXIT rules from examples of buggy and repaired commands. We evaluate NoFAQ on two fronts. First, we use 92 benchmark problems drawn from an existing tool and show that NoFAQ is able to synthesize rules for 81 benchmark problems in real time using just 2 to 5 input-output examples for each rule. Second, we run our learning algorithm on the examples obtained through a crowd-sourcing interface and show that the learning algorithm scales to large sets of examples. Loris D'Antoni, Rishabh Singh, Michael Vaughn |
ESEC/SIGSOFT FSE | 3 |
| 2012 | A File Is Not a File: Understanding the I/O Behavior of Apple Desktop ApplicationsabstractWe analyze the I/O behavior of iBench , a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typical file-system workload studies, including the complex organization of modern files, the lack of pure sequential access, the influence of underlying frameworks on I/O patterns, the widespread use of file synchronization and atomic operations, and the prevalence of threads. Our results have strong ramifications for the design of next generation local and cloud-based storage systems. Tyler Caraza-Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
ACM Trans. Comput. Syst. | 3 |
| 2011 | A file is not a file: understanding the I/O behavior of Apple desktop applicationsabstractWe analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typical file-system workload studies, including the complex organization of modern files, the lack of pure sequential access, the influence of underlying frameworks on I/O patterns, the widespread use of file synchronization and atomic operations, and the prevalence of threads. Our results have strong ramifications for the design of next generation local and cloud-based storage systems. Tyler Caraza-Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
SOSP | 3 |