Yoav Seginer

According to our database, Yoav Seginer authored at least 7 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Proof-Producing Compiler for Blockchain Applications.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

A verified algebraic representation of cairo program execution.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2018

Query-based object-oriented programming: a declarative web of objects.

Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2007

Fast Unsupervised Incremental Parsing.

Yoav Seginer

Proceedings of the ACL 2007, 2007

2003

Learning Context Free Grammars in the Limit Aided by the Sample Distribution.

Yoav Seginer

Proceedings of the Workshop and Tutorial on Learning Contex-Free Grammars, 2003

2002

Fast Learning from Strings of 2-Letter Rigid Grammars.

Yoav Seginer

Proceedings of the Grammatical Inference: Algorithms and Applications, 2002

2000

The Expected Norm Of Random Matrices.

Yoav Seginer

Comb. Probab. Comput., 2000