Daniel S. Dantas
Daniel S. Dantas
Unknown affiliation
Verified email at dantasfiles.com - Homepage
Title
Cited by
Cited by
Year
On the need for system-level support for ad hoc and sensor networks
R Barr, JC Bicket, DS Dantas, B Du, TWD Kim, B Zhou, EG Sirer
ACM SIGOPS Operating Systems Review 36 (2), 1-5, 2002
2262002
Harmless advice
DS Dantas, D Walker
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1672006
A simple and expressive semantic framework for policy composition in access control
G Bruns, DS Dantas, M Huth
Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007
752007
AspectML: A polymorphic aspect-oriented functional programming language
DS Dantas, D Walker, G Washburn, S Weirich
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-60, 2008
672008
PolyAML a polymorphic aspect-oriented functional programming language
DS Dantas, D Walker, G Washburn, S Weirich
ACM SIGPLAN Notices 40 (9), 306-319, 2005
342005
Protection from Bad Advice
DS Dantas, D Walker
182003
Analyzing security advice in functional aspect-oriented programming languages
DS Dantas
Princeton University, 2007
112007
Analyzing polymorphic advice
DS Dantas, D Walker, G Washburn, S Weirich
Technical Report TR-717-04, Princeton University, 2004
72004
PolyAML: A polymorphic aspect-oriented functional programming language (extended version)
DS Dantas, D Walker, G Washburn, SC Weirich
32005
Language support for processing distributed ad hoc data
KQ Zhu, DS Dantas, K Fisher, L Jia, Y Mandelbaum, V Pai, D Walker
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
22009
Functional Specifications for Archiving Distributed Data
KQ Zhu, DS Dantas, K Fisher, L Jia, Y Mandelbaum, V Pai, D Walker
Collaborate!: A Distributed Collaborative Workspace Solution
S Gaw, DS Dantas
The system can't perform the operation now. Try again later.
Articles 1–12