Yoav Seginer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–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 |
| 2022 | CPP | A verified algebraic representation of cairo program execution. | Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman |
| 2018 | DLS | Query-based object-oriented programming: a declarative web of objects. | Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny |
| 2007 | ACL | Fast Unsupervised Incremental Parsing. | Yoav Seginer |