 | 2011 |
| 9 |  | Clark Barrett,
Christopher L. Conway,
Morgan Deters,
Liana Hadarean,
Dejan Jovanovic,
Tim King,
Andrew Reynolds,
Cesare Tinelli:
CVC4.
CAV 2011: 171-177 |
| 8 |  | Ignasi Abío,
Morgan Deters,
Robert Nieuwenhuis,
Peter J. Stuckey:
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.
SAT 2011: 273-286 |
| 2009 |
| 7 |  | Aaron Stump,
Morgan Deters,
Adam Petcher,
Todd Schiller,
Timothy W. Simpson:
Verified programming in Guru.
PLPV 2009: 49-58 |
| 2008 |
| 6 |  | Michael Zeller,
Aaron Stump,
Morgan Deters:
Signature Compilation for the Edinburgh Logical Framework.
Electr. Notes Theor. Comput. Sci. 196: 129-135 (2008) |
| 5 |  | Clark Barrett,
Morgan Deters,
Albert Oliveras,
Aaron Stump:
Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).
International Journal on Artificial Intelligence Tools 17(4): 569-606 (2008) |
| 2005 |
| 4 |  | Tobias Mann,
Morgan Deters,
Rob LeGrand,
Ron Cytron:
Static determination of allocation rates to support real-time garbage collection.
LCTES 2005: 193-202 |
| 2004 |
| 3 |  | Morgan Deters,
Nicholas A. Leidenfrost,
Matthew P. Hampton,
James C. Brodman,
Ron Cytron:
Automated Reference-Counted Object Recycling for Real-Time Jav.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 424-433 |
| 2002 |
| 2 |  | Morgan Deters,
Ron Cytron:
Automated discovery of scoped memory regions for real-time Java.
MSP/ISMM 2002: 132-142 |
| 2001 |
| 1 |  | Steven M. Donahue,
Matthew P. Hampton,
Morgan Deters,
Jonathan M. Nye,
Ron Cytron,
Krishna M. Kavi:
Storage Allocation for Real-Time, Embedded Systems.
EMSOFT 2001: 131-147 |