Waleed Khan

Education

–
Ann Arbor, MI
summa cum laude

Experience

– Present
Seattle, WA
  • Figma
  • Software Engineer
  • Environments & Tools
Go, Typescript
  • Leading team of 6 to build and deploy our internal platform for remote development & background AI agents.
– Present
Remote
Rust
–
Seattle, WA
Python, C++
  • Built system to automatically sync/sanitize "intern-safe" version of codebase (48+ stakeholders).
  • Led team of 3 to optimize and incrementalize build system. No-op build time: 15sec → 6sec.
–
Seattle, WA
  • Twitter
  • Software Engineer
  • Scala Language & Tools / Source Control
Rust, Scala, Java
  • Led team of 4 to develop tool to derive Git sparse checkouts from Bazel.
    Typical git status time: 3sec → 200ms.
  • Migrated compiler rulesets, code generation pipelines from Pants to Bazel.
  • Integrated formatting and linting tooling into command-line workflows.
–
Seattle, WA
  • Facebook
  • Software Engineer
  • Hack Language
OCaml, Rust, Javascript, Hack
  • Formalized and proved the correctness of Hack's incremental typechecking algorithm.
  • Migrated Hack to use the Language Server Protocol, providing support for all major editors.
  • Developed linting system for Hack code, now supporting hundreds of lint rules.
  • Developed monorepo-scale refactoring system. Typical job time: 12hr → 15min.
  • Developed low-latency IDE server. Worst-case startup time: 5min → 10sec.
–
Seattle, WA
  • Facebook
  • Software Engineer (Intern)
  • Phabricator
HTML, CSS, Javascript, Hack, MySQL
–
Seattle, WA
  • Amazon
  • Software Engineer (Intern)
  • Digital Ordering Experience
Java, XML, DynamoDB
  • Developed alerting for pre-order release events to scale resources preemptively.
–
Ann Arbor, MI
HTML, CSS, Javascript, PHP, Python, Perl, MySQL, Bash
  • Streamlined automatic-grading web application. Core workflow: 6 clicks → 1 click.

Selected Talks

Selected Projects

detect-recruiter-spam

ML email bot (pre-LLM). Responds to unsolicited email with leveling requirements.

32 ★