elazarg - Overview

Elazar Gershuni

I build programming-language and static-analysis systems.

I am the chief maintainer of PREVAIL, an abstract-interpretation eBPF verifier, and I am porting it to Rust in prevail-rust.

My main work right now is the Vegas program:

• foundations for reasoning about strategic protocols,
• the vegas compiler, which turns specifications into analyzable and executable artifacts,
• thrones, a workbench for interactive game-theoretic analysis.

The thread across this work is practical rigor at the boundary of game theory, blockchain protocols, formal verification, HCI and applied cryptography.

Other projects:

• pythia: static analysis for Python bytecode.
• nakdimon: Hebrew NLP.
• mypy: contributor; I especially valued working with Guido van Rossum and the team through GitHub collaboration.
• anyway: civic-tech contribution to road-safety transparency.

Selected publication:

• Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions (PLDI 2019)

Contact:

• elazarg@gmail.com
• linkedin/elazar-gershuni