Michael D. Ernst

	2012
98		Colin S. Gordon, Michael D. Ernst, Dan Grossman: Static lock capabilities for deadlock freedom. TLDI 2012: 67-78
97		Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst: The HaLoop approach to large-scale iterative data analysis. VLDB J. 21(2): 169-190 (2012)
	2011
96		Brian Robinson, Michael D. Ernst, Jeff H. Perkins, Vinay Augustine, Nuo Li: Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. ASE 2011: 23-32
95		Sai Zhang, Cheng Zhang, Michael D. Ernst: Automated documentation inference to explain failed tests. ASE 2011: 63-72
94		Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19
93		Werner Dietl, Michael D. Ernst, Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011: 333-357
92		Fausto Spoto, Michael D. Ernst: Inference of field initialization. ICSE 2011: 231-240
91		Michael Bayne, Richard Cook, Michael D. Ernst: Always-available static and dynamic feedback. ICSE 2011: 521-530
90		Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller: Building and using pluggable type-checkers. ICSE 2011: 681-690
89		Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst: Combined static and dynamic automated test generation. ISSTA 2011: 353-363
88		Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178
87		Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst: Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE 2011: 267-277
86		Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447
85		Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst: Synoptic: studying logged behavior with inferred models. SIGSOFT FSE 2011: 448-451
84		Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter: Refactoring using type constraints. ACM Trans. Program. Lang. Syst. 33(3): 9 (2011)
83		Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson: Mining temporal invariants from partially ordered logs. Operating Systems Review 45(3): 39-46 (2011)
	2010
82		Todd W. Schiller, Michael D. Ernst: Rethinking the economics of software engineering. FoSER 2010: 325-330
81		Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin: Speculative analysis: exploring future development states of software. FoSER 2010: 59-64
80		Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst: Ownership and immutability in generic Java. OOPSLA 2010: 598-617
79		Michael D. Ernst, Mahmood Ali: Building and using pluggable type systems. SIGSOFT FSE 2010: 375-376
78		Michael D. Ernst: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP 2010: 1-2
77		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)
76		Yingyi Bu, Bill Howe, Magdalena Balazinska, Michael D. Ernst: HaLoop: Efficient Iterative Data Processing on Large Clusters. PVLDB 3(1): 285-296 (2010)
	2009
75		Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE 2009: 295-296
74		Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst: Automatic creation of SQL Injection and cross-site scripting attacks. ICSE 2009: 199-209
73		Danny Dig, John Marrero, Michael D. Ernst: Refactoring sequential Java code for concurrency via concurrent libraries. ICSE 2009: 397-407
72		Danny Dig, John Marrero, Michael D. Ernst: Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. ICSE Companion 2009: 399-400
71		Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: a solver for string constraints. ISSTA 2009: 105-116
70		Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard: Automatically patching errors in deployed software. SOSP 2009: 87-102
69		Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009)
	2008
68		Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565
67		Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641
66		Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst: Practical pluggable types for java. ISSTA 2008: 201-212
65		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding bugs in dynamic web applications. ISSTA 2008: 261-272
64		Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2008: 723-724
63		Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst: Enforcing reference and object immutability in Java. OOPSLA Companion 2008: 725-726
62		Matthew M. Papi, Mahmood Ali, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in java. OOPSLA Companion 2008: 759-760
61		Stephen McCamant, Michael D. Ernst: Quantitative information flow as network flow capacity. PLDI 2008: 193-205
	2007
60		Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113
59		Sunghun Kim, Michael D. Ernst: Which warnings should I fix first? ESEC/SIGSOFT FSE 2007: 45-54
58		Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst: Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84
57		Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer: Refactoring for Parameterizing Java Classes. ICSE 2007: 437-446
56		Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
55		Sunghun Kim, Michael D. Ernst: Prioritizing Warning Categories by Analyzing Software History. MSR 2007: 27
54		Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
53		Matthew M. Papi, Michael D. Ernst: Compile-time type-checking for custom type qualifiers in Java. OOPSLA Companion 2007: 809-810
52		Carlos Pacheco, Michael D. Ernst: Randoop: feedback-directed random testing for Java. OOPSLA Companion 2007: 815-816
51		Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867
50		Stephen McCamant, Michael D. Ernst: A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46
49		Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3): 35-45 (2007)
	2006
48		Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68
47		Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard: Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244
46		Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst: Dynamic inference of abstract types. ISSTA 2006: 255-265
	2005
45		Michael D. Ernst, Thomas P. Jensen: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 ACM 2005
44		David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123
43		Carlos Pacheco, Michael D. Ernst: Eclat: Automatic Generation and Classification of Test Inputs. ECOOP 2005: 504-527
42		Amy Williams, William Thies, Michael D. Ernst: Static Deadlock Detection for Java Libraries. ECOOP 2005: 602-629
41		Michael D. Ernst, John Chapin: The groupthink specification exercise. ICSE 2005: 617-618
40		David Saff, Michael D. Ernst: Test factoring: focusing test suites for the task at hand. ICSE 2005: 656
39		David Saff, Michael D. Ernst: Continuous testing in eclipse. ICSE 2005: 668-669
38		Matthew S. Tschantz, Michael D. Ernst: Javari: adding reference immutability to Java. OOPSLA 2005: 211-230
37		Shay Artzi, Michael D. Ernst: Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330
36		Michael D. Ernst: The Groupthink Specification Exercise. Software Education and Training Sessions @ ICSE 2005: 89-107
35		Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)
	2004
34		Stephen McCamant, Michael D. Ernst: Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464
33		Yuriy Brun, Michael D. Ernst: Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490
32		Lee Lin, Michael D. Ernst: Improving the adaptability of multi-mode systems via program steering. ISSTA 2004: 206-216
31		David Saff, Michael D. Ernst: An experimental evaluation of continuous testing during development. ISSTA 2004: 76-85
30		Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst: Converting java programs to use generic libraries. OOPSLA 2004: 15-34
29		Adrian Birka, Michael D. Ernst: A practical type system and language for reference immutability. OOPSLA 2004: 35-49
28		Michael D. Ernst: Invited Talk Static and dynamic analysis: synergy and duality. PASTE 2004: 35
27		David Saff, Michael D. Ernst: Mock object creation for test factoring. PASTE 2004: 49-51
26		Jeff H. Perkins, Michael D. Ernst: Efficient incremental algorithms for dynamic detection of likely invariants. SIGSOFT FSE 2004: 23-32
25		David Saff, Michael D. Ernst: Continuous Testing in Eclipse. Electr. Notes Theor. Comput. Sci. 107: 103-117 (2004)
24		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
	2003
23		Stephen McCamant, Michael D. Ernst: Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296
22		Michael Harder, Jeff Mellen, Michael D. Ernst: Improving Test Suites via Operational Abstraction. ICSE 2003: 60-73
21		Jonathan E. Cook, Michael D. Ernst: ICSE Workshop on Dynamic Analysis (WODA 2003). ICSE 2003: 795-796
20		David Saff, Michael D. Ernst: Reducing wasted development time via continuous testing. ISSRE 2003: 281-292
19		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297
18		Jonathan E. Cook, Michael D. Ernst: Summary: ICSE workshop on dynamic analysis (WODA 2003). ACM SIGSOFT Software Engineering Notes 28(6): 4 (2003)
17		Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)
	2002
16		Jeremy W. Nimmer, Michael D. Ernst: Automatic generation of program specifications. ISSTA 2002: 229-239
15		Jeremy W. Nimmer, Michael D. Ernst: Invariant inference for static checking. SIGSOFT FSE 2002: 11-20
14		Elizabeth L. Wilmer, Michael D. Ernst: Graphs induced by Gray codes. Discrete Mathematics 257(2-3): 585-598 (2002)
13		Michael D. Ernst, Greg J. Badros, David Notkin: An Empirical Analysis of C Preprocessor Use. IEEE Trans. Software Eng. 28(12): 1146-1170 (2002)
	2001
12		David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.: Panel: Perspectives on Software Engineering. ICSE 2001: 699-702
11		Michael D. Ernst: Summary of Dynamically Discovering Likely Program Invariants. ICSM 2001: 540-544
10		Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin: Automated Support for Program Refactoring Using Invariants. ICSM 2001: 736-743
9		Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2): 255-276 (2001)
8		Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. Software Eng. 27(2): 99-123 (2001)
	2000
7		Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin: Quickly detecting relevant program invariants. ICSE 2000: 449-458
	1999
6		Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin: Dynamically Discovering Likely Program Invariants to Support Program Evolution. ICSE 1999: 213-224
5		Michael D. Ernst: Research Summary for Dynamic Detection of Program Invariants. ICSE 1999: 718-719
	1998
4		Michael D. Ernst, Craig S. Kaplan, Craig Chambers: Predicate Dispatching: A Unified Theory of Dispatch. ECOOP 1998: 186-211
	1997
3		Michael D. Ernst, Todd D. Millstein, Daniel S. Weld: Automatic SAT-Compilation of Planning Problems. IJCAI 1997: 1169-1177
	1995
2		Michael D. Ernst: Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995 ACM 1995
	1994
1		Daniel Weise, Roger F. Crew, Michael D. Ernst, Bjarne Steensgaard: Value Dependence Graphs: Representation without Taxation. POPL 1994: 297-310

Coauthor Index

1	Jenny Abrahamson	[85]
2	Mahmood Ali	[58] [62] [63] [64] [66] [79] [80]
3	Saman P. Amarasinghe	[70]
4	Thomas E. Anderson	[83]
5	Shay Artzi	[37] [44] [58] [60] [65] [68] [69] [75] [77] [94]
6	Vinay Augustine	[96]
7	Jonathan Bachrach	[70]
8	Greg J. Badros	[13]
9	Ittai Balaban	[84]
10	Magdalena Balazinska	[76] [97]
11	Thomas Ball	[56]
12	Michael Bayne	[91]
13	Ivan Beschastnikh	[83] [85] [87]
14	Adrian Birka	[29]
15	Yuriy Brun	[33] [81] [83] [85] [86] [87] [88]
16	Yingyi Bu	[76] [89] [97]
17	Lilian Burdy	[17] [35]
18	Michael Carbin	[70]
19	Craig Chambers	[4]
20	John Chapin	[41]
21	Yoonsik Cheon	[17] [35]
22	Jake Cockrell	[6] [8]
23	David R. Cok	[17] [35]
24	Jonathan E. Cook	[18] [21]
25	Richard Cook	[91]
26	Telmo Luis Correa Jr.	[51] [66]
27	Roger F. Crew	[1]
28	Adam Czeisler	[7]
29	Brian Demsky	[47]
30	Werner Dietl (Werner Michael Dietl)	[90] [93]
31	Stephanie Dietzel	[90]
32	Danny Dig	[65] [72] [73] [77]
33	Julian Dolby	[65] [77]
34	Marc Donner	[12]
35	Alan Donovan	[30]
36	Robert M. Fuhrer	[57] [84]
37	Vijay Ganesh	[71] [94]
38	Stephen J. Garland	[19] [24]
39	David Glasser	[60]
40	Colin S. Gordon	[98]
41	Michael M. Gorlick	[12]
42	William G. Griswold	[6] [7] [8] [10]
43	Dan Grossman	[98]
44	Philip J. Guo	[46] [47] [49] [71] [74] [94]
45	Michael Harder	[22]
46	Reid Holmes	[81] [86] [88]
47	Pieter Hooimeijer	[71] [94]
48	Bill Howe	[76] [97]
49	Karthick Jayaraman	[74]
50	Thomas P. Jensen	[45]
51	Craig S. Kaplan	[4]
52	Yoshio Kataoka	[10]
53	Dilsun Kirli Kaynar	[19] [24]
54	Adam Kiezun	[30] [57] [58] [60] [65] [69] [71] [74] [77] [84] [94]
55	Sunghun Kim	[55] [59] [68] [70] [75]
56	Joseph Kiniry (Joseph R. Kiniry)	[17] [35]
57	Arvind Krishnamurthy	[83]
58	Shuvendu K. Lahiri	[56]
59	Samuel Larsen	[70]
60	Gary T. Leavens	[17] [35]
61	K. Rustan M. Leino	[17] [35]
62	Nuo Li	[96]
63	Paley Li	[80]
64	Lee Lin	[32]
65	Nancy A. Lynch	[19] [24]
66	Darko Marinov	[48]
67	John Marrero	[72] [73]
68	Stephen McCamant	[23] [34] [46] [47] [49] [50] [61]
69	Jeff Mellen	[22]
70	Todd D. Millstein	[3]
71	Peter Müller	[93]
72	Kivanç Muslu	[90]
73	Jeremy W. Nimmer	[9] [15] [16]
74	David Notkin	[6] [7] [8] [10] [12] [13] [81] [86] [88]
75	Carlos Pacheco	[43] [48] [49] [52] [56] [70]
76	Matthew M. Papi	[53] [54] [62] [63] [64] [66]
77	Amit M. Paradkar	[65] [77]
78	Jeff H. Perkins	[26] [44] [46] [47] [49] [66] [70] [96]
79	Erik Poll	[17] [35]
80	Alex Potanin	[58] [80]
81	Jaime Quinonez	[51] [67] [69]
82	Martin C. Rinard	[47] [70]
83	Brian Robinson	[96]
84	David Saff	[20] [25] [27] [31] [39] [40] [44] [89]
85	Todd W. Schiller	[82] [90]
86	Sigurd Schneider	[87]
87	Frank Sherwood	[70]
88	Stelios Sidiroglou (Stelios Sidiroglou-Douskos)	[70]
89	Michael Sloan	[87]
90	Fausto Spoto	[92]
91	Bjarne Steensgaard	[1]
92	Greg Sullivan	[70]
93	Bjorn De Sutter	[84]
94	William Thies	[42]
95	Frank Tip	[57] [65] [77] [84]
96	Matthew S. Tschantz	[30] [38] [49] [67]
97	Daniel Weise	[1]
98	Daniel S. Weld	[3]
99	E. James Whitehead Jr. (Jim Whitehead)	[12]
100	Amy Williams	[42]
101	Elizabeth L. Wilmer	[14]
102	Toh Ne Win	[19] [24]
103	Weng-Fai Wong	[70]
104	Chen Xiao	[49]
105	Tao Xie	[48]
106	Cheng Zhang	[95]
107	Sai Zhang	[89] [95]
108	Yoav Zibin	[58] [63] [70] [80]
109	Marcelo d'Amorim	[48]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page