Narges Shadab
Senior Software Engineer at Oracle
San Diego, California, United States
Summary
🤩
Rockstar🎓
Top SchoolNarges Shadab is a Senior Software Engineer based in San Diego with six years of experience bridging research and industry, currently building software at Oracle after a long research tenure at UC Riverside. She holds MS and PhD-level training in computer science and has interned at Microsoft and Uber, blending deep academic rigor with practical engineering at scale. Narges is an active back-end contributor to the well-known checker-framework project, improving the Resource Leak Checker to reduce false positives and handle try-with-resources edge cases—work that surfaces her attention to correctness and toolchain robustness. Comfortable navigating both research codebases and production systems, she brings a track record of diagnosing subtle bugs (including ClassCastException scenarios) and encoding ownership semantics to prevent resource leaks.
6 years of coding experience
6 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of California, RiversideBachelor of Applied Science (BASc), Information Technology, Bachelor of Applied Science (BASc), Information Technology at Sharif University of Technology
Github Skills (11)
type-system10
javas10
typescript10
typesc10
verification10
java10
annotations10
annotation-processing10
data-analysis9
dataflow9
analyse9
Programming languages (3)
Github contributions (5)
typetools/checker-framework
Jan 2021 - Jan 2023
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:87 reviews, 10 commits, 21 PRs in 2 years
Contributions summary:Narges primarily contributed to the Resource Leak Checker (RLC) component within the checker-framework project, focusing on improving its accuracy and handling of try-with-resources statements. They implemented fixes for false positives and ClassCastExceptions, addressing issues related to assignments in try-with-resources. Their work also involved inferring the @Owning annotation for final owning fields, enhancing the checker's ability to identify and prevent resource leaks. Additionally, the user addressed bugs and improved the interaction of the RLC with other components.
checkingverificationtype-checkingpluggablejava
Nargeshdb/zookeeper
Aug 2020 - Jul 2023
Mirror of Apache Hadoop ZooKeeper
Contributions:91 pushes, 19 branches in 2 years 11 months
zookeeperapachebig-datasparkapache-flink
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.