Morgan Deters

According to our database, Morgan Deters authored at least 28 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Refutation-based synthesis in SMT.

Andrew Reynolds, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett, Morgan Deters

Formal Methods Syst. Des., 2019

2016

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction.

Stéphane Demri, Morgan Deters

ACM Trans. Comput. Log., 2016

Temporal logics on strings with prefix relation.

Stéphane Demri, Morgan Deters

J. Log. Comput., 2016

An efficient SMT solver for string constraints.

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters

Formal Methods Syst. Des., 2016

Efficient solving of string constraints for security analysis.

Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

Two-Variable Separation Logic and Its Inner Circle.

Stéphane Demri, Morgan Deters

ACM Trans. Comput. Log., 2015

Separation logics and modalities: a survey.

Stéphane Demri, Morgan Deters

J. Appl. Non Class. Logics, 2015

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4.

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli

CoRR, 2015

Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.

Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT.

Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

A tour of CVC4: How it works, and how to use it.

Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2014

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.

Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

The Effects of Modalities in Separation Logics (Extended Abstract).

Stéphane Demri, Morgan Deters

Proceedings of the Advances in Modal Logic 10, 2014

2013

6 Years of SMT-COMP.

Clark W. Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump

J. Autom. Reason., 2013

Witness Runs for Counter Machines - (Abstract).

Clark W. Barrett, Stéphane Demri, Morgan Deters

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Witness Runs for Counter Machines.

Clark W. Barrett, Stéphane Demri, Morgan Deters

Proceedings of the Frontiers of Combining Systems, 2013

Quantifier Instantiation Techniques for Finite Model Finding in SMT.

Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett

Proceedings of the Automated Deduction - CADE-24, 2013

2012

The 2012 SMT Competition.

David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.

Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

CVC4.

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

The SMT Execution Service: Features, Fairness, and the Future.

Morgan Deters

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

2009

Verified programming in Guru.

Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008

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

2007

Signature Compilation for the Edinburgh Logical Framework.

Michael Zeller, Aaron Stump, Morgan Deters

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

2005

Static determination of allocation rates to support real-time garbage collection.

Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

2004

Automated Reference-Counted Object Recycling for Real-Time Jav.

Morgan Deters, Nicholas A. Leidenfrost, Matthew P. Hampton, James C. Brodman, Ron Cytron

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

2002

Automated discovery of scoped memory regions for real-time Java.

Morgan Deters, Ron Cytron

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

Storage Allocation for Real-Time, Embedded Systems.

Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi

Proceedings of the Embedded Software, First International Workshop, 2001