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
2012
- "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
- "Eve: Execute-Verify Replication for Multi-Core Servers," M. Kaptritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, M. Dahlin, In review, May 2012 . abstract bibtex
- "Robustness in the Salus scalable block store," Y. Wang, L. Ganesh, M. Kapritsos, J. Kirubanandam, P. Mahajan, Z. Ren, M. Silberstein, L. Alvisi, M. Dahlin, M. Walfish, In review, May 2012 . abstract bibtex
- "Jana: Towards privacy preserving apps," S. Lee, E. Wong, D. Goel, M. Dahlin, V. Shmatikov, In review, May 2012 . pdf abstract 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