Michael Barnett

Affiliations:
  • Microsoft Research, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
CodeWalk: Facilitating Shared Awareness in Mixed-Ability Collaborative Software Development.
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.
Proc. VLDB Endow., 2020

Lessons Learned in Designing AI for Autistic Adults.
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.
Proc. ACM Hum. Comput. Interact., 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018
FASTER: An Embedded Concurrent Key-Value Store for State Management.
Proc. VLDB Endow., 2018

FASTER: A Concurrent Key-Value Store with In-Place Updates.
Proceedings of the 2018 International Conference on Management of Data, 2018

Cross-language optimizations in big data systems: a case study of SCOPE.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017
Static analysis for optimizing big data queries.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Making Sense of Temporal Queries with Interactive Visualization.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015
Trill: Engineering a Library for Diverse Analytics.
IEEE Data Eng. Bull., 2015

Tempe: Live scripting for live data.
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Trill: A High-Performance Incremental Query Processor for Diverse Analytics.
Proc. VLDB Endow., 2014

2013
Stat!: an interactive analytics environment for big data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

3rd international workshop on developing tools as plug-ins (TOPI 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
A semantic integrated development environment.
Proceedings of the SPLASH'12, 2012

An abstract interpretation framework for refactoring with application to extract methods with contracts.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Integrating a set of contract checking tools into visual studio.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

2011
Specification and verification: the Spec# experience.
Commun. ACM, 2011

2010
To Goto Where No Statement Has Gone Before.
Proceedings of the Verified Software: Theories, 2010

Embedded contract languages.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Code Contracts for .NET: Runtime Verification and So Much More.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Exploiting the synergy between automated-test-generation and programming-by-contract.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Boogie Meets Regions: A Verification Experience Report.
Proceedings of the Verified Software: Theories, 2008

2007
Specification and verification of component-based systems 2007.
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.
Theor. Comput. Sci., 2006

Allowing State Changes in Specifications.
Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005
The Spec# Programming System: Challenges and Directions.
Proceedings of the Verified Software: Theories, 2005

Weakest-precondition of unstructured programs.
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.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Verification of Object-Oriented Programs with Invariants.
J. Object Technol., 2004

Friends Need a Bit More: Maintaining Invariants Over Shared State.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

The Spec# Programming System: An Overview.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Runtime verification of .NET contracts.
J. Syst. Softw., 2003

Validating Use-Cases with the AsmL Test Tool.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.
Proceedings of the Formal Approaches to Software Testing, 2003

Using AsmL for Runtime Verification.
Proceedings of the Abstract State Machines, 2003

2001
The ABCs of specification: asml, behavior, and components.
Informatica (Slovenia), 2001

2000
Using Abstract State Machines at Microsoft: A Case Study.
Proceedings of the Abstract State Machines, 2000

1996
Broadcasting on Meshes with Wormhole Routing.
J. Parallel Distributed Comput., 1996

1995
Global Combine Algorithms for 2-D Meshes with Wormhole Routing.
J. Parallel Distributed Comput., 1995

(In)Formal Methods: Teaching Program Derivation Via the Moore Method.
Comput. Sci. Educ., 1995

1994
Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.
Comput. Sci. Educ., 1994

Building a high-performance collective communication library.
Proceedings of the Proceedings Supercomputing '94, 1994

1993
Efficient Communication Primitives on Mesh Architectures with Hardware Routing.
Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.
Proceedings of the Functional Programming, 1993

Global Combine on Mesh Architectures with Wormhole Routing.
Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992
Unimodularity and the Prallelization of Loops.
Parallel Process. Lett., 1992

Unimodularity Considered Non-Essential.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1991
Towards Systolizing Compilation.
Distributed Comput., 1991

A Systolizing Compilation Scheme: Abstract.
Proceedings of the International Conference on Parallel Processing, 1991

The Synthesis of Systolic Programs.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990
The formal derivation of distributed programs from systolic arrays.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990


  Loading...