Toward the Verification of a Simple Hypervisor
Dahlin, Mike, Johnson, Ryan, Krug, Robert Bellarmine, McCoyd, Michael, Young, William
Published in Electronic proceedings in theoretical computer science (20.10.2011)
Published in Electronic proceedings in theoretical computer science (20.10.2011)
Get full text
Journal Article
Scaling to the end of silicon with EDGE architectures
Burger, D., Keckler, S.W., McKinley, K.S., Dahlin, M., John, L.K., Lin, C., Moore, C.R., Burrill, J., McDonald, R.G., Yoder, W.
Published in Computer (Long Beach, Calif.) (01.07.2004)
Published in Computer (Long Beach, Calif.) (01.07.2004)
Get full text
Journal Article
Improving availability and performance with application-specific data replication
Lei Gao, Dahlin, M., Nayate, A., Jiandan Zheng, Arun lyengar
Published in IEEE transactions on knowledge and data engineering (01.01.2005)
Published in IEEE transactions on knowledge and data engineering (01.01.2005)
Get full text
Journal Article
Building a Hypervisor on a Formally Verifiable Protection Layer
McCoyd, M., Krug, R. B., Goel, D., Dahlin, M., Young, W.
Published in 2013 46th Hawaii International Conference on System Sciences (01.01.2013)
Published in 2013 46th Hawaii International Conference on System Sciences (01.01.2013)
Get full text
Conference Proceeding
Regret Freedom Isn’t Free
Wong, Edmund L., Levy, Isaac, Alvisi, Lorenzo, Clement, Allen, Dahlin, Mike
Published in Principles of Distributed Systems
Published in Principles of Distributed Systems
Get full text
Book Chapter
The potential costs and benefits of long-term prefetching for content distribution
Venkataramani, Arun, Yalagandula, Praveen, Kokku, Ravindranath, Sharif, Sadia, Dahlin, Mike
Published in Computer communications (01.03.2002)
Published in Computer communications (01.03.2002)
Get full text
Journal Article
Self-Tuning, Bandwidth-Aware Monitoring for Dynamic Data Streams
Jain, N., Yalagandula, P., Dahlin, M., Yin Zhang
Published in 2009 IEEE 25th International Conference on Data Engineering (01.03.2009)
Published in 2009 IEEE 25th International Conference on Data Engineering (01.03.2009)
Get full text
Conference Proceeding
BAR primer
Clement, A., Li, H., Napper, J., Martin, J.-P., Alvisi, L., Dahlin, M.
Published in 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) (01.06.2008)
Published in 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) (01.06.2008)
Get full text
Conference Proceeding
Dual-Quorum Replication for Edge Services
Gao, Lei, Dahlin, Mike, Zheng, Jiandan, Alvisi, Lorenzo, Iyengar, Arun
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
High throughput Byzantine fault tolerance
Kotla, R., Dahlin, M.
Published in International Conference on Dependable Systems and Networks, 2004 (2004)
Published in International Conference on Dependable Systems and Networks, 2004 (2004)
Get full text
Conference Proceeding
Toward the Verification of a Simple Hypervisor
Dahlin, Mike, Johnson, Ryan, Krug, Robert Bellarmine, McCoyd, Michael, Young, William
Published in arXiv.org (21.10.2011)
Published in arXiv.org (21.10.2011)
Get full text
Paper
Journal Article
Shruti: A Self-Tuning Hierarchical Aggregation System
Yalagandula, P., Dahlin, M.
Published in First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) (01.07.2007)
Published in First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) (01.07.2007)
Get full text
Conference Proceeding
Towards Self-Configuring Hardware for Distributed Computer Systems
Wildstrom, J., Stone, P., Witchel, E., Mooney, R.J., Dahlin, M.
Published in Second International Conference on Autonomic Computing (ICAC'05) (2005)
Published in Second International Conference on Autonomic Computing (ICAC'05) (2005)
Get full text
Conference Proceeding