I am a programming-languages enthusiast, interested in questions of expressivenes, and the interplay with logic. I am contributing code to mypy, a static type checker for Python. Check it out, it works!
Publications:
- PLDI ‘19: Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv.
github.com/vbpf/ebpf-verifier
