Tim King

20 papers A* 1A 2B 5Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2019 — conf
FUDGE: fuzz driver generation at scale.
ESEC/SIGSOFT FSE
Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
2018 J jnl
CVC4 at the SMT Competition 2018.
CoRR
Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli
2017 J jnl
Solving quantified linear arithmetic by counterexample-guided instantiation.
Formal Methods Syst. Des.
Andrew Reynolds, Tim King, Viktor Kuncak
2016 B conf
A Decision Procedure for Separation Logic in SMT.
ATVA
Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King
2016 J jnl
A Decision Procedure for Separation Logic in SMT.
CoRR
Andrew Reynolds, Radu Iosif, Tim King
2016 B conf
Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem.
VMCAI
Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn
2015 J jnl
A Concurrency Problem with Exponential DPLL(T) Proofs.
CoRR
Liana Hadarean, Alex Horn, Tim King
2015 J jnl
An Instantiation-Based Approach for Solving Quantified Linear Arithmetic.
CoRR
Andrew Reynolds, Tim King, Viktor Kuncak
2015 — conf
Deciding Local Theory Extensions via E-matching.
CAV (2)
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
2015 — conf
Finding Minimum Type Error Sources.
Software Engineering & Management
Zvonimir Pavlinovic, Tim King, Thomas Wies
2015 J jnl
On Deciding Local Theory Extensions via E-matching.
CoRR
Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies
2015 J jnl
On Practical SMT-Based Type Error Localization.
CoRR
Zvonimir Pavlinovic, Tim King, Thomas Wies
2015 A conf
Practical SMT-based type error localization.
ICFP
Zvonimir Pavlinovic, Tim King, Thomas Wies
2014 B conf
A tour of CVC4: How it works, and how to use it.
FMCAD
Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli
2014 — —
Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic.
Tim King
2014 A conf
Finding minimum type error sources.
OOPSLA
Zvonimir Pavlinovic, Tim King, Thomas Wies
2014 — conf
Leveraging Linear and Mixed Integer Programming for SMT.
SMT
Tim King, Clark W. Barrett, Cesare Tinelli
2014 B conf
Leveraging linear and mixed integer programming for SMT.
FMCAD
Tim King, Clark W. Barrett, Cesare Tinelli
2013 B conf
Simplex with sum of infeasibilities for SMT.
FMCAD
Tim King, Clark W. Barrett, Bruno Dutertre
2011 A* conf
CVC4.
CAV
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli