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; Emin Gün Sirer (ACM SIGOPS Oper. Syst. Rev., 2002)

PolyAML: a polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ICFP, 2005)

Harmless advice. - Daniel S. Dantas; David Walker 001 (POPL, 2006)

A simple and expressive semantic framework for policy composition in access control. - Glenn Bruns; Daniel S. Dantas; Michael Huth 001 (FMSE, 2007)

AspectML: A polymorphic aspect-oriented functional programming language. - Daniel S. Dantas; David Walker 001; Geoffrey Washburn; Stephanie Weirich (ACM Trans. Program. Lang. Syst., 2008)

Language support for processing distributed ad hoc data. - Kenny Qili Zhu; Daniel S. Dantas; Kathleen Fisher; Limin Jia 001; Yitzhak Mandelbaum; Vivek S. Pai; David Walker 001 (PPDP, 2009)