Morgan Deters

29 papers A* 2A 3B 5Misc 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2019 J jnl
Refutation-based synthesis in SMT.
Formal Methods Syst. Des.
Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters
2016 J jnl
An efficient SMT solver for string constraints.
Formal Methods Syst. Des.
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters
2016 — conf
Efficient solving of string constraints for security analysis.
HotSoS
Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze
2016 J jnl
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction.
ACM Trans. Comput. Log.
Stéphane Demri, Morgan Deters
2016 J jnl
Temporal logics on strings with prefix relation.
J. Log. Comput.
Stéphane Demri, Morgan Deters
2015 — conf
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT.
CAV (2)
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett
2015 B conf
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.
LPAR
Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters
2015 J jnl
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4.
CoRR
Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli
2015 J jnl
Separation logics and modalities: a survey.
J. Appl. Non Class. Logics
Stéphane Demri, Morgan Deters
2015 J jnl
Two-Variable Separation Logic and Its Inner Circle.
ACM Trans. Comput. Log.
Stéphane Demri, Morgan Deters
2014 A* conf
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.
CAV
Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters
2014 B conf
A tour of CVC4: How it works, and how to use it.
FMCAD
Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli
2014 — conf
Expressive completeness of separation logic with two variables and no separating conjunction.
CSL-LICS
Stéphane Demri, Morgan Deters
2014 B conf
The Effects of Modalities in Separation Logics (Extended Abstract).
Advances in Modal Logic
Stéphane Demri, Morgan Deters
2013 J jnl
6 Years of SMT-COMP.
J. Autom. Reason.
Clark W. Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump
2013 A conf
Quantifier Instantiation Techniques for Finite Model Finding in SMT.
CADE
Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett
2013 B conf
Witness Runs for Counter Machines - (Abstract).
TABLEAUX
Clark W. Barrett, Stéphane Demri, Morgan Deters
2013 — conf
Witness Runs for Counter Machines.
FroCos
Clark W. Barrett, Stéphane Demri, Morgan Deters
2012 — conf
The 2012 SMT Competition.
SMT@IJCAR
David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters
2011 A* conf
CVC4.
CAV
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
2011 A conf
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.
SAT
Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey
2010 — conf
The SMT Execution Service: Features, Fairness, and the Future.
EMSQMS@IJCAR
Morgan Deters
2009 — conf
Verified programming in Guru.
PLPV
Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson
2008 J jnl
Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).
Int. J. Artif. Intell. Tools
Clark W. Barrett, Morgan Deters, Albert Oliveras, Aaron Stump
2007 — conf
Signature Compilation for the Edinburgh Logical Framework.
LFMTP@CADE
Michael Zeller, Aaron Stump, Morgan Deters
2005 B conf
Static determination of allocation rates to support real-time garbage collection.
LCTES
Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron
2004 A conf
Automated Reference-Counted Object Recycling for Real-Time Jav.
IEEE Real-Time and Embedded Technology and Applications Symposium
Morgan Deters, Nicholas A. Leidenfrost, Matthew P. Hampton, James C. Brodman, Ron Cytron
2002 — conf
Automated discovery of scoped memory regions for real-time Java.
MSP/ISMM
Morgan Deters, Ron Cytron
2001 Misc conf
Storage Allocation for Real-Time, Embedded Systems.
EMSOFT
Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi