Tim King
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
1988–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ATVA | A Decision Procedure for Separation Logic in SMT. | Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King |
| 2016 | VMCAI | Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem. | Alexandre Marchal, Alexis Fouilh, Tim King, David Monniaux, Michal Prin |
| 2015 | CAV | Deciding Local Theory Extensions via E-matching. | Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies |
| 2015 | ICFP | Practical SMT-based type error localization. | Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2014 | FMCAD | Leveraging linear and mixed integer programming for SMT. | Tim King, Clark W. Barrett, Cesare Tinelli |
| 2014 | FMCAD | A tour of CVC4: How it works, and how to use it. | Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli |
| 2014 | OOPSLA | Finding minimum type error sources. | Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2013 | FMCAD | Simplex with sum of infeasibilities for SMT. | Tim King, Clark W. Barrett, Bruno Dutertre |
| 2011 | CAV | CVC4. | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
| 1988 | SIGMOD | Gaia: An Object-Oriented Framework for an Ada Environment (Extended Abstract). | Don Vines, Tim King |