 | 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 |
