| Statically safe program generation with SafeGen | 31 | 2.10 | 2011 |
| Experience Report: Using Tools And Domain Expertise To Remediate Architectural Violations In The Logicblox Software Base | 1 | 0.37 | 2009 |
| Declarative Reconfigurable Trust Management. | 3 | 0.46 | 2009 |
| Domain-specific languages and program generation with meta-AspectJ | 8 | 0.55 | 2008 |
| Morphing: safely shaping a class in the image of others | 15 | 0.92 | 2007 |
| cJ: enhancing java with safe type conditions | 19 | 1.00 | 2007 |
| Program generators and the tools to make them | 11 | 0.84 | 2004 |
