Yoav Seginer

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 4

Top Topics

Program Execution

Top Venues

Publications

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A Proof-Producing Compiler for Blockchain Applications. ITP (2023)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of cairo program execution. CPP (2022)
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman
A verified algebraic representation of Cairo program execution. CoRR (2021)
Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny
Query-based object-oriented programming: a declarative web of objects. DLS (2018)
Yoav Seginer
Fast Unsupervised Incremental Parsing. ACL (2007)
Yoav Seginer
Learning Context Free Grammars in the Limit Aided by the Sample Distribution. ECML Workshop on Learning Contex-Free Grammars (2003)
Yoav Seginer
Fast Learning from Strings of 2-Letter Rigid Grammars. ICGI (2002)
Yoav Seginer
The Expected Norm Of Random Matrices. Comb. Probab. Comput. 9 (2) (2000)