David A. Holland

Orcid: 0000-0002-9328-1686

According to our database1, David A. Holland authored at least 19 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Daedalus: Safer Document Parsing.
Proc. ACM Program. Lang., 2024

2023
Towards Porting Operating Systems with Program Synthesis.
ACM Trans. Program. Lang. Syst., March, 2023

2019
Aquarium Technical Report Preprint.
CoRR, 2019

Trials and Tribulations in Synthesizing Operating Systems.
Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2013
Flash Caching on the Storage Client.
login Usenix Mag., 2013

2011
Provenance Integration Requires Reconciliation.
Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

Multicore OSes: Looking Forward from 1991, er, 2011.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2009
Causality-based versioning.
ACM Trans. Storage, 2009

Layering in Provenance Systems.
Proceedings of the 2009 USENIX Annual Technical Conference, 2009

2008
Special Issue: The First Provenance Challenge.
Concurr. Comput. Pract. Exp., 2008

PASSing the provenance challenge.
Concurr. Comput. Pract. Exp., 2008

Using Data Mining to Build Integrated Discrete Event Simulations.
Proceedings of the Advances in Data Mining. Medical Applications, 2008

2006
Provenance-Aware Storage Systems.
Proceedings of the 2006 USENIX Annual Technical Conference, 2006

Issues in Automatic Provenance Collection.
Proceedings of the Provenance and Annotation of Data, 2006

2005
An architecture a day keeps the hacker away.
SIGARCH Comput. Archit. News, 2005

Provenance-Aware Sensor Data Storage.
Proceedings of the 21st International Conference on Data Engineering Workshops, 2005

2002
On the design of a new CPU architecture for pedagogical purposes.
Proceedings of the 2002 workshop on Computer architecture education, 2002

A new instructional operating system.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001
Research Issues in No-Futz Computing.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001


  Loading...