Mike Barnett - RankMe

11 papers A* 1B 1Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. Proc. VLDB Endow. 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
2018	—	`conf`	FASTER: A Concurrent Key-Value Store with In-Place Updates. SIGMOD Conference Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett
2018	J	`jnl`	FASTER: An Embedded Concurrent Key-Value Store for State Management. Proc. VLDB Endow. Badrish Chandramouli, Guna Prasaad, Donald Kossmann, Justin J. Levandoski, James Hunter, Mike Barnett
2016	A*	`conf`	Making Sense of Temporal Queries with Interactive Visualization. CHI Leilani Battle, Danyel Fisher, Robert DeLine, Mike Barnett, Badrish Chandramouli, Jonathan Goldstein
2015	—	`conf`	Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. ICSE (1) Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri
2015	J	`jnl`	Trill: Engineering a Library for Diverse Analytics. IEEE Data Eng. Bull. Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, James F. Terwilliger
2014	J	`jnl`	Trill: A High-Performance Incremental Query Processor for Diverse Analytics. Proc. VLDB Endow. Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, Robert DeLine, John C. Platt, James F. Terwilliger, John Wernsing
2013	—	`conf`	Stat!: an interactive analytics environment for big data. SIGMOD Conference Mike Barnett, Badrish Chandramouli, Robert DeLine, Steven Mark Drucker, Danyel Fisher, Jonathan Goldstein, Patrick Morrison, John C. Platt
2011	J	`jnl`	Specification and verification: the Spec# experience. Commun. ACM Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
2010	B	`conf`	Code Contracts for .NET: Runtime Verification and So Much More. RV Mike Barnett
2004	—	`conf`	The Spec# Programming System: An Overview. CASSIS Mike Barnett, K. Rustan M. Leino, Wolfram Schulte