Mike Dahlin's (and Students') Selected Publications
All (by category) |
All (by date) |
Recent Papers (All papers sorted by date All papers sorted by category) |
Selected Papers (All papers sorted by date All papers sorted by category) |
Byzantine Fault Tolerance and Beyond |
PRACTI and PADRE |
SDIMS |
Data Replication and Consistency |
WebOS: Support for Web and Grid services |
Shangri-La: Programming next-generation programmable routers |
Code Releases |
Consistent 0-Administrator Personal Environment |
Load Balancing |
xFS and Cluster IO |
Parallel Programming Models |
Advanced architectures and operating systems
2013
- "Robustness in the Salus scalable block store," Y. Wang, M. Kapritsos, Z. Ren, P. Mahajan, L. Alvisi, M. Dahlin, NSDI2013, May 2013 . abstract bibtex
- "PiBox: A Platform for Privacy Preserving Apps," S. Lee, E. Wong, D. Goel, M. Dahlin, V. Shmatikov, NSDI2013, May 2013 . bibtex
2012
- "Eve: Execute-Verify Replication for Multi-Core Servers," M. Kaptritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, M. Dahlin, OSDI 2012 , Oct 2012 . pdf bibtex
- "Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication," Y. Wang, L. Alvisi, M. Dahlin, USENIX Annual Technical Conference, Jun 2012 . pdf bibtex
2011
- "Depot: Cloud Storage with Minimal Trust," P. Mahajan, S. Setty, S. Lee, A. Clement, L. Alvisi, M. Dahlin, M. Walfish, ACM Transactions on Computer Systems (TOCS), 29 (4 ) Dec 2011 . pdf bibtex
- "Regret-freedom isnt free," E. Wong, I. Levy, L. Alvisi, A. Clement, M. Dahlin, 15th International Conference on Principles of Distributed Systems (OPODIS 2011 ), Dec 2011 . bibtex
- "Toward the Verification of a Simple Hypervisor," M. Dahlin, R. Johnson, R. Krug, M. McCoyd, S. Ray, B. Young, 10th International Workshop on the ACL2 Theorem Prover and its Applications, Nov 2011 . pdf bibtex
- "Regret-freedom isnt free," E. Wong, I. Levy, L. Alvisi, A. Clement, M. Dahlin, Computer Science Department, University of Texas at Austin(TR-11-20) May 2011 . pdf bibtex
- "Consistency, Availability, Convergence," P. Mahajan, L. Alvisi, M. Dahlin, Computer Science Department, University of Texas at Austin(TR-11-22) May 2011 . pdf bibtex
- "Volunteer Cloud Computing: MapReduce over the Internet," F. Costa, L. Silva, M. Dahlin, Fifth Workshop on Desktop Grids and Volunteer Computing Systems (PCGRID 2011 ), May 2011 . bibtex
- "Eve: Execute-Verify Replication for Multi-Core Servers," M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, M. Dahlin, Draft, Mar 2011 . pdf bibtex
Back to Mike Dahlin's home page
Back to Mike Dahlin's papers