 | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page