2008 |
6 | EE | Michael Zeller,
Aaron Stump,
Morgan Deters:
Signature Compilation for the Edinburgh Logical Framework.
Electr. Notes Theor. Comput. Sci. 196: 129-135 (2008) |
5 | EE | 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 | EE | 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 | EE | 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 | EE | Morgan Deters,
Ron Cytron:
Automated discovery of scoped memory regions for real-time Java.
MSP/ISMM 2002: 132-142 |
2001 |
1 | EE | 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 |