Michael Barnett
#188,277
Most Influential Person Now
Michael Barnett's AcademicInfluence.com Rankings
Michael Barnettcomputer-science Degrees
Computer Science
#12419
World Rank
#13265
Historical Rank
Database
#9520
World Rank
#10035
Historical Rank

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)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)
This paper list is powered by the following services: