BibSLEIGH — Michael_D

Travelled to:

1 × Belgium
1 × Croatia
1 × Cyprus
1 × Finland
1 × France
1 × Hungary
1 × India
1 × Ireland
1 × Japan
1 × Norway
1 × Russia
1 × Spain
1 × The Netherlands
2 × China
2 × Italy
2 × Switzerland
3 × Canada
3 × United Kingdom
30 × USA

Collaborated with:

S.Zhang Y.Brun D.Notkin ∅ S.McCamant S.Kim A.Kiezun S.Artzi J.H.Perkins D.Saff W.Dietl K.Muslu M.S.Tschantz R.Holmes M.Ali P.J.Guo C.Pacheco J.W.Nimmer R.Just T.W.Schiller Z.Tatlock I.Beschastnikh W.G.Griswold K.Weitz H.Lü D.Jalali E.Torlak A.Krishnamurthy P.Panchekha C.S.Gordon D.Grossman G.Fraser G.Kim S.Srisakaokul W.Huang A.Milanova J.Li F.Spoto Y.Bu J.Chapin A.Birka D.Dig C.Loncaric J.Abrahamson S.Kamil Y.Zibin F.Tip V.Ganesh P.Hooimeijer A.Potanin M.d'Amorim C.Zhang P.Müller M.Bayne R.Cook J.Marrero J.Quinonez A.Williams W.Thies M.Harder J.Mellen C.S.Kaplan C.Chambers D.Woos M.Vakilian A.Phaosawasdi R.E.Johnson K.Donohue F.Coward B.Howe M.Balazinska K.Jayaraman D.Glasser R.M.Fuhrer S.K.Lahiri T.Ball A.Donovan Y.Kataoka A.Czeisler J.Cockrell D.Weise R.F.Crew B.Steensgaard L.Swart M.C.Rinard B.Robinson V.Augustine N.Li S.Schneider M.Sloan S.Dietzel P.Li M.M.Papi T.L.C.Jr. T.Xie D.Marinov T.N.Win S.J.Garland D.K.Kaynar N.A.Lynch Adam T. Geller L.Inozemtseva B.Demsky J.R.Wilcox X.Wang T.E.Anderson J.Wuttke W.Lam J.Dolby A.M.Paradkar P.Barros S.Millstein P.Vines S.Pernsteiner X.W.0005 J.Jacky S.Larsen S.P.Amarasinghe J.Bachrach M.Carbin F.Sherwood S.Sidiroglou G.Sullivan W.Wong

Talks about:

test (16) infer (15) java (13) program (12) dynam (11) static (9) type (9) automat (8) invari (8) generat (7)

Person: Michael D. Ernst

DBLP: Ernst:Michael_D=

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1994

2015

2016

2019

2016

2018

Wrote 92 papers:

ICSE-v1-2015-VakilianPEJ #named: Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.
ISSTA-2015-ZhangE #detection #fault: Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification: Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
FSE-2014-JustJIEHF #fault #question #testing: Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling: Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSE-2014-SchillerDCE #case study #contract #specification #tool support: Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
ICSE-2014-ZhangE #configuration management #question: Which configuration option should I change? (SZ, MDE), pp. 152–163.
ISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance: Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTA-2014-JustJE #database #fault #java #named #source code #testing: Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.
ISSTA-2014-WeitzKSE #string #type system: A type system for format strings (KW, GK, SS, MDE), pp. 127–137.
ISSTA-2014-WeitzSKE #java #string: A format string checker for Java (KW, SS, GK, MDE), pp. 441–444.
ISSTA-2014-ZhangJWMLEN #empirical #independence: Empirically revisiting the test independence assumption (SZ, DJ, JW, KM, WL, MDE, DN), pp. 385–396.
ECOOP-2013-GordonDEG #java #user interface: Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
ESEC-FSE-2013-MusluBEN #analysis: Making offline analyses continuous (KM, YB, MDE, DN), pp. 323–333.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification: Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSE-2013-ZhangE #automation #fault: Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
ISSTA-2013-ZhangLE #automation #evolution #user interface #workflow: Automatically repairing broken workflows for evolving GUI applications (SZ, HL, MDE), pp. 45–55.
PLDI-2013-GordonEG #alias #refinement: Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
ECOOP-2012-HuangDME: Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.
ICSE-2012-LiE #detection #named: CBCD: Cloned buggy code detector (JL, MDE), pp. 310–320.
ICSE-2012-MusluBHEN #ide #recommendation: Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.
ISSTA-2012-ZhangLE #fault #parallel #thread #user interface: Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
OOPSLA-2012-HuangMDE: Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
OOPSLA-2012-MusluBHEN #analysis #development #ide #recommendation: Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.
OOPSLA-2012-SchillerE #specification: Reducing the barriers to writing verified specifications (TWS, MDE), pp. 95–112.
ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing: Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASE-2011-ZhangZE #automation #documentation #testing: Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.
CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
ECOOP-2011-DietlEM #static analysis: Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named: Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling: Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ESEC-FSE-2011-BrunHEN #collaboration #detection: Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.
ESEC-FSE-2011-BrunHEN11a #named #precise: Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ICSE-2011-BayneCE #feedback: Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.
ICSE-2011-DietlDEMS #using: Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.
ICSE-2011-SpotoE: Inference of field initialization (FS, MDE), pp. 231–240.
ISSTA-2011-ZhangSBE #automation #generative #testing: Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
FSE-2010-ErnstA #type system #using: Building and using pluggable type systems (MDE, MA), pp. 375–376.
OOPSLA-2010-ZibinPLAE #java: Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
TAP-2010-Ernst #feedback #how #proving #testing: How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback (MDE), pp. 1–2.
VLDB-2010-BuHBE #clustering #named #performance #scalability: HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.
ESEC-FSE-2009-ArtziKE #named: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications (SA, SK, MDE), pp. 295–296.
ICSE-2009-DigME #concurrent #java #library #refactoring: Refactoring sequential Java code for concurrency via concurrent libraries (DD, JM, MDE), pp. 397–407.
ICSE-2009-KiezunGJE #automation #injection #sql: Automatic creation of SQL Injection and cross-site scripting attacks (AK, PJG, KJ, MDE), pp. 199–209.
ISSTA-2009-KiezunGGHE #constraints #named #string: HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.
SOSP-2009-PerkinsKLABCPSSSWZER #automation #fault: Automatically patching errors in deployed software (JHP, SK, SL, SPA, JB, MC, CP, FS, SS, GS, WFW, YZ, MDE, MCR), pp. 87–102.
ECOOP-2008-ArtziKE #named: ReCrash: Making Software Failures Reproducible by Preserving Object States (SA, SK, MDE), pp. 542–565.
ECOOP-2008-QuinonezTE: Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
ISSTA-2008-ArtziKDTDPE #debugging #web: Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
ISSTA-2008-PapiACPE #java: Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
PLDI-2008-McCamantE #capacity #data flow #network: Quantitative information flow as network flow capacity (SM, MDE), pp. 193–205.
ASE-2007-ArtziKGE #analysis: Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ESEC-FSE-2007-KimE #question: Which warnings should I fix first? (SK, MDE), pp. 45–54.
ESEC-FSE-2007-ZibinPAAKE #java #using: Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
ICSE-2007-KiezunETF #java #refactoring: Refactoring for Parameterizing Java Classes (AK, MDE, FT, RMF), pp. 437–446.
ICSE-2007-PachecoLEB #generative #random testing #testing: Feedback-Directed Random Test Generation (CP, SKL, MDE, TB), pp. 75–84.
MSR-2007-KimE #category theory: Prioritizing Warning Categories by Analyzing Software History (SK, MDE), p. 27.
ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
ISSTA-2006-DemskyEGMPR #consistency #data type #specification: Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
ISSTA-2006-GuoPME #data type: Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
ASE-2005-SaffAPE #automation #java: Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.
ECOOP-2005-PachecoE #automation #classification #generative #named #testing: Eclat: Automatic Generation and Classification of Test Inputs (CP, MDE), pp. 504–527.
ECOOP-2005-WilliamsTE #concurrent #detection #java #library: Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.
ICSE-2005-ErnstC #specification: The groupthink specification exercise (MDE, JC), pp. 617–618.
ICSE-2005-SaffE05a #eclipse #testing: Continuous testing in eclipse (DS, MDE), pp. 668–669.
OOPSLA-2005-TschantzE #java #named: Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
ECOOP-2004-McCamantE #component #identification #multi: Early Identification of Incompatibilities in Multi-component Upgrades (SM, MDE), pp. 440–464.
FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance: Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.
ICSE-2004-BrunE #fault #machine learning: Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
OOPSLA-2004-BirkaE #type system: A practical type system and language for reference immutability (AB, MDE), pp. 35–49.
OOPSLA-2004-DonovanKTE #java #library #source code: Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
PASTE-2004-Ernst #dynamic analysis: Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
PASTE-2004-SaffE: Mock object creation for test factoring (DS, MDE), pp. 49–51.
ESEC-FSE-2003-McCamantE #component #predict #problem: Predicting problems caused by component upgrades (SM, MDE), pp. 287–296.
ICSE-2003-HarderME #abstraction #testing: Improving Test Suites via Operational Abstraction (MH, JM, MDE), pp. 60–73.
VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification: Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
FSE-2002-NimmerE #invariant #static analysis: Invariant inference for static checking (JWN, MDE), pp. 11–20.
ISSTA-2002-NimmerE #automation #generative #specification: Automatic generation of program specifications (JWN, MDE), pp. 229–239.
ICSM-2001-Ernst #invariant #summary: Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.
ICSM-2001-KataokaEGN #automation #invariant #refactoring #using: Automated Support for Program Refactoring Using Invariants (YK, MDE, WGG, DN), pp. 736–743.
ICSE-2000-ErnstCGN #detection #invariant: Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.
ICSE-1999-Ernst #detection #invariant #research #summary: Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.
ICSE-1999-ErnstCGN #evolution #invariant: Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.
ECOOP-1998-ErnstKC #formal method: Predicate Dispatching: A Unified Theory of Dispatch (MDE, CSK, CC), pp. 186–211.
POPL-1994-WeiseCES #dependence #graph #representation: Value Dependence Graphs: Representation without Taxation (DW, RFC, MDE, BS), pp. 297–310.
ASE-2015-BarrosJMVDdE #android #control flow #java #static analysis: Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.
ASE-2015-MusluSBE #development: Development History Granularity Transformations (N) (KM, LS, YB, MDE), pp. 697–702.
CAV-2016-PernsteinerLTTW #modelling #safety #using: Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.
OOPSLA-2016-WeitzWTEKT #protocol #scalability #smt #verification: Scalable verification of border gateway protocol configurations with an SMT solver (KW, DW, ET, MDE, AK, ZT), pp. 765–780.
OOPSLA-2019-PanchekhaETK #composition #layout #verification #web: Modular verification of web page layout (PP, MDE, ZT, SK), p. 26.
PLDI-2016-LoncaricTE #performance #synthesis: Fast synthesis of fast collections (CL, ET, MDE), pp. 355–368.
PLDI-2018-PanchekhaGETK #layout #verification #web: Verifying that web pages have accessible layout (PP, ATG, MDE, ZT, SK), pp. 1–14.