David A. Holland

According to our database, David A. Holland authored at least 18 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Towards Porting Operating Systems with Program Synthesis.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

ACM Trans. Program. Lang. Syst., March, 2023

2019

Aquarium Technical Report Preprint.

Ming Kawaguchi, Jingmei Hu, Eric Lu, David A. Holland, Stephen Chong, Margo I. Seltzer

CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.

Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2013

Flash Caching on the Storage Client.

David A. Holland, Elaine Angelino, Gideon Wald, Margo I. Seltzer

login Usenix Mag., 2013

2011

Provenance Integration Requires Reconciliation.

Elaine Angelino, Uri Braun, David A. Holland, Daniel W. Margo

Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Multicore OSes: Looking Forward from 1991, er, 2011.

David A. Holland, Margo I. Seltzer

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2009

Causality-based versioning.

Kiran-Kumar Muniswamy-Reddy, David A. Holland

ACM Trans. Storage, 2009

Layering in Provenance Systems.

Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko, Diana L. MacLean, Daniel W. Margo, Margo I. Seltzer, Robin Smogor

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

2008

Special Issue: The First Provenance Challenge.

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

Concurr. Comput. Pract. Exp., 2008

PASSing the provenance challenge.

David A. Holland, Margo I. Seltzer, Uri Braun, Kiran-Kumar Muniswamy-Reddy

Concurr. Comput. Pract. Exp., 2008

Using Data Mining to Build Integrated Discrete Event Simulations.

David A. Holland

Proceedings of the Advances in Data Mining. Medical Applications, 2008

2006

Provenance-Aware Storage Systems.

Kiran-Kumar Muniswamy-Reddy, David A. Holland, Uri Braun, Margo I. Seltzer

Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA, USA, May 30, 2006

Issues in Automatic Provenance Collection.

Uri Braun, Simson L. Garfinkel, David A. Holland, Kiran-Kumar Muniswamy-Reddy, Margo I. Seltzer

Proceedings of the Provenance and Annotation of Data, 2006

2005

An architecture a day keeps the hacker away.

David A. Holland, Ada T. Lim, Margo I. Seltzer

SIGARCH Comput. Archit. News, 2005

Provenance-Aware Sensor Data Storage.

Jonathan Ledlie, Chaki Ng, David A. Holland

Proceedings of the 21st International Conference on Data Engineering Workshops, 2005

2002

On the design of a new CPU architecture for pedagogical purposes.

Daniel Ellard, David A. Holland, Nicholas Murphy, Margo I. Seltzer

Proceedings of the 2002 workshop on Computer architecture education, 2002

A new instructional operating system.

David A. Holland, Ada T. Lim, Margo I. Seltzer

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001

Research Issues in No-Futz Computing.

David A. Holland, William Josephson, Kostas Magoutis, Margo I. Seltzer, Christopher A. Stein, Ada T. Lim

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001