Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(388)
Shay Artzi
13
Stephen McCamant
13
Adam Kiezun
12
David E. Saff
11
Jeff H. Perkins
11
Conferences
(21)
ICSE
23
OOPSLA
8
ISSTA
6
ECOOP
6
ASE
4
Journals
(32)
ACM Sigsoft Software Engineering Notes
7
ENTCS
6
SIGPLAN
4
TSE
3
INT J CANCER
2
Keywords
(349)
Embed
Subscribe
Academic
Authors
Michael D. Ernst
Edit
Michael D. Ernst
University of Washington
Publications: 187
|
Citations: 4270
|
G-Index: 62
|
H-Index: 33
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
388 co-authors
from 1989 to 2011
; Cited by
4854 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(187)
BibTeX
|
RIS
|
RefWorks
Download
Building and using pluggable type-checkers
(
Citations: 1
)
Werner Dietl
,
Stephanie Dietzel
,
Michael D. Ernst
,
Kivanç Muslu
,
Todd W. Schiller
Conference:
International Conference on Software Engineering - ICSE
, pp. 681-690, 2011
A Science Driven Production Cyberinfrastructure - the Open Science Grid
(
Citations: 1
)
Mine Altunay
,
Paul Avery
,
Kent Blackburn
,
Brian Bockelman
,
Michael Ernst
,
Dan Fraser
,
Robert Quick
,
Robert Gardner
,
Sebastien Goasguen
,
Tanya Levshina
,
Miron Livny
,
John McGee
http://academic.research.microsoft.com/io.ashx?type=5&id=39319059&selfId1=1200530&selfId2=0&maxNumber=12&query=
Journal:
Journal of Grid Computing - GRID
, vol. 9, no. 2, pp. 201-218, 2011
Inference of field initialization
(
Citations: 1
)
Fausto Spoto
,
Michael D. Ernst
Conference:
International Conference on Software Engineering - ICSE
, pp. 231-240, 2011
Refactoring using type constraints
Frank Tip
,
Robert M. Fuhrer
,
Adam Kieżun
,
Michael D. Ernst
,
Ittai Balaban
,
Bjorn De Sutter
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 3, pp. 1-47, 2011
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Vijay Ganesh
,
Adam Kieżun
,
Shay Artzi
,
Philip J. Guo
,
Pieter Hooimeijer
,
Michael Ernst
Published in 2011.
Order by:
Citations
(4270 times by 2938 publications)
A practical guide for using statistical tests to assess randomized algorithms in software engineering
(
Citations: 9
)
Andrea Arcuri
,
Lionel C. Briand
Conference:
International Conference on Software Engineering - ICSE
, pp. 1-10, 2011
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
Precise null-pointer analysis
(
Citations: 4
)
Fausto Spoto
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 219-252, 2011
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
(
Citations: 3
)
Renee C. Bryce
,
Sreedevi Sampath
,
Atif M. Memon
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, pp. 48-64, 2011
Information-Theoretic Bounds for Differentially Private Mechanisms
(
Citations: 3
)
Gilles Barthe
,
Boris Kopf
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 191-204, 2011
Comments