2009 |
8 | EE | William Marczak,
David Zook,
Wenchao Zhou,
Molham Aref,
Boon Thau Loo:
Declarative Reconfigurable Trust Management.
CIDR 2009 |
7 | EE | David Zook,
Emir Pasalic,
Beata Sarna-Starosta:
Typed Datalog.
PADL 2009: 168-182 |
2008 |
6 | EE | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
Domain-specific languages and program generation with meta-AspectJ.
ACM Trans. Softw. Eng. Methodol. 18(2): (2008) |
2007 |
5 | EE | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
cJ: enhancing java with safe type conditions.
AOSD 2007: 185-198 |
4 | EE | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
Morphing: Safely Shaping a Class in the Image of Others.
ECOOP 2007: 399-424 |
2005 |
3 | EE | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
Statically Safe Program Generation with SafeGen.
GPCE 2005: 309-326 |
2004 |
2 | EE | David Zook,
Shan Shan Huang,
Yannis Smaragdakis:
Generating AspectJ Programs with Meta-AspectJ.
GPCE 2004: 1-18 |
1 | EE | Yannis Smaragdakis,
Shan Shan Huang,
David Zook:
Program generators and the tools to make them.
PEPM 2004: 92-100 |