Mike Barnett

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 4

Top Topics

Mutual Exclusion

Query Processor

Interactive Visual

Top Venues

Proc. VLDB Endow.

SIGMOD Conference

Publications

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
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. Proc. VLDB Endow. 13 (5) (2020)
Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett
FASTER: A Concurrent Key-Value Store with In-Place Updates. SIGMOD Conference (2018)
Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett
FASTER: An Embedded Concurrent Key-Value Store for State Management. Proc. VLDB Endow. 11 (12) (2018)
Leilani Battle, Danyel Fisher, Robert DeLine, Mike Barnett, Badrish Chandramouli, Jonathan Goldstein
Making Sense of Temporal Queries with Interactive Visualization. CHI (2016)
Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, James F. Terwilliger
Trill: Engineering a Library for Diverse Analytics. IEEE Data Eng. Bull. 38 (4) (2015)
Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. ICSE (1) (2015)
Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Robert DeLine, John C. Platt, James F. Terwilliger, John Wernsing
Trill: A High-Performance Incremental Query Processor for Diverse Analytics. Proc. VLDB Endow. 8 (4) (2014)
Mike Barnett, Badrish Chandramouli, Robert DeLine, Steven Mark Drucker, Danyel Fisher, Jonathan Goldstein, Patrick Morrison, John C. Platt
Stat!: an interactive analytics environment for big data. SIGMOD Conference (2013)
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
Specification and verification: the Spec# experience. Commun. ACM 54 (6) (2011)
Mike Barnett
Code Contracts for .NET: Runtime Verification and So Much More. RV (2010)
Mike Barnett, Meredith Houle
Using geographic information systems to support student learning through urban ecology. ICLS (1) (2008)
Kurt Squire, Mike Barnett, Jamillah M. Grant, Thomas Higginbotham
Electromagnetism Supercharged! Learning Physics with Digital Simulation Games. ICLS (2004)
Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
The Spec# Programming System: An Overview. CASSIS (2004)