1. Peter Alvaro , Neil Conway , Joseph M. Hellerstein , and William R. Marczak . 2011. Consistency Analysis in Bloom: a CALM and Collected Approach . In Conference on Innovative Data Systems Research. Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. 2011. Consistency Analysis in Bloom: a CALM and Collected Approach. In Conference on Innovative Data Systems Research.
2. Peter Alvaro , William R. Marczak , Neil Conway , Joseph M. Hellerstein , David Maier , and Russell Sears . 2011 . Dedalus: Datalog in Time and Space . In Datalog Reloaded, Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 262--281. Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears. 2011. Dedalus: Datalog in Time and Space. In Datalog Reloaded, Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 262--281.
3. Mark Bickford . 2009. Component Specification Using Event Classes . In Component-Based Software Engineering, Grace A. Lewis, Iman Poernomo, and Christine Hofmeister (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 140--155. Mark Bickford. 2009. Component Specification Using Event Classes. In Component-Based Software Engineering, Grace A. Lewis, Iman Poernomo, and Christine Hofmeister (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 140--155.
4. Exploiting virtual synchrony in distributed systems
5. Brief Announcement: What's Live? Understanding Distributed Consensus