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: Deters:Morgan
Contributed to:
20152014
2014
2013
20122011
2011
2005
2002Wrote 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.
- CAV-2011-BarrettCDHJKRT
- CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.
- SAT-2011-AbioDNS
- 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.