David Baker Effendi
Senior Software Engineer @ Brokk, Inc.

My current role is developing the code analysis for Brokk, enabling LLMs to have a more precise and interprocedural perspective on code for tasks such as generation, summarization, and reasoning.
From 2022 to June 2025, I was employed at Whirly Labs to lead the development of tailored static analysis solutions for clients, serving as the primary interface between Whirly Labs and its partners. My role included overseeing the creation and maintenance of tools while providing training materials to enable client teams to contribute effectively to these codebases.
I graduated with my Ph.D. in Computer Science at Stellenbosch University in March 2025. My PhD thesis, titled “An Approach to Modern Static Analysis with Property Graphs”, addresses practical limitations in static analysis of large-scale programs through a language-agnostic approach. This research leverages a combination of property graphs on database backends, parallel processing, and, in some cases, machine learning to overcome performance bottlenecks and enhance analysis maintainability for analyzing multiple languages.
To this day, I maintain a connection to the university through co-supervising postgraduate students on research topics related to static program analysis.