Gabriel Ebner

25 papers A* 3A 2B 4C 2Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
Finiteness of Symbolic Derivatives in Lean.
ITP
Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner
2025 J jnl
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs.
Proc. ACM Program. Lang.
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 A* conf
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.
CCS
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 J jnl
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.
CoRR
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 J jnl
Symbolic Automata: Omega-Regularity Modulo Theories.
Proc. ACM Program. Lang.
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
2025 A* conf
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
ICSE
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2025 J jnl
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus.
CoRR
Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury
2024 B conf
Lean Formalization of Extended Regular Expression Matching with Lookarounds.
CPP
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
2024 J jnl
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
CoRR
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2023 B conf
An Extensible User Interface for Lean 4.
ITP
Wojciech Nawrocki, Edward W. Ayers, Gabriel Ebner
2023 J jnl
Symbolic Automata: ω-Regularity Modulo Theories.
CoRR
Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi
2023 J jnl
Unifying Splitting.
J. Autom. Reason.
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
2022 A* conf
HyperTree Proof Search for Neural Theorem Proving.
NeurIPS
Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
2022 J jnl
HyperTree Proof Search for Neural Theorem Proving.
CoRR
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
2021 A conf
A Unifying Splitting Framework.
CADE
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
2020 C conf
Maintaining a Library of Formal Mathematics.
CICM
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
2020 J jnl
Maintaining a Library of Formal Mathematics.
CoRR
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
2019 B conf
Herbrand Constructivization for Automated Intuitionistic Theorem Proving.
TABLEAUX
Gabriel Ebner
2019 J jnl
On the Generation of Quantified Lemmas.
J. Autom. Reason.
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
2018 C conf
Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars.
DLT
Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl
2018 — conf
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.
PAAR@FLoC
Gabriel Ebner, Matthias Schlaipfer
2018 — conf
Fast Cut-Elimination using Proof Terms: An Empirical Study.
CL&C
Gabriel Ebner
2017 J jnl
A metaprogramming framework for formal verification.
Proc. ACM Program. Lang.
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo de Moura
2017 J jnl
Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars.
ACM Trans. Comput. Log.
Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl
2016 A conf
System Description: GAPT 2.0.
IJCAR
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota