Mayank Patke
Software Engineer at Google
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMayank Patke is a software engineer with 11 years of experience specializing in compiler and type-system work, currently contributing to Dart web compilers at Google. He has a track record at major tech companies including Facebook, where he worked on Flow and site integrity, and early internships that grounded him in production infrastructure. On GitHub he’s made substantive compiler-internal contributions to the widely used dart-lang/sdk, notably reshaping dart2js runtime type handling and implementing type variable evaluation and RTI features. Based in Seattle, he combines deep backend systems expertise with practical delivery experience across large codebases. His career shows a consistent focus on language runtime correctness and engineering trade-offs that enable robust web compilation.
12 years of coding experience
1 year of employment as a software developer
University of Michigan
Github Skills (5)
compiler10
compiler-design10
type-inference10
dart10
internals10
Programming languages (10)
Github contributions (5)
dart-lang/sdk
Feb 2019 - Nov 2022
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:379 commits, 313 comments, 144 issues in 3 years 9 months
Contributions summary:Mayank's primary focus appears to be on the Dart SDK, particularly related to its compiler. Their work involved splitting and restructuring code within the `dart2js` compiler, specifically dealing with runtime types. Contributions include emitting new rules for the new runtime type information (RTI), implementing type variable evaluation, and adding support for various functionalities like optional named parameters in function RTI. This indicates a strong focus on compiler internals and runtime type analysis.
compilerdartjssdkprogramming-language
fishythefish/astexplorer
Apr 2018 - Nov 2018
A web tool to explore the ASTs generated by various parsers.
Contributions:4 pushes, 2 branches in 6 months
web-toolparsersexploreastparser
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.