Morgan Deters
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
2001–2015
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CAV | Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. | Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett |
| 2015 | LPAR | Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. | Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters |
| 2014 | AiML | The Effects of Modalities in Separation Logics (Extended Abstract). | Stphane Demri, Morgan Deters |
| 2014 | CAV | A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. | Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters |
| 2014 | CSL | Expressive completeness of separation logic with two variables and no separating conjunction. | Stphane Demri, Morgan Deters |
| 2014 | FMCAD | A tour of CVC4: How it works, and how to use it. | Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli |
| 2013 | CADE | Quantifier Instantiation Techniques for Finite Model Finding in SMT. | Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett |
| 2013 | TABLEAUX | Witness Runs for Counter Machines - (Abstract). | Clark W. Barrett, Stphane Demri, Morgan Deters |
| 2012 | CADE | The 2012 SMT Competition. | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
| 2011 | CAV | CVC4. | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
| 2011 | SAT | Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. | Ignasi Abo, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey |
| 2010 | CADE | The SMT Execution Service: Features, Fairness, and the Future. | Morgan Deters |
| 2004 | RTAS | Automated Reference-Counted Object Recycling for Real-Time Jav. | Morgan Deters, Nicholas A. Leidenfrost, Matthew P. Hampton, James C. Brodman, Ron Cytron |
| 2001 | EMSOFT | Storage Allocation for Real-Time, Embedded Systems. | Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi |