Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael Vaughn

dblp:36/10322 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing
mutation testing
0.312017
The care and feeding of wild-caught mutants · ESEC/SIGSOFT FSE 2017
Program synthesis and code generation
programming by example
0.312017
NoFAQ: synthesizing command repairs from examples · ESEC/SIGSOFT FSE 2017
Program synthesis and code generation
rule learning
0.312017
NoFAQ: synthesizing command repairs from examples · ESEC/SIGSOFT FSE 2017
Software testing
test suite evaluation
0.312017
The care and feeding of wild-caught mutants · ESEC/SIGSOFT FSE 2017
Storage systems
file systems
0.322012
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.322012
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.112012
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.112011
A file is not a file: understanding the I/O behavior of Apple desktop applications · SOSP 2011
Cloud and datacenter computing
cloud storage
0.012011
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
YearPublicationVenuePosition
2017 The care and feeding of wild-caught mutants
abstract
Mutation 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 FSE2
2017 NoFAQ: synthesizing command repairs from examples
abstract
Command-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 FSE3
2012 A File Is Not a File: Understanding the I/O Behavior of Apple Desktop Applications
abstract
We 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 applications
abstract
We 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
SOSP3