Maxim Menshikov
Reinventing how software is built
Function context detection in the program source code Research
The first (naive) paper about static analysis and how to organize collection of execution contexts.