Tim King - Software Engineer at Google

Tim King

Software Engineer at Google

Mountain View, California, United States

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Tim King is an applied scientist with 16 years of systems and language-tooling experience, currently at AWS after a decade-plus at Google working on the Go ecosystem. He specializes in static analysis, compiler IR/SSA work, SMT solving and fuzzing, and has made notable contributions to flagship projects like golang/go and Staticcheck that improve vetting, diagnostics, and generics monomorphization. With a PhD in computer science and a history of research internships at Bell Labs, SRI and MIT Lincoln Lab, he blends rigorous academic training with production-grade engineering. Based in Sunnyvale, he’s as comfortable designing back-end architectures and compiler internals as he is writing precise static checks that catch subtle bugs before runtime. An often-unseen strength is his track record of evolving intermediate representations to support new language features, making tooling more robust as Go advances.

16 years of coding experience

2 years of employment as a software developer

Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at New York University

Bachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at Stanford University

Github Skills (18)

static-analysis10

ssa10

eslint10

intermediate-code10

compiler-design10

go10

lint10

intermediate-language10

linter10

linting10

code-analysis9

type-system9

generics8

language-design8

code-generation8

Programming languages (6)

TypeScriptShellC++CGoSMT

Github contributions (5)

golang/tools

Apr 2021 - Jan 2023

[mirror] Go Tools

Role in this project:

Back-end Developer & System Architect

Contributions:56 commits, 2 comments in 1 year 9 months

Contributions summary:Tim primarily contributed to the development of core functionalities within the Go tools repository, focusing on improvements to the static analysis tools. Their work involved enhancing the code's ability to identify and report issues in code such as loop variables, build tags, and formatting directives. They made significant contributions to the SSA intermediate representation, with code modifications for monomorphization of generics and enhancements to the internal representation.

golanggo-toolscallgraphssasource-code-analysis

golang/go

Nov 2022 - Nov 2022

The Go programming language

Role in this project:

Back-end Developer

Contributions:1 review, 5 commits, 691 comments in 9 days

Contributions summary:Tim contributed primarily to the Go programming language repository. Their commits focused on improving the `cmd/vet` tool, specifically by enhancing its precision and adding new diagnostic checks related to time formats, loop variables, and error handling. Additionally, they made modifications to the import and export mechanisms, and updated dependencies. These changes suggest a focus on code quality, tooling, and internal compiler improvements within the Go project.

golanggopluscompilerprogramming-languageinterpreter

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial