Michael Barnett

Michael Barnett's AcademicInfluence.com Rankings

Michael Barnett

Computer Science

#12419

World Rank

#13265

Historical Rank

Database

#9520

World Rank

#10035

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Michael Barnett's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Michael Barnett Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Michael Barnett's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Spec# Programming System: An Overview (2004) (1196)
Boogie: A Modular Reusable Verifier for Object-Oriented Programs (2005) (952)
Verification of Object-Oriented Programs with Invariants (2003) (374)
Weakest-precondition of unstructured programs (2005) (255)
Trill: A High-Performance Incremental Query Processor for Diverse Analytics (2014) (205)
Specification and verification (2011) (131)
Friends Need a Bit More: Maintaining Invariants Over Shared State (2004) (128)
Embedded contract languages (2010) (122)
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets (2015) (119)
FASTER: A Concurrent Key-Value Store with In-Place Updates (2018) (116)
The Spec# Programming System: Challenges and Directions (2005) (91)
Towards a Tool Environment for Model-Based Testing with AsmL (2003) (77)
Runtime verification of .NET contracts (2003) (72)
Spying on Components: A Runtime Verification Technique (2001) (66)
Towards imperative modules: reasoning about invariants and sharing of mutable state (2004) (55)
The ABCs of specification: asml, behavior, and components (2001) (52)
Stat!: an interactive analytics environment for big data (2013) (42)
99 . 44 % pure : Useful Abstractions in Specifications (2004) (40)
Validating use-cases with the AsmL test tool (2003) (32)
Boogie Meets Regions: A Verification Experience Report (2008) (30)
Contracts, Components, and their Runtime Verification on the .NET Platform (2002) (29)
Using Abstract State Machines at Microsoft: A Case Study (2000) (26)
Exploiting the synergy between automated-test-generation and programming-by-contract (2009) (24)
An abstract interpretation framework for refactoring with application to extract methods with contracts (2012) (23)
Conformance Checking of Components Against Their Non-deterministic Specifications (2001) (22)
Annotations for (more) Precise Points-to Analysis (2007) (22)
Serious Specification for Composing Components (2003) (20)
A.M.B.R.O.S.I.A (2020) (18)
Model-Based Testing with AsmL .NET (2003) (17)
Tempe: Live scripting for live data (2015) (16)
Integrating a set of contract checking tools into Visual Studio (2012) (15)
Allowing State Changes in Specifications (2006) (12)
FASTER: An Embedded Concurrent Key-Value Store for State Management (2018) (11)
Tempe: An Interactive Data Science Environment for Exploration of Temporal and Streaming Data (2014) (11)
Trill: Engineering a Library for Diverse Analytics (2015) (9)
Making Sense of Temporal Queries with Interactive Visualization (2016) (9)
A semantic integrated development environment (2012) (8)
The Trill Incremental Analytics Engine (2014) (7)
Static analysis for optimizing big data queries (2017) (6)
Code Contracts for .NET: Runtime Verification and So Much More (2010) (5)
Using AsmL for Runtime Verification (2003) (4)
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines (2019) (4)
To Goto Where No Statement Has Gone Before (2010) (4)
Formal Methods and Software Engineering (2004) (3)
Boogie Meets Regions: a Verification Experience Report (Extended Version) (2008) (2)
Cross-Language Optimizations in Big Data Systems: A Case Study of SCOPE (2017) (2)
99 . 44 % pure : Useful Abstractions in Specifications ( draft as of April 29 (2004) (2)
Get Me Here: Using Verification Tools to Answer Developer Questions (2014) (2)
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) (2004) (1)
SAVCBS 2003: Specification and Verification of Component-Based Systems (2003) (1)
Scenario-oriented Modeling in AsmL and its Instrumentation for Testing (2017) (1)
Specification and verification of component-based systems 2007 (2007) (1)
SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings (2004) (1)
Conformance Checking of Components Against Their (2001) (1)
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004 (2004) (0)
Specifications in the Development Process: An AsmL Demonstration (2003) (0)
Allowing State Changes in Specifications February 25, 2006 (2006) (0)
Jumping the ORDER BY Barrier in Large-Scale Pattern Matching (2017) (0)
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings (2004) (0)
Specification and verification of component-based systems 2007 (2007) (0)
Verifying Invariants in Object-Oriented Programs (2017) (0)
SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems (2005) (0)
Model-Based Testing with AsmL . NET DRAFT 1 Model-Based Testing with AsmL . NET (2003) (0)
3rd international workshop on developing tools as plug-ins (TOPI 2013) (2013) (0)
Allowing State Changes in Specifications February (2006) (0)
Workshop Paper Selection Committee (2004) (0)
.NET Contracts: Attaching Specifications to Components (2003) (0)