 | 2009 |
| 10 |  | William Marczak,
David Zook,
Wenchao Zhou,
Molham Aref,
Boon Thau Loo:
Declarative Reconfigurable Trust Management.
CIDR 2009 |
| 9 |  | R. E. Kurt Stirewalt,
Spencer Rugaber,
Hwa-You Hsu,
David Zook:
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base.
ICSE Companion 2009: 61-70 |
| 8 |  | David Zook,
Emir Pasalic,
Beata Sarna-Starosta:
Typed Datalog.
PADL 2009: 168-182 |
| 7 |  | William Marczak,
David Zook,
Wenchao Zhou,
Molham Aref,
Boon Thau Loo:
Declarative Reconfigurable Trust Management
CoRR abs/0909.1759: (2009) |
| 2008 |
| 6 |  | 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 |  | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
cJ: enhancing java with safe type conditions.
AOSD 2007: 185-198 |
| 4 |  | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
Morphing: Safely Shaping a Class in the Image of Others.
ECOOP 2007: 399-424 |
| 2005 |
| 3 |  | Shan Shan Huang,
David Zook,
Yannis Smaragdakis:
Statically Safe Program Generation with SafeGen.
GPCE 2005: 309-326 |
| 2004 |
| 2 |  | David Zook,
Shan Shan Huang,
Yannis Smaragdakis:
Generating AspectJ Programs with Meta-AspectJ.
GPCE 2004: 1-18 |
| 1 |  | Yannis Smaragdakis,
Shan Shan Huang,
David Zook:
Program generators and the tools to make them.
PEPM 2004: 92-100 |