Tim King

According to our database, Tim King authored at least 16 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

CVC4 at the SMT Competition 2018.

Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli

CoRR, 2018

2017

Solving quantified linear arithmetic by counterexample-guided instantiation.

Andrew Reynolds, Tim King, Viktor Kuncak

Formal Methods Syst. Des., 2017

2016

A Decision Procedure for Separation Logic in SMT.

Andrew Reynolds, Radu Iosif, Tim King

CoRR, 2016

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem.

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux, Michaël Périn

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

A Decision Procedure for Separation Logic in SMT.

Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

An Instantiation-Based Approach for Solving Quantified Linear Arithmetic.

Andrew Reynolds, Tim King, Viktor Kuncak

CoRR, 2015

A Concurrency Problem with Exponential DPLL(T) Proofs.

Liana Hadarean, Alex Horn, Tim King

CoRR, 2015

Finding Minimum Type Error Sources.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Practical SMT-based type error localization.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Deciding Local Theory Extensions via E-matching.

Kshitij Bansal, Andrew Reynolds, Tim King, Clark W. Barrett, Thomas Wies

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic.

Tim King

PhD thesis, 2014

Leveraging Linear and Mixed Integer Programming for SMT.

Tim King, Clark W. Barrett, Cesare Tinelli

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

A tour of CVC4: How it works, and how to use it.

Morgan Deters, Andrew Reynolds, Tim King, Clark W. Barrett, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Simplex with sum of infeasibilities for SMT.

Tim King, Clark W. Barrett, Bruno Dutertre

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

CVC4.

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011