conf.researchr.org / Tim King
Registered user since Sat 12 Jan 2019
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.
Research interests:Software Security, Static Analysis, SMT
|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|