Michael Barnett

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 6

Top Topics

Static Analysis

Software Development

Lessons Learned

Top Venues

ESEC/SIGSOFT FSE

Publications

Venkatesh Potluri, Maulishree Pandey, Andrew Begel, Michael Barnett, Scott Reitherman
CodeWalk: Facilitating Shared Awareness in Mixed-Ability Collaborative Software Development. ASSETS (2022)
Andrew Begel, John Tang, Sean Andrist, Michael Barnett, Tony Carbary, Piali Choudhury, Edward Cutrell, Alberto Fung, Sasa Junuzovic, Daniel J. McDuff, Kael Rowan, Shibashankar Sahoo, Jennifer Frances Waldern, Jessica Wolk, Hui Zheng, Annuska Zolyomi
Lessons Learned in Designing AI for Autistic Adults. ASSETS (2020)
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP (2019)
Annuska Zolyomi, Andrew Begel, Jennifer Frances Waldern, John Tang, Michael Barnett, Edward Cutrell, Daniel J. McDuff, Sean Andrist, Meredith Ringel Morris
Managing Stress: The Needs of Autistic Adults in Video Calling. Proc. ACM Hum. Comput. Interact. 3 (CSCW) (2019)
Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz
Cross-language optimizations in big data systems: a case study of SCOPE. ICSE (SEIP) (2018)
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE (2017)
Robert DeLine, Danyel Fisher, Badrish Chandramouli, Jonathan Goldstein, Michael Barnett, James F. Terwilliger, John Wernsing
Tempe: Live scripting for live data. VL/HCC (2015)
Michael Barnett, Martin Nordio, Judith Bishop, Karin Koogan Breitman, Diego Garbervetsky
3rd international workshop on developing tools as plug-ins (TOPI 2013). ICSE (2013)
Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA (2012)
Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
Integrating a set of contract checking tools into visual studio. TOPI@ICSE (2012)
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
A semantic integrated development environment. SPLASH (2012)
Michael Barnett, K. Rustan M. Leino
To Goto Where No Statement Has Gone Before. VSTTE (2010)
Manuel Fähndrich, Michael Barnett, Francesco Logozzo
Embedded contract languages. SAC (2010)
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion (2009)
Anindya Banerjee, Michael Barnett, David A. Naumann
Boogie Meets Regions: A Verification Experience Report. VSTTE (2008)
Gary T. Leavens, Dimitra Giannakopoulou, Jonathan Aldrich, Michael Barnett, Natasha Sharygina
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) (2007)
Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (2007)
Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
Allowing State Changes in Specifications. ETRICS (2006)
David A. Naumann, Michael Barnett
Towards imperative modules: Reasoning about invariants and sharing of mutable state. Theor. Comput. Sci. 365 (1-2) (2006)
Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. FMCO (2005)
Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
The Spec# Programming System: Challenges and Directions. VSTTE (2005)
Michael Barnett, K. Rustan M. Leino
Weakest-precondition of unstructured programs. PASTE (2005)
Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
Verification of Object-Oriented Programs with Invariants. J. Object Technol. 3 (6) (2004)
David A. Naumann, Michael Barnett
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. LICS (2004)
Michael Barnett, David A. Naumann
Friends Need a Bit More: Maintaining Invariants Over Shared State. MPC (2004)
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Towards a Tool Environment for Model-Based Testing with AsmL. FATES (2003)
Michael Barnett, Wolfram Schulte, Nikolai Tillmann
Using AsmL for Runtime Verification. Abstract State Machines (2003)
Michael Barnett, Wolfram Schulte
Runtime verification of .NET contracts. J. Syst. Softw. 65 (3) (2003)
Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Validating Use-Cases with the AsmL Test Tool. QSIC (2003)
Michael Barnett, Wolfram Schulte
The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25 (4) (2001)
Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines (2000)
Michael Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts
Broadcasting on Meshes with Wormhole Routing. J. Parallel Distributed Comput. 35 (2) (1996)
Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
Global Combine Algorithms for 2-D Meshes with Wormhole Routing. J. Parallel Distributed Comput. 24 (2) (1995)
James A. Foster, Michael Barnett, Karen Van Houten, Luke Sheneman
(In)Formal Methods: Teaching Program Derivation Via the Moore Method. Comput. Sci. Educ. 6 (1) (1995)
Michael Barnett, Phillip J. Windley
Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors. Comput. Sci. Educ. 5 (1) (1994)
Michael Barnett, Lance Shuler, Satya Gupta, David G. Payne, Robert A. van de Geijn, Jerrell Watts
Building a high-performance collective communication library. SC (1994)
Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
Efficient Communication Primitives on Mesh Architectures with Hardware Routing. PPSC (1993)
Michael Barnett, Christian Lengauer
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
Global Combine on Mesh Architectures with Wormhole Routing. IPPS (1993)
Michael Barnett, Christian Lengauer
Unimodularity Considered Non-Essential. CONPAR (1992)
Michael Barnett, Christian Lengauer
Unimodularity and the Prallelization of Loops. Parallel Process. Lett. 2 (1992)
Michael Barnett, Christian Lengauer
A Systolizing Compilation Scheme: Abstract. ICPP (2) (1991)
Christian Lengauer, Michael Barnett, Duncan G. Hudson III
Towards Systolizing Compilation. Distributed Comput. 5 (1991)
Michael Barnett, Christian Lengauer
The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages (1991)
Michael Barnett
The formal derivation of distributed programs from systolic arrays. SPDP (1990)