Storage Allocation for Real-Time, Embedded Systems. - Steven M. Donahue; Matthew P. Hampton; Morgan Deters; Jonathan M. Nye; Ron Cytron; Krishna M. Kavi (EMSOFT, 2001)

Automated discovery of scoped memory regions for real-time Java. - Morgan Deters; Ron Cytron (MSP/ISMM, 2002)

Automated Reference-Counted Object Recycling for Real-Time Jav. - Morgan Deters; Nicholas A. Leidenfrost; Matthew P. Hampton; James C. Brodman; Ron Cytron (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Static determination of allocation rates to support real-time garbage collection. - Tobias Mann; Morgan Deters; Rob LeGrand; Ron Cytron (LCTES, 2005)

Signature Compilation for the Edinburgh Logical Framework. - Michael Zeller; Aaron Stump; Morgan Deters (LFMTP@CADE, 2007)

Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). - Clark W. Barrett; Morgan Deters; Albert Oliveras; Aaron Stump (Int. J. Artif. Intell. Tools, 2008)

Verified programming in Guru. - Aaron Stump; Morgan Deters; Adam Petcher; Todd Schiller; Timothy W. Simpson (PLPV, 2009)

The SMT Execution Service: Features, Fairness, and the Future. - Morgan Deters (EMSQMS@IJCAR, 2010)

CVC4. - Clark W. Barrett; Christopher L. Conway; Morgan Deters; Liana Hadarean; Dejan Jovanovic; Tim King 001; Andrew Reynolds 001; Cesare Tinelli (CAV, 2011)

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. - Ignasi Abío; Morgan Deters; Robert Nieuwenhuis; Peter J. Stuckey (SAT, 2011)

The 2012 SMT Competition. - David R. Cok; Alberto Griggio; Roberto Bruttomesso; Morgan Deters (SMT@IJCAR, 2012)

Quantifier Instantiation Techniques for Finite Model Finding in SMT. - Andrew Reynolds 001; Cesare Tinelli; Amit Goel; Sava Krstic; Morgan Deters; Clark W. Barrett (CADE, 2013)

Witness Runs for Counter Machines. - Clark W. Barrett; Stéphane Demri; Morgan Deters (FroCos, 2013)

Witness Runs for Counter Machines - (Abstract). - Clark W. Barrett; Stéphane Demri; Morgan Deters (TABLEAUX, 2013)

6 Years of SMT-COMP. - Clark W. Barrett; Morgan Deters; Leonardo Mendonça de Moura; Albert Oliveras; Aaron Stump (J. Autom. Reason., 2013)

The Effects of Modalities in Separation Logics (Extended Abstract). - Stéphane Demri; Morgan Deters (Advances in Modal Logic, 2014)

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. - Tianyi Liang; Andrew Reynolds 001; Cesare Tinelli; Clark W. Barrett; Morgan Deters (CAV, 2014)

A tour of CVC4: How it works, and how to use it. - Morgan Deters; Andrew Reynolds 001; Tim King 001; Clark W. Barrett; Cesare Tinelli (FMCAD, 2014)

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. - Andrew Reynolds 001; Morgan Deters; Viktor Kuncak; Cesare Tinelli; Clark W. Barrett (CAV (2), 2015)

Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. - Liana Hadarean; Clark W. Barrett; Andrew Reynolds 001; Cesare Tinelli; Morgan Deters (LPAR, 2015)

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. - Andrew Reynolds 001; Morgan Deters; Viktor Kuncak; Clark W. Barrett; Cesare Tinelli (CoRR, 2015)

Separation logics and modalities: a survey. - Stéphane Demri; Morgan Deters (J. Appl. Non Class. Logics, 2015)

Two-Variable Separation Logic and Its Inner Circle. - Stéphane Demri; Morgan Deters (ACM Trans. Comput. Log., 2015)

Efficient solving of string constraints for security analysis. - Clark W. Barrett; Cesare Tinelli; Morgan Deters; Tianyi Liang; Andrew Reynolds 001; Nestan Tsiskaridze (HotSoS, 2016)

An efficient SMT solver for string constraints. - Tianyi Liang; Andrew Reynolds 001; Nestan Tsiskaridze; Cesare Tinelli; Clark W. Barrett; Morgan Deters (Formal Methods Syst. Des., 2016)

Temporal logics on strings with prefix relation. - Stéphane Demri; Morgan Deters (J. Log. Comput., 2016)

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. - Stéphane Demri; Morgan Deters (ACM Trans. Comput. Log., 2016)

Refutation-based synthesis in SMT. - Andrew Reynolds 001; Viktor Kuncak; Cesare Tinelli; Clark W. Barrett; Morgan Deters (Formal Methods Syst. Des., 2019)