Daniel S Dantas

Home

Research

Experience

Interests

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

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

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 (FMSE '07). November 2007.

Harmless Advice.

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

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

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.

• Logical Methods in Computer Science
• Science of Computer Programming

• Aspect-Oriented Software Development
• Automata, Languages, and Programming
• Principles of Programming Languages

• Foundations of Aspect-Oriented Languages
• Foundations and Developments of Object-Oriented Languages