Morgan Deters

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 10

Top Topics

Security Analysis

Extended Abstract

Top Venues

ACM Trans. Comput. Log.

Formal Methods Syst. Des.

Publications

Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters
Refutation-based synthesis in SMT. Formal Methods Syst. Des. 55 (2) (2019)
Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze
Efficient solving of string constraints for security analysis. HotSoS (2016)
Stéphane Demri, Morgan Deters
Temporal logics on strings with prefix relation. J. Log. Comput. 26 (3) (2016)
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters
An efficient SMT solver for string constraints. Formal Methods Syst. Des. 48 (3) (2016)
Stéphane Demri, Morgan Deters
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction. ACM Trans. Comput. Log. 17 (2) (2016)
Stéphane Demri, Morgan Deters
Separation logics and modalities: a survey. J. Appl. Non Class. Logics 25 (1) (2015)
Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. LPAR (2015)
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. CoRR (2015)
Stéphane Demri, Morgan Deters
Two-Variable Separation Logic and Its Inner Circle. ACM Trans. Comput. Log. 16 (2) (2015)
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. CAV (2) (2015)
Stéphane Demri, Morgan Deters
The Effects of Modalities in Separation Logics (Extended Abstract). Advances in Modal Logic (2014)
Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli
A tour of CVC4: How it works, and how to use it. FMCAD (2014)
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. CAV (2014)
Stéphane Demri, Morgan Deters
Expressive completeness of separation logic with two variables and no separating conjunction. CSL-LICS (2014)
Clark W. Barrett, Stéphane Demri, Morgan Deters
Witness Runs for Counter Machines. FroCos (2013)
Clark W. Barrett, Stéphane Demri, Morgan Deters
Witness Runs for Counter Machines - (Abstract). TABLEAUX (2013)
Clark W. Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump
6 Years of SMT-COMP. J. Autom. Reason. 50 (3) (2013)
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett
Quantifier Instantiation Techniques for Finite Model Finding in SMT. CADE (2013)
David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters
The 2012 SMT Competition. SMT@IJCAR (2012)
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
CVC4. CAV (2011)
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)
Morgan Deters
The SMT Execution Service: Features, Fairness, and the Future. EMSQMS@IJCAR (2010)
Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson
Verified programming in Guru. PLPV (2009)
Michael Zeller, Aaron Stump, Morgan Deters
Signature Compilation for the Edinburgh Logical Framework. Electron. Notes Theor. Comput. Sci. 196 (2008)
Clark W. Barrett, Morgan Deters, Albert Oliveras, Aaron Stump
Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). Int. J. Artif. Intell. Tools 17 (4) (2008)
Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron
Static determination of allocation rates to support real-time garbage collection. LCTES (2005)
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)
Morgan Deters, Ron Cytron
Automated discovery of scoped memory regions for real-time Java. MSP/ISMM (2002)
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)