Guilhem Jaber

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 14

Top Venues

FoSSaCS

LICS

CoRR

Proc. ACM Program. Lang.

École des mines de Nantes, France (PHD)

Education History

École des mines de Nantes, France

PHD

Publications

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts. FoSSaCS (2023)
Guilhem Jaber, Davide Sangiorgi
Games, Mobile Processes, and Functions. CSL (2022)
Guilhem Jaber, Colin Riba
Temporal Refinements for Guarded Recursive Types. ESOP (2021)
Guilhem Jaber, Andrzej S. Murawski
Compositional relational reasoning via operational game semantics. LICS (2021)
Guilhem Jaber, Andrzej S. Murawski
Complete trace models of state and control. ESOP (2021)
Guilhem Jaber, Andrzej S. Murawski
Complete trace models of state and control. CoRR (2021)
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
Theorems for free from separation logic specifications. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Guilhem Jaber
SyTeCi: automating contextual equivalence for higher-order programs with references. Proc. ACM Program. Lang. 4 (POPL) (2020)
Guilhem Jaber, Nikos Tzevelekos
A Trace Semantics for System F Parametric Polymorphism. FoSSaCS (2018)
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
Trace Properties from Separation Logic Specifications. CoRR (2017)
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
The Definitional Side of the Forcing. LICS (2016)
Guilhem Jaber, Nikos Tzevelekos
Trace semantics for polymorphic references. CoRR (2016)
Guilhem Jaber, Nikos Tzevelekos
Trace semantics for polymorphic references. LICS (2016)
Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg
A Kripke logical relation for effect-based program transformations. Inf. Comput. 249 (2016)
Guilhem Jaber
Operational Nominal Game Semantics. FoSSaCS (2015)
Guilhem Jaber, Nicolas Tabareau
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. APLAS (2015)
Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
Extending Type Theory with Forcing. LICS (2012)
Thierry Coquand, Guilhem Jaber
A Note on Forcing and Type Theory. Fundam. Informaticae 100 (1-4) (2010)

Guilhem Jaber.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guilhem Jaber