Michael Barnett

According to our database, Michael Barnett authored at least 54 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

CodeWalk: Facilitating Shared Awareness in Mixed-Ability Collaborative Software Development.

Venkatesh Potluri, Maulishree Pandey, Andrew Begel, Michael Barnett, Scott Reitherman

Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility, 2022

2020

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.

Jonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Peshawaria, Tal Zaccai, Irene Zhang

Proc. VLDB Endow., 2020

Lessons Learned in Designing AI for Autistic Adults.

Andrew Begel, John C. Tang, Sean Andrist, Michael Barnett, Tony Carbary, Piali Choudhury, Edward Cutrell, Alberto Fung, Sasa Junuzovic, Daniel McDuff, Kael Rowan, Shibashankar Sahoo, Jennifer Frances Waldern, Jessica Wolk, Hui Zheng, Annuska Zolyomi

Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

2019

Managing Stress: The Needs of Autistic Adults in Video Calling.

Annuska Zolyomi, Andrew Begel, Jennifer Frances Waldern, John C. Tang, Michael Barnett, Edward Cutrell, Daniel McDuff, Sean Andrist, Meredith Ringel Morris

Proc. ACM Hum. Comput. Interact., 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.

Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

FASTER: An Embedded Concurrent Key-Value Store for State Management.

Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett

Proc. VLDB Endow., 2018

FASTER: A Concurrent Key-Value Store with In-Place Updates.

Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett

Proceedings of the 2018 International Conference on Management of Data, 2018

Cross-language optimizations in big data systems: a case study of SCOPE.

Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017

Static analysis for optimizing big data queries.

Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Making Sense of Temporal Queries with Interactive Visualization.

Leilani Battle, Danyel Fisher, Robert DeLine, Mike Barnett, Badrish Chandramouli, Jonathan Goldstein

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015

Trill: Engineering a Library for Diverse Analytics.

Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, James F. Terwilliger

IEEE Data Eng. Bull., 2015

Tempe: Live scripting for live data.

Robert DeLine, Danyel Fisher, Badrish Chandramouli, Jonathan Goldstein, Michael Barnett, James F. Terwilliger, John Wernsing

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets.

Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Trill: A High-Performance Incremental Query Processor for Diverse Analytics.

Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Robert DeLine, John C. Platt, James F. Terwilliger, John Wernsing

Proc. VLDB Endow., 2014

2013

Stat!: an interactive analytics environment for big data.

Mike Barnett, Badrish Chandramouli, Robert DeLine, Steven Mark Drucker, Danyel Fisher, Jonathan Goldstein, Patrick Morrison, John C. Platt

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

3rd international workshop on developing tools as plug-ins (TOPI 2013).

Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

A semantic integrated development environment.

Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot

Proceedings of the SPLASH'12, 2012

An abstract interpretation framework for refactoring with application to extract methods with contracts.

Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Integrating a set of contract checking tools into visual studio.

Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2011

Specification and verification: the Spec# experience.

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter

Commun. ACM, 2011

2010

To Goto Where No Statement Has Gone Before.

Michael Barnett, K. Rustan M. Leino

Proceedings of the Verified Software: Theories, 2010

Embedded contract languages.

Manuel Fähndrich, Michael Barnett, Francesco Logozzo

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Code Contracts for .NET: Runtime Verification and So Much More.

Mike Barnett

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Boogie Meets Regions: A Verification Experience Report.

Anindya Banerjee, Michael Barnett, David A. Naumann

Proceedings of the Verified Software: Theories, 2008

2007

Specification and verification of component-based systems 2007.

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

Towards imperative modules: Reasoning about invariants and sharing of mutable state.

David A. Naumann, Michael Barnett

Theor. Comput. Sci., 2006

Allowing State Changes in Specifications.

Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

The Spec# Programming System: Challenges and Directions.

Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter

Proceedings of the Verified Software: Theories, 2005

Weakest-precondition of unstructured programs.

Michael Barnett, K. Rustan M. Leino

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Verification of Object-Oriented Programs with Invariants.

Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte

J. Object Technol., 2004

Friends Need a Bit More: Maintaining Invariants Over Shared State.

Michael Barnett, David A. Naumann

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

The Spec# Programming System: An Overview.

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte

Proceedings of the Construction and Analysis of Safe, 2004

2003

Runtime verification of .NET contracts.

Michael Barnett, Wolfram Schulte

J. Syst. Softw., 2003

Validating Use-Cases with the AsmL Test Tool.

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 2003

Using AsmL for Runtime Verification.

Michael Barnett, Wolfram Schulte, Nikolai Tillmann

Proceedings of the Abstract State Machines, 2003

2001

The ABCs of specification: asml, behavior, and components.

Michael Barnett, Wolfram Schulte

Informatica (Slovenia), 2001

2000

Using Abstract State Machines at Microsoft: A Case Study.

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Proceedings of the Abstract State Machines, 2000

1996

Broadcasting on Meshes with Wormhole Routing.

Michael Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts

J. Parallel Distributed Comput., 1996

1995

Global Combine Algorithms for 2-D Meshes with Wormhole Routing.

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn

J. Parallel Distributed Comput., 1995

(In)Formal Methods: Teaching Program Derivation Via the Moore Method.

James A. Foster, Michael Barnett, Karen Van Houten, Luke Sheneman

Comput. Sci. Educ., 1995

1994

Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.

Michael Barnett, Phillip J. Windley

Comput. Sci. Educ., 1994

Building a high-performance collective communication library.

Michael Barnett, Lance Shuler, Satya Gupta, David G. Payne, Robert A. van de Geijn, Jerrell Watts

Proceedings of the Proceedings Supercomputing '94, 1994

1993

Efficient Communication Primitives on Mesh Architectures with Hardware Routing.

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn

Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.

Michael Barnett, Christian Lengauer

Proceedings of the Functional Programming, 1993

Global Combine on Mesh Architectures with Wormhole Routing.

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn

Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992

Unimodularity and the Prallelization of Loops.

Michael Barnett, Christian Lengauer

Parallel Process. Lett., 1992

Unimodularity Considered Non-Essential.

Michael Barnett, Christian Lengauer

Proceedings of the Parallel Processing: CONPAR 92, 1992

1991

Towards Systolizing Compilation.

Christian Lengauer, Michael Barnett, Duncan G. Hudson III

Distributed Comput., 1991

A Systolizing Compilation Scheme: Abstract.

Michael Barnett, Christian Lengauer

Proceedings of the International Conference on Parallel Processing, 1991

The Synthesis of Systolic Programs.

Michael Barnett, Christian Lengauer

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

The formal derivation of distributed programs from systolic arrays.

Michael Barnett

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990