Rashmi Mudduluru
Static Analysis Engineer
San Jose, California, United States
Summary
🤩
Rockstar🎓
Top SchoolRashmi Mudduluru is a Static Analysis Engineer in San Jose with a decade of experience blending research-grade formal methods and practical tooling to improve software safety and security. Currently at Apple, she applies deep expertise from a PhD-level background at University of Washington to build compile-time checkers and static analyses for real-world Java codebases. Her open-source contributions to the widely used Checker Framework show hands-on work on pluggable type checking, annotation processing, and security hardening of core Java components like Collections and EnumMap. Prior internships at AWS and Facebook (Meta) involved building compile-time integrity verifiers and formalizing safety invariants for consensus code, demonstrating a rare mix of systems security and formal verification. Earlier research at Microsoft Research India produced runtime tools that found real production liveness and race bugs, highlighting an emphasis on turning academic insight into actionable tooling. She brings a pragmatic, evidence-driven approach to preventing subtle correctness and security bugs before they reach production.
10 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of WashingtonMaster of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at Indian Institute of Science
Hindi, Telugu, Tamil, Marathi
Github Skills (13)
javas10
type-checking10
api10
type-check10
api-design10
java10
annotations10
annotation-processing10
collections9
it-security8
security8
architecture8
architectures8
Programming languages (6)
Github contributions (5)
typetools/checker-framework
Aug 2018 - Oct 2020
Pluggable type-checking for Java
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:2 reviews, 38 commits, 26 PRs in 2 years 2 months
Contributions summary:Rashmi contributed significantly to the checker-framework project, focusing on the Java codebase. Their work involved core changes to the core system, specifically related to type checking features, and the annotation processing framework. The user worked on various components like Collections, EnumMap, and also provided test cases to ensure the type safety. The user implemented security improvements by removing restrictions.
checkingverificationtype-checkingpluggablejava
t-rasmud/libra
Jul 2019 - Sep 2019
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Contributions:73 pushes, 9 branches in 1 month
financialreactjavascriptinfrastructurecurrency
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.