| Certifying a java type resolution function using program transformation, annotation, and reflection | 0 | 0.34 | 2016 |
| Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function | 0 | 0.34 | 2014 |
| Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System | 3 | 0.45 | 2012 |
| Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator | 3 | 0.42 | 2011 |
