The formal derivation of distributed programs from systolic arrays. - Michael Barnett 001 (SPDP, 1990)

The Synthesis of Systolic Programs. - Michael Barnett 001; Christian Lengauer (Research Directions in High-Level Parallel Programming Languages, 1991)

A Systolizing Compilation Scheme: Abstract. - Michael Barnett 001; Christian Lengauer (ICPP (2), 1991)

Towards Systolizing Compilation. - Christian Lengauer; Michael Barnett 001; Duncan G. Hudson III (Distributed Comput., 1991)

Unimodularity Considered Non-Essential. - Michael Barnett 001; Christian Lengauer (CONPAR, 1992)

Unimodularity and the Prallelization of Loops. - Michael Barnett 001; Christian Lengauer (Parallel Process. Lett., 1992)

Global Combine on Mesh Architectures with Wormhole Routing. - Michael Barnett 001; Richard J. Littlefield; David G. Payne; Robert A. van de Geijn (IPPS, 1993)

A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. - Michael Barnett 001; Christian Lengauer (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Efficient Communication Primitives on Mesh Architectures with Hardware Routing. - Michael Barnett 001; Richard J. Littlefield; David G. Payne; Robert A. van de Geijn (PPSC, 1993)

Building a high-performance collective communication library. - Michael Barnett 001; Lance Shuler; Satya Gupta; David G. Payne; Robert A. van de Geijn; Jerrell Watts (SC, 1994)

Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors. - Michael Barnett 001; Phillip J. Windley (Comput. Sci. Educ., 1994)

(In)Formal Methods: Teaching Program Derivation Via the Moore Method. - James A. Foster; Michael Barnett 001; Karen Van Houten; Luke Sheneman (Comput. Sci. Educ., 1995)

Global Combine Algorithms for 2-D Meshes with Wormhole Routing. - Michael Barnett 001; Richard J. Littlefield; David G. Payne; Robert A. van de Geijn (J. Parallel Distributed Comput., 1995)

Broadcasting on Meshes with Wormhole Routing. - Michael Barnett 001; David G. Payne; Robert A. van de Geijn; Jerrell Watts (J. Parallel Distributed Comput., 1996)

Using Abstract State Machines at Microsoft: A Case Study. - Michael Barnett 001; Egon Börger; Yuri Gurevich; Wolfram Schulte; Margus Veanes (Abstract State Machines, 2000)

The ABCs of specification: asml, behavior, and components. - Michael Barnett 001; Wolfram Schulte (Informatica (Slovenia), 2001)

Using AsmL for Runtime Verification. - Michael Barnett 001; Wolfram Schulte; Nikolai Tillmann (Abstract State Machines, 2003)

Towards a Tool Environment for Model-Based Testing with AsmL. - Michael Barnett 001; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FATES, 2003)

Validating Use-Cases with the AsmL Test Tool. - Michael Barnett 001; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (QSIC, 2003)

Runtime verification of .NET contracts. - Michael Barnett 001; Wolfram Schulte (J. Syst. Softw., 2003)

The Spec# Programming System: An Overview. - Mike Barnett 001; K. Rustan M. Leino; Wolfram Schulte (CASSIS, 2004)

Friends Need a Bit More: Maintaining Invariants Over Shared State. - Michael Barnett 001; David A. Naumann (MPC, 2004)

Verification of Object-Oriented Programs with Invariants. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; K. Rustan M. Leino; Wolfram Schulte (J. Object Technol., 2004)

Boogie: A Modular Reusable Verifier for Object-Oriented Programs. - Michael Barnett 001; Bor-Yuh Evan Chang; Robert DeLine; Bart Jacobs 002; K. Rustan M. Leino (FMCO, 2005)

Weakest-precondition of unstructured programs. - Michael Barnett 001; K. Rustan M. Leino (PASTE, 2005)

The Spec# Programming System: Challenges and Directions. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; Bart Jacobs 002; K. Rustan M. Leino; Wolfram Schulte; Herman Venter (VSTTE, 2005)

Allowing State Changes in Specifications. - Michael Barnett 001; David A. Naumann; Wolfram Schulte; Qi Sun (ETRICS, 2006)

Towards imperative modules: Reasoning about invariants and sharing of mutable state. - David A. Naumann; Michael Barnett 001 (Theor. Comput. Sci., 2006)

Specification and verification of component-based systems 2007. - Jonathan Aldrich; Michael Barnett 001; Dimitra Giannakopoulou; Gary T. Leavens; Natasha Sharygina (ESEC/SIGSOFT FSE, 2007)

Boogie Meets Regions: A Verification Experience Report. - Anindya Banerjee 001; Michael Barnett 001; David A. Naumann (VSTTE, 2008)

Exploiting the synergy between automated-test-generation and programming-by-contract. - Michael Barnett 001; Manuel Fähndrich; Peli de Halleux; Francesco Logozzo; Nikolai Tillmann (ICSE Companion, 2009)

Code Contracts for .NET: Runtime Verification and So Much More. - Mike Barnett 001 (RV, 2010)

Embedded contract languages. - Manuel Fähndrich; Michael Barnett 001; Francesco Logozzo (SAC, 2010)

To Goto Where No Statement Has Gone Before. - Michael Barnett 001; K. Rustan M. Leino (VSTTE, 2010)

Specification and verification: the Spec# experience. - Mike Barnett 001; Manuel Fähndrich; K. Rustan M. Leino; Peter Müller 001; Wolfram Schulte; Herman Venter (Commun. ACM, 2011)

Integrating a set of contract checking tools into visual studio. - Manuel Fähndrich; Michael Barnett 001; Daan Leijen; Francesco Logozzo (TOPI@ICSE, 2012)

An abstract interpretation framework for refactoring with application to extract methods with contracts. - Patrick Cousot; Radhia Cousot; Francesco Logozzo; Michael Barnett 001 (OOPSLA, 2012)

A semantic integrated development environment. - Francesco Logozzo; Michael Barnett 001; Manuel Fähndrich; Patrick Cousot; Radhia Cousot (SPLASH, 2012)

3rd international workshop on developing tools as plug-ins (TOPI 2013). - Michael Barnett 001; Martin Nordio; Judith Bishop; Karin Koogan Breitman; Diego Garbervetsky (ICSE, 2013)

Stat!: an interactive analytics environment for big data. - Mike Barnett 001; Badrish Chandramouli; Robert DeLine; Steven Mark Drucker; Danyel Fisher; Jonathan Goldstein; Patrick Morrison; John C. Platt (SIGMOD Conference, 2013)

Trill: A High-Performance Incremental Query Processor for Diverse Analytics. - Badrish Chandramouli; Jonathan Goldstein; Mike Barnett 001; Robert DeLine; John C. Platt; James F. Terwilliger; John Wernsing (Proc. VLDB Endow., 2014)

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. - Mike Barnett 001; Christian Bird; João Brunet; Shuvendu K. Lahiri (ICSE (1), 2015)

Tempe: Live scripting for live data. - Robert DeLine; Danyel Fisher; Badrish Chandramouli; Jonathan Goldstein; Michael Barnett 001; James F. Terwilliger; John Wernsing (VL/HCC, 2015)

Trill: Engineering a Library for Diverse Analytics. - Badrish Chandramouli; Jonathan Goldstein; Mike Barnett 001; James F. Terwilliger (IEEE Data Eng. Bull., 2015)

Making Sense of Temporal Queries with Interactive Visualization. - Leilani Battle; Danyel Fisher; Robert DeLine; Mike Barnett 001; Badrish Chandramouli; Jonathan Goldstein (CHI, 2016)

Static analysis for optimizing big data queries. - Diego Garbervetsky; Zvonimir Pavlinovic; Michael Barnett 001; Madanlal Musuvathi; Todd Mytkowicz; Edgardo Zoppi (ESEC/SIGSOFT FSE, 2017)

Cross-language optimizations in big data systems: a case study of SCOPE. - Marija Selakovic; Michael Barnett 001; Madan Musuvathi; Todd Mytkowicz (ICSE (SEIP), 2018)

FASTER: A Concurrent Key-Value Store with In-Place Updates. - Badrish Chandramouli; Guna Prasaad; Donald Kossmann; Justin J. Levandoski; James Hunter; Mike Barnett 001 (SIGMOD Conference, 2018)

FASTER: An Embedded Concurrent Key-Value Store for State Management. - Badrish Chandramouli; Guna Prasaad; Donald Kossmann; Justin J. Levandoski; James Hunter; Mike Barnett 001 (Proc. VLDB Endow., 2018)

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. - Guoqing Harry Xu; Margus Veanes; Michael Barnett 001; Madan Musuvathi; Todd Mytkowicz; Ben Zorn 001; Huan He; Haibo Lin (SOSP, 2019)

Managing Stress: The Needs of Autistic Adults in Video Calling. - Annuska Zolyomi; Andrew Begel; Jennifer Frances Waldern; John C. Tang; Michael Barnett 001; Edward Cutrell; Daniel McDuff; Sean Andrist; Meredith Ringel Morris (Proc. ACM Hum. Comput. Interact., 2019)

Lessons Learned in Designing AI for Autistic Adults. - Andrew Begel; John C. Tang; Sean Andrist; Michael Barnett 001; Tony Carbary; Piali Choudhury; Edward Cutrell; Alberto Fung; Sasa Junuzovic; Daniel McDuff; Kael Rowan; Shibashankar Sahoo; et al. (ASSETS, 2020)

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. - Jonathan Goldstein; Ahmed S. Abdelhamid; Mike Barnett 001; Sebastian Burckhardt; Badrish Chandramouli; Darren Gehring; Niel Lebeck; Christopher Meiklejohn; Umar Farooq Minhas; Ryan Newton; Rahee Peshawaria; Tal Zaccai; et al. (Proc. VLDB Endow., 2020)

CodeWalk: Facilitating Shared Awareness in Mixed-Ability Collaborative Software Development. - Venkatesh Potluri; Maulishree Pandey; Andrew Begel; Michael Barnett 001; Scott Reitherman (ASSETS, 2022)