David Levit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ITP | A Proof-Producing Compiler for Blockchain Applications. | Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman |
| 2023 | SODA | Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Low-degree Extension in Time | Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit |
| 2022 | CPP | A verified algebraic representation of cairo program execution. | Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman |
| 2022 | TCC | Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves - (ECFFT Part II). | Eli Ben-Sasson, Dan Carmon, Swastik Kopparty, David Levit |