Travelled to:1 × Austria
1 × Canada
3 × USA
Collaborated with:T.Wies Z.Pavlinovic D.Vines C.Barrett C.Tinelli A.Reynolds K.Bansal C.W.Barrett C.L.Conway M.Deters L.Hadarean D.Jovanovic D.Babic S.Bucur Y.Chen F.Ivancic M.Kusano C.Lemieux L.Szekeres W.Wang
Talks about:local (2) error (2) type (2) smt (2) framework (1) program (1) practic (1) minimum (1) leverag (1) generat (1)
Person: Tim King
DBLP: King:Tim
Contributed to:
2015
2015
2014
20142011
1988
2019Wrote 7 papers:
- CAV-2015-BansalR0BW
- Deciding Local Theory Extensions via E-matching (KB, AR, TK, CWB, TW), pp. 87–105.
- ICFP-2015-Pavlinovic0W #fault #locality #smt
- Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
- OOPSLA-2014-PavlinovicKW #fault
- Finding minimum type error sources (ZP, TK, TW), pp. 525–542.
- SMT-2014-KingBT #integer #linear #programming #smt
- Leveraging Linear and Mixed Integer Programming for SMT (TK, CB, CT), p. 65.
- CAV-2011-BarrettCDHJKRT
- CVC4 (CB, CLC, MD, LH, DJ, TK, AR, CT), pp. 171–177.
- SIGMOD-1988-VinesK #ada #framework #named #object-oriented
- Gaia: An Object-Oriented Framework for an Ada Environment (DV, TK), p. 206.
- ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability
- FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.