Language Support for Processing Distributed Ad Hoc Data.

Kenny Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, and David Walker.

International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. September 2009.

AspectML: A Polymorphic Aspect-oriented Functional Programming Language.

Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich.

ACM Transactions on Programming Languages and Systems, 30(3):1-60. May 2008.

A Simple and Expressive Semantic Framework for Policy Composition in Access Control.

Glenn Bruns, Daniel S Dantas, and Michael Huth.

ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code. November 2007.

Analyzing Security Advice in Functional Aspect-oriented Programming Languages.

Daniel S. Dantas.

Ph.D Thesis. Princeton University: Computer Science. August 2007.

Harmless Advice.

Daniel S Dantas and David Walker.

ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. January 2006.

PolyAML: A Polymorphic Aspect-oriented Functional Programming Language.

Daniel S. Dantas, David Walker, Geoffrey Washburn and Stephanie Weirich.

ACM International Conference on Functional Programming. September 2005.

Harmless Advice.

Daniel S. Dantas and David Walker.

ACM SIGPLAN International Workshop on Foundations of Object-Oriented Languages. January 2005.

On the Need for System-Level Support for Ad hoc and Sensor Networks.

Rimon Barr, John C. Bicket, Daniel S. Dantas, Bowei Du, T.W. Danny Kim, Bing Zhou and Emin Gun Sirer.

ACM SIGOPS Operating Systems Review, 36(2):1-5. April 2002.