MultiJava: modular open classes and symmetric multiple dispatch for Java. - Curtis Clifton; Gary T. Leavens; Craig Chambers; Todd D. Millstein (OOPSLA, 2000)

How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. - Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok (FMCO, 2002)

Lessons from the JML Project. - Gary T. Leavens; Curtis Clifton (VSTTE, 2005)

How the design of JML accommodates both runtime assertion checking and formal verification. - Gary T. Leavens; Yoonsik Cheon; Curtis Clifton; Clyde Ruby; David R. Cok (Sci. Comput. Program., 2005)

MiniMAO: An imperative core language for studying aspect-oriented reasoning. - Curtis Clifton; Gary T. Leavens (Sci. Comput. Program., 2006)

MultiJava: Design rationale, compiler implementation, and applications. - Curtis Clifton; Todd D. Millstein; Gary T. Leavens; Craig Chambers (ACM Trans. Program. Lang. Syst., 2006)

Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. - Gary T. Leavens; Curtis Clifton (SPLAT, 2007)

MAO: Ownership and Effects for More Effective Reasoning About Aspects. - Curtis Clifton; Gary T. Leavens; James Noble 001 (ECOOP, 2007)

Subverting the fundamentals sequence: using version control to enhance course management. - Curtis Clifton; Lisa C. Kaczmarczyk; Michael Mrozek (SIGCSE, 2007)

Strategies for preparing computer science students for the multicore world. - Richard A. Brown; Elizabeth Shoop; Joel C. Adams; Curtis Clifton; Mark K. Gardner; Michael Haupt; Peter Hinsbeeck (ITiCSE-WGR, 2010)