The Wayback Machine - https://web.archive.org/web/20240917191713/https://github.com/elazarg
Skip to content
View elazarg's full-sized avatar
32 followers · 13 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@np-guard

Block or report elazarg

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
elazarg/README.md

Hi, I'm Elazar Gershuni! 👋

I'm a Ph.D. candidate at the Technion. I am the principal maintainer of the new eBPF verifier that is part of the ebpf-for-windows project, initiated by Microsoft. I am working on formal verification of software, and Hebrew NLP (check out this diacritizer). I have contributed heavily to mypy, anyway and recently to IBM's np-guard.

Publications:

Contact:

Pinned Loading

  1. vbpf/ebpf-verifier vbpf/ebpf-verifier Public

    eBPF verifier based on abstract interpretation

    C++ 376 39

  2. pythia pythia Public

    Pointer Analysis of CPython Bytecode using Abstract Interpretation

    Python 4

  3. nakdimon nakdimon Public

    Hebrew Diacritizer

    Python 27 6

  4. anyway anyway Public

    Forked from data-for-change/anyway

    ANYWAY - Car accidents map

    Python

  5. disjoint_set_wait_free disjoint_set_wait_free Public

    An efficient wait-free implementation of a concurrent disjoint-set data structure

    C 1 1

  6. uncalled uncalled Public

    Finding unused functions in Python projects

    Python 16 1