Curtis Clifton

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Richard A. Brown, Elizabeth Shoop, Joel C. Adams, Curtis Clifton, Mark K. Gardner, Michael Haupt, Peter Hinsbeeck
Strategies for preparing computer science students for the multicore world. ITiCSE-WGR (2010)
Gary T. Leavens, Curtis Clifton
Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. SPLAT (2007)
Curtis Clifton, Lisa C. Kaczmarczyk, Michael Mrozek
Subverting the fundamentals sequence: using version control to enhance course management. SIGCSE (2007)
Curtis Clifton, Gary T. Leavens, James Noble
MAO: Ownership and Effects for More Effective Reasoning About Aspects. ECOOP (2007)
Curtis Clifton, Gary T. Leavens
MiniMAO: An imperative core language for studying aspect-oriented reasoning. Sci. Comput. Program. 63 (3) (2006)
Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28 (3) (2006)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55 (1-3) (2005)
Gary T. Leavens, Curtis Clifton
Lessons from the JML Project. VSTTE (2005)
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO (2002)
Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein
MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA (2000)