David A. Holland / publications
Thesis:
Toward Automatic Operating System Ports via Code Generation
and Synthesis
(Advisors: Margo I. Seltzer and Stephen Chong)
Publications:
(currently PDFs are only posted for some older ones I was able to
export from an old database some time back — the rest will
appear any year now... if there's anything you can't find by searching
for the title let me know and I'll try to get it posted sooner)
-
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong,
and Margo I. Seltzer.
Towards Porting Operating Systems with Program Synthesis.
To appear in TOPLAS in 2022 or 2023. Watch this space for further
details.
-
Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong,
and Margo I. Seltzer.
Trials and tribulations in synthesizing operating systems.
In Proceedings of the Programming Languages and Operating Systems
Workshop, Huntsville, Ontario, Canada,
October 2019.
-
David A. Holland, Elaine Angelino, Gideon Wald, and Margo I. Seltzer.
Flash Caching on the Storage Client.
In Proceedings of the 2013 USENIX Annual Technical Conference, San Jose, CA,
June 2013.
-
Elaine Angelino, Uri Braun, David A. Holland, Peter Macko, Daniel
Margo, and Margo Seltzer.
Provenance Integration Requires Reconciliation.
In Proceedings of the 3rd Usenix Workshop on the Theory and Practice
of Provenance (TaPP 2011), Heraklion, Crete, Greece,
June 2011.
-
David A. Holland and Margo I. Seltzer.
Multicore OSes: Looking Forward from 1991, er, 2011.
In Proceedings of the 13th Workshop on Hot Topics in Operating Systems,
Napa, CA,
May 2011.
-
Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko,
Diana Maclean, Daniel Margo, Margo Seltzer, and Robin Smogor.
Layering in Provenance Systems.
In Proceedings of the 2009 USENIX Annual Technical Conference, San Diego, CA,
June 2009.
-
Kiran-Kumar Muniswamy-Reddy and David A. Holland.
Causality Based Versioning.
In Proceedings of the 2009 USENIX Conference on File and Storage
Technologies, February 2009.
Selected as a top paper and forwarded to Nov. 2009 issue on
Transactions on Storage (TOS).
-
David A. Holland, Uri Braun, Diana Maclean, Kiran-Kumar
Muniswamy-Reddy, and Margo Seltzer.
Choosing a Data Model and Query Language for Provenance.
In Proceedings of the 2nd International Provenance and Annotation
Workshop, Salt Lake City, UT,
Jun 2008.
-
David A. Holland, Margo I. Seltzer, Uri Braun, and Kiran-Kumar
Muniswamy-Reddy.
PASSing the provenance challenge.
In Concurrency and Control: Practice and Experience: 2008;20:531-540.
-
Lex Stein, David A. Holland, Margo Seltzer, and Zheng Zhang.
Can a file system virtualize processors?
In Proceedings of the EuroSys Workshop on Virtualization for
High-Performance Computing, Lisbon, Portugal,
March 2007.
links
-
Kiran-Kumar Muniswamy-Reddy, David A. Holland, Uri Braun, and Margo
Seltzer.
Provenance-Aware Storage Systems.
In Proceedings of the 2006 USENIX Annual Technical Conference, Boston, MA,
June 2006.
-
Uri Braun, Simson Garfinkel, David A. Holland, Kiran-Kumar
Muniswamy-Reddy, and Margo Seltzer.
Issues in Automatic Provenance Colleciton.
In Proceedings of the 2006 International Provenance and Annotation
Workshop, Chicago, IL,
May 2006.
links
-
Jonathan Ledlie, Chaki Ng, David A. Holland, Kiran-Kumar
Muniswamy-Reddy, Uri Braun, and Margo Seltzer.
Provenance-Aware Sensor Data Storage.
In Procedings of the 2005 International Workshop on Networking Meets
Databases , Tokyo, Japan,
April 2005.
-
David A. Holland, Ada T. Lim, and Margo I. Seltzer.
An Architecture A Day Keeps The Hacker Away.
In 2004 Workshop on Architectural Support for Security and
Anti-Virus, Boston, MA,
October 2004.
links
-
Daniel Ellard, David A. Holland, Nicholas Murphy, and Margo Seltzer.
On the Design of a New CPU Architecture for Pedagogical
Purposes.
In Proceedings of the 2002 Workshop on Computer Architecture Education,
May 2002.
links
-
David A. Holland, Ada T. Lim, and Margo I. Seltzer.
A New Instructional Operating System.
In 2002 ACM SIGCSE Conference on Computer Science Education, Covington,
KY,
2002.
links
-
David A. Holland, William Josephson, Kostas Magoutis, Margo
I. Seltzer, Christopher A. Stein, and Ada Lim.
Research Issues in No-Futz Computing.
In Proceedings of the Ninth Workshop on
Hot Topics in Operating Systems, Schoss Elmau, Germany,
May 2001.
links
Last update: September 6 2022