 | 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 |
