David A. Holland

22 papers A* 1A 4Misc 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
Daedalus: Safer Document Parsing.
Proc. ACM Program. Lang.
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
2023 J jnl
Towards Porting Operating Systems with Program Synthesis.
ACM Trans. Program. Lang. Syst.
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2022 J jnl
Towards Porting Operating Systems with Program Synthesis.
CoRR
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2019 J jnl
Aquarium Technical Report Preprint.
CoRR
Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer
2019 — conf
Trials and Tribulations in Synthesizing Operating Systems.
PLOS@SOSP
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer
2013 — conf
Flash Caching on the Storage Client.
USENIX ATC
David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer
2013 J jnl
Flash Caching on the Storage Client.
login Usenix Mag.
David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer
2011 A conf
Multicore OSes: Looking Forward from 1991, er, 2011.
HotOS
David A. Holland, Margo I. Seltzer
2011 — conf
Provenance Integration Requires Reconciliation.
TaPP
Elaine Angelino, Uri Braun, David A. Holland, Daniel W. Margo
2009 A conf
Causality-Based Versioning.
FAST
Kiran-Kumar Muniswamy-Reddy, David A. Holland
2009 J jnl
Causality-based versioning.
ACM Trans. Storage
Kiran-Kumar Muniswamy-Reddy, David A. Holland
2009 — conf
Layering in Provenance Systems.
USENIX ATC
Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko, Diana L. MacLean, Daniel W. Margo, Margo I. Seltzer, Robin Smogor
2008 J jnl
PASSing the provenance challenge.
Concurr. Comput. Pract. Exp.
David A. Holland, Margo I. Seltzer, Uri Braun, Kiran-Kumar Muniswamy-Reddy
2008 J jnl
Special Issue: The First Provenance Challenge.
Concurr. Comput. Pract. Exp.
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
2008 A* conf
Using Data Mining to Build Integrated Discrete Event Simulations.
ICDM
David A. Holland
2006 — conf
Issues in Automatic Provenance Collection.
IPAW
Uri Braun, Simson L. Garfinkel, David A. Holland, Kiran-Kumar Muniswamy-Reddy, Margo I. Seltzer
2006 — conf
Provenance-Aware Storage Systems.
USENIX ATC, General Track
Kiran-Kumar Muniswamy-Reddy, David A. Holland, Uri Braun, Margo I. Seltzer
2005 J jnl
An architecture a day keeps the hacker away.
SIGARCH Comput. Archit. News
David A. Holland, Ada T. Lim, Margo I. Seltzer
2005 — conf
Provenance-Aware Sensor Data Storage.
ICDE Workshops
Jonathan Ledlie, Chaki Ng, David A. Holland
2002 A conf
A new instructional operating system.
SIGCSE
David A. Holland, Ada T. Lim, Margo I. Seltzer
2002 Misc conf
On the design of a new CPU architecture for pedagogical purposes.
WCAE
Daniel Ellard, David A. Holland, Nicholas Murphy, Margo I. Seltzer
2001 A conf
Research Issues in No-Futz Computing.
HotOS
David A. Holland, William Josephson, Kostas Magoutis, Margo I. Seltzer, Christopher A. Stein, Ada T. Lim