Tim King

Registered user since Sat 12 Jan 2019

Name:Tim King
Bio:

I joined Google in September 2015 where I am currently a Software Engineer in the Software Analysis Team. My interests range from static analysis to SMT to fuzzing.

Country:United States
Affiliation:Google
Research interests:Software Security, Static Analysis, SMT

Contributions

VMCAI Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track
SPLASH 2014 Author of Finding Minimum Type Error Sources within the OOPSLA-track