Michael Dalton

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Distributed Computing

Industrial Environment

Top Venues

Softw. Syst. Model.

Publications

Michael Marty, Marc de Kruijf, Jacob Adriaens, Christopher Alfeld, Sean Bauer, Carlo Contavalli, Michael Dalton, Nandita Dukkipati, William C. Evans, Steve D. Gribble, Nicholas Kidd, Roman Kononov, Gautam Kumar, Carl Mauer, Emily Musick, Lena E. Olson, Erik Rubow, Michael Ryan, Kevin Springborn, Paul Turner, Valas Valancius, Xi Wang, Amin Vahdat
Snap: a microkernel approach to host networking. SOSP (2019)
Michael Dalton, David Schultz, Jacob Adriaens, Ahsan Arefin, Anshuman Gupta, Brian Fahs, Dima Rubinstein, Enrique Cauich Zermeno, Erik Rubow, James Alexander Docauer, Jesse Alpert, Jing Ai, Jon Olson, Kevin DeCabooter, Marc de Kruijf, Nan Hua, Nathan Lewis, Nikhil Kasinadhuni, Riccardo Crepaldi, Srinivas Krishnan, Subbaiah Venkata, Yossi Richter, Uday Naik, Amin Vahdat
Andromeda: Performance, Isolation, and Velocity at Scale in Cloud Network Virtualization. NSDI (2018)
Daniel Dominguez Gouvêa, Cyro de A. Assis D. Muniz, Gilson A. Pinto, Alberto Avritzer, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Morganna Carmem Diniz, Vittorio Cortellessa, Luca Berardinelli, Julius C. B. Leite, Daniel Mossé, Yuanfang Cai, Michael Dalton, Lucia Happe, Anne Koziolek
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture. Softw. Syst. Model. 12 (4) (2013)
Sunny Wong, Yuanfang Cai, Miryung Kim, Michael Dalton
Detecting software modularity violations. ICSE (2011)
Michael Dalton, Hari Kannan, Christos Kozyrakis
Tainting is not pointless. ACM SIGOPS Oper. Syst. Rev. 44 (2) (2010)
Hari Kannan, Michael Dalton, Christos Kozyrakis
Decoupling Dynamic Information Flow Tracking with a dedicated coprocessor. DSN (2009)
Michael Dalton, Christos Kozyrakis, Nickolai Zeldovich
Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications. USENIX Security Symposium (2009)
Michael Dalton, Hari Kannan, Christos Kozyrakis
Real-World Buffer Overflow Protection for Userspace and Kernelspace. USENIX Security Symposium (2008)
JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis
Thread-safe dynamic binary translation using transactional memory. HPCA (2008)
René F. Reitsma, Byron Marshall, Michael Dalton, Martha N. Cyr
Exploring educational standard alignment: in search of 'relevance'. JCDL (2008)
Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis
Hardware Enforcement of Application Security Policies Using Tagged Memory. OSDI (2008)
Michael Dalton, Hari Kannan, Christos Kozyrakis
Raksha: a flexible information flow architecture for software security. ISCA (2007)
Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam
Improving software security with a C pointer analysis. ICSE (2005)