Daniel S Dantas

Home

PhD Research

Experience

Interests

Publications

by Date

by Type

by Topic

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.
TOPLAS '08 / Interpreter Implementation / Security Case Study

Analyzing Security Advice in Functional Aspect-oriented Programming Languages.

Daniel S. Dantas.
Ph.D Thesis. Princeton University: Computer Science. August 2007.
Ph.D '07 / Thesis Proposal / Thesis Defense

Harmless Advice.

Daniel S Dantas and David Walker.
ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. January 2006.
POPL '06 / Conference Presentation / Interpreter Implementation / Security Case Study

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.
ICFP '05 / Conference Presentation / Interpreter Implementation

Harmless Advice.

Daniel S. Dantas and David Walker.
ACM SIGPLAN International Workshop on Foundations of Object-Oriented Languages. January 2005.
FOOL '05 / Workshop Presentation

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.

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.

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.