Gabriel Ebner -

Registered user since Tue 20 May 2025

Name:Gabriel Ebner

Country:United States

Affiliation:Microsoft Research

Personal website: https://gebner.org/

GitHub: https://github.com/gebner

Contributions

2025

PLDI

Author of PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs within the PLDI Research Papers-track

ICSE

Author of Towards Neural Synthesis for SMT-assisted Proof-Oriented Programming within the Research Track-track

POPL

Author of Symbolic Automata: omega-Regularity Modulo Theories within the POPL-track

Dafny

Author of Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming within the Dafny 2025-track

2024

CPP

Author of Lean Formalization of Extended Regular Expression Matching with Lookarounds within the CPP 2024-track