Michael Barnett

45 papers A* 3A 4B 2C 1Misc 1Journal 11Unranked 23

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