David A. Holland

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 5

Top Topics

Operating System

Virtual Machine

Inductive Logic Programming

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Towards Porting Operating Systems with Program Synthesis. CoRR (2022)
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
Trials and Tribulations in Synthesizing Operating Systems. PLOS@SOSP (2019)
Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
Aquarium Technical Report Preprint. CoRR (2019)
David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer
Flash Caching on the Storage Client. login Usenix Mag. 38 (5) (2013)
David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer
Flash Caching on the Storage Client. USENIX Annual Technical Conference (2013)
David A. Holland, Margo I. Seltzer
Multicore OSes: Looking Forward from 1991, er, 2011. HotOS (2011)
Elaine Angelino, Uri Braun, David A. Holland, Daniel W. Margo
Provenance Integration Requires Reconciliation. TaPP (2011)
Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko, Diana L. MacLean, Daniel W. Margo, Margo I. Seltzer, Robin Smogor
Layering in Provenance Systems. USENIX Annual Technical Conference (2009)
Kiran-Kumar Muniswamy-Reddy, David A. Holland
Causality-based versioning. ACM Trans. Storage 5 (4) (2009)
Kiran-Kumar Muniswamy-Reddy, David A. Holland
Causality-Based Versioning. FAST (2009)
David A. Holland, Margo I. Seltzer, Uri Braun, Kiran-Kumar Muniswamy-Reddy
PASSing the provenance challenge. Concurr. Comput. Pract. Exp. 20 (5) (2008)
David A. Holland
Using Data Mining to Build Integrated Discrete Event Simulations. ICDM (2008)
Luc Moreau, Bertram Ludäscher, Ilkay Altintas, Roger S. Barga, Shawn Bowers, Steven P. Callahan, George Chin Jr., Ben Clifford, Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davidson, Ewa Deelman, Luciano A. Digiampietri, Ian T. Foster, Juliana Freire, James Frew, Joe Futrelle, Tara Gibson, Yolanda Gil, Carole A. Goble, Jennifer Golbeck, Paul Groth, David A. Holland, Sheng Jiang, Jihie Kim, David Koop, Ales Krenek, Timothy M. McPhillips, Gaurang Mehta, Simon Miles, Dominic Metzger, Steve Munroe, Jim Myers, Beth Plale, Norbert Podhorszki, Varun Ratnakar, Emanuele Santos, Carlos Eduardo Scheidegger, Karen Schuchardt, Margo I. Seltzer, Yogesh L. Simmhan, Cláudio T. Silva, Peter Slaughter, Eric G. Stephan, Robert Stevens, Daniele Turi, Huy T. Vo, Michael Wilde, Jun Zhao, Yong Zhao
Special Issue: The First Provenance Challenge. Concurr. Comput. Pract. Exp. 20 (5) (2008)
Kiran-Kumar Muniswamy-Reddy, David A. Holland, Uri Braun, Margo I. Seltzer
Provenance-Aware Storage Systems. USENIX Annual Technical Conference, General Track (2006)
Uri Braun, Simson L. Garfinkel, David A. Holland, Kiran-Kumar Muniswamy-Reddy, Margo I. Seltzer
Issues in Automatic Provenance Collection. IPAW (2006)
Jonathan Ledlie, Chaki Ng, David A. Holland
Provenance-Aware Sensor Data Storage. ICDE Workshops (2005)
David A. Holland, Ada T. Lim, Margo I. Seltzer
An architecture a day keeps the hacker away. SIGARCH Comput. Archit. News 33 (1) (2005)
David A. Holland, Ada T. Lim, Margo I. Seltzer
A new instructional operating system. SIGCSE (2002)
Daniel Ellard, David A. Holland, Nicholas Murphy, Margo I. Seltzer
On the design of a new CPU architecture for pedagogical purposes. WCAE (2002)
David A. Holland, William Josephson, Kostas Magoutis, Margo I. Seltzer, Christopher A. Stein, Ada T. Lim
Research Issues in No-Futz Computing. HotOS (2001)