Follow
Morgan Deters
Morgan Deters
Senior Research Scientist, NYU
Verified email at cs.nyu.edu - Homepage
Title
Cited by
Cited by
Year
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1532014
Counterexample-guided quantifier instantiation for synthesis in SMT
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
1412015
6 years of SMT-COMP
C Barrett, M Deters, L De Moura, A Oliveras, A Stump
Journal of Automated Reasoning 50, 243-277, 2013
982013
Quantifier instantiation techniques for finite model finding in SMT
A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
822013
Automated discovery of scoped memory regions for real-time Java
M Deters, RK Cytron
ACM SIGPLAN Notices 38 (2 supplement), 25-35, 2002
642002
An efficient SMT solver for string constraints
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters
Formal Methods in System Design 48, 206-234, 2016
602016
A tour of CVC4: how it works, and how to use it
M Deters, A Reynolds, T King, C Barrett, C Tinelli
2014 Formal Methods in Computer-Aided Design (FMCAD), 7-7, 2014
542014
Verified programming in Guru
A Stump, M Deters, A Petcher, T Schiller, T Simpson
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
532009
Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007)
C Barrett, M Deters, A Oliveras, A Stump
International Journal on Artificial Intelligence Tools 17 (04), 569-606, 2008
452008
Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007)
C Barrett, M Deters, A Oliveras, A Stump
International Journal on Artificial Intelligence Tools 17 (04), 569-606, 2008
392008
Expressive completeness of separation logic with two variables and no separating conjunction
S Demri, M Deters
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-44, 2016
352016
Introduction of program instrumentation using aspects
M Deters, RK Cytron
Proceedings of the ACM OOPSLA Workshop on Advanced Separation of Concerns in …, 2001
322001
Refutation-based synthesis in SMT
A Reynolds, V Kuncak, C Tinelli, C Barrett, M Deters
Formal Methods in System Design 55, 73-102, 2019
312019
Static determination of allocation rates to support real-time garbage collection
T Mann, M Deters, R LeGrand, RK Cytron
ACM SIGPLAN Notices 40 (7), 193-202, 2005
302005
Separation logics and modalities: a survey
S Demri, M Deters
Journal of Applied Non-Classical Logics 25 (1), 50-99, 2015
262015
Storage allocation for real-time, embedded systems
SM Donahue, MP Hampton, M Deters, JM Nye, RK Cytron, KM Kavi
Lecture notes in computer science 2211, 131-147, 2001
252001
Two-variable separation logic and its inner circle
S Demri, M Deters
ACM Transactions on Computational Logic (TOCL) 16 (2), 1-36, 2015
232015
Fine grained SMT proofs for the theory of fixed-width bit-vectors
L Hadarean, C Barrett, A Reynolds, C Tinelli, M Deters
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
232015
The 2012 SMT Competition.
DR Cok, A Griggio, R Bruttomesso, M Deters
SMT@ IJCAR, 131-142, 2012
232012
Cvc4
CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ...
23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011
222011
The system can't perform the operation now. Try again later.
Articles 1–20