Developer with more than 4 years of experience. From the very beginning of my career, I have been involved in one way or another with things related to compilers or static analysis of languages.
I have experience in the following areas:
- Writing lexers and parsers for various languages (PHP, Golang, TypeScript, Tact). From scratch and using generators such as Bison. Including for a huge amount of code (8 million lines of PHP code). I also have experience in writing grammars for two languages (V, Spawn*) from scratch for Tree-sitter.
- Writing static analyzers (NoVerify, NoColor)
- Writing compilers (Spawn, KPHP, Tact, understand the concepts of SSA, IR, CFG, DFA
- Writing plugins for JetBrains IDEs, from scratch: AdmStorm, NoColor, Modulite, Vlang, Spawn, including experience working on PhpStorm at JetBrains
- Writing plugins for VS Code: v-analyzer, spawn-analyzer and Tact
- Writing Language Servers: v-analyzer, spawn-analyzer and Tact
- Writing specifications and documentation for the language (Spawn)
- Writing additional tools for the language (spawnfmt, spawnpkg, spawnup, spawnprof)