Julian Dolby
Principal Researcher at Certora
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolJulian Dolby is a Principal Researcher with 24+ years of experience building program analysis, testing, semantic web, and AI tooling, most recently joining Certora after a 25-year tenure at IBM's Thomas J. Watson Research Center. He is a primary author of the open-source WALA analysis framework—whose JavaScript and Java analyses underpinned IBM AppScan—and has guided work that became IBM product features such as RDF support in DB2 and the Refactor Assistant in Watson Code Assistant for Z. His research spans static and dynamic techniques, from finding concurrency bugs with model checking to scalable ontology inference and practical AI-for-code efforts like Project CodeNet. Trained at UW–Madison and UIUC, he blends deep systems and programming-model expertise with a knack for turning research into deployable engineering, evidenced by long-running product integrations and influential publications. Less obvious is his sustained focus on real-world edge cases in language interoperability and exception-flow handling, which repeatedly improved tool robustness in production contexts.
25 years of coding experience
B.A. Computer Science, B.A. Computer Science at University of Wisconsin-MadisonUniversity of Illinois Urbana-Champaign
Github Skills (8)
javas10
exception-handling10
java10
control-flow9
flow-control9
analyse8
data-analysis8
dataflow8
Programming languages (12)
Github contributions (5)
wala/WALA
Dec 2006 - Sep 2021
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 41 reviews, 1597 commits in 14 years 11 months
Contributions summary:Julian's contributions focus on improving the handling of JavaScript and Java interaction and code, including the refinement of edge case handling in exception flows. Their commits demonstrate a deep understanding of the project's architecture. Further contributions include the addition of code to handle more complex interactions, as well as general cleanups and bug fixes.
androidfrontendjavajavascriptstatic-analysis
juliandolby/WALA
May 2022 - Oct 2025
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Contributions:24 reviews, 35 PRs, 88 pushes in 3 years 5 months
androidjavajavascript
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.