BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × United Kingdom
2 × Austria
5 × USA
Collaborated with:
R.Cytron A.Reynolds C.Tinelli S.Demri C.Barrett D.R.Cok A.Griggio R.Bruttomesso I.Abío R.Nieuwenhuis P.J.Stuckey T.Mann R.LeGrand V.Kuncak C.W.Barrett T.Liang A.Goel S.Krstic C.L.Conway L.Hadarean D.Jovanovic T.King
Talks about:
smt (3) quantifi (2) instanti (2) express (2) theori (2) separ (2) time (2) real (2) find (2) counterexampl (1)

Person: Morgan Deters

DBLP DBLP: Deters:Morgan

Contributed to:

CAV 20152015
CAV 20142014
CSL-LICS 20142014
CADE 20132013
SMT 20122012
CAV 20112011
SAT 20112011
LCTES 20052005
ISMM 20022002

Wrote 9 papers:

CAV-2015-ReynoldsDKTB #quantifier #smt #synthesis
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT (AR, MD, VK, CT, CWB), pp. 198–216.
CAV-2014-LiangRTBD #formal method #regular expression #string
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions (TL, AR, CT, CB, MD), pp. 646–662.
LICS-CSL-2014-DemriD #logic
Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
CADE-2013-ReynoldsTGKDB #finite #quantifier #smt
Quantifier Instantiation Techniques for Finite Model Finding in SMT (AR, CT, AG, SK, MD, CB), pp. 377–391.
SMT-2012-CokGBD #contest #smt
The 2012 SMT Competition (DRC, AG, RB, MD), pp. 131–142.
CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.
Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (IA, MD, RN, PJS), pp. 273–286.
LCTES-2005-MannDLC #garbage collection #realtime
Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.
ISMM-2002-DetersC #automation #java #memory management #realtime
Automated discovery of scoped memory regions for real-time Java (MD, RC), pp. 132–142.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.