Guilhem Jaber

24 papers A* 4A 2B 5C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
An abstract, certified account of operational game semantics.
ESOP (1)
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
2025 — conf
Artifact Report: an Abstract, Certified Account of Operational Game Semantics.
ESOP (1)
Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski
2025 J jnl
Games, mobile processes, and functions.
CoRR
Guilhem Jaber, Davide Sangiorgi
2025 C conf
Operational Game Semantics for Generative Algebraic Effects and Handlers.
PPDP
Hamza Jaafar, Guilhem Jaber
2023 B conf
Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.
FoSSaCS
Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet
2022 B conf
Games, Mobile Processes, and Functions.
CSL
Guilhem Jaber, Davide Sangiorgi
2021 A conf
Complete trace models of state and control.
ESOP
Guilhem Jaber, Andrzej S. Murawski
2021 J jnl
Complete trace models of state and control.
CoRR
Guilhem Jaber, Andrzej S. Murawski
2021 A* conf
Compositional relational reasoning via operational game semantics.
LICS
Guilhem Jaber, Andrzej S. Murawski
2021 A conf
Temporal Refinements for Guarded Recursive Types.
ESOP
Guilhem Jaber, Colin Riba
2021 J jnl
Theorems for free from separation logic specifications.
Proc. ACM Program. Lang.
Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2020 J jnl
SyTeCi: automating contextual equivalence for higher-order programs with references.
Proc. ACM Program. Lang.
Guilhem Jaber
2018 B conf
A Trace Semantics for System F Parametric Polymorphism.
FoSSaCS
Guilhem Jaber, Nikos Tzevelekos
2017 J jnl
Trace Properties from Separation Logic Specifications.
CoRR
Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos
2016 J jnl
A Kripke logical relation for effect-based program transformations.
Inf. Comput.
Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg
2016 A* conf
The Definitional Side of the Forcing.
LICS
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
2016 A* conf
Trace semantics for polymorphic references.
LICS
Guilhem Jaber, Nikos Tzevelekos
2016 J jnl
Trace semantics for polymorphic references.
CoRR
Guilhem Jaber, Nikos Tzevelekos
2015 B conf
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques.
APLAS
Guilhem Jaber, Nicolas Tabareau
2015 B conf
Operational Nominal Game Semantics.
FoSSaCS
Guilhem Jaber
2014 — —
A logical study of program equivalence. (Une étude logique de l'équivalence de programmes).
Guilhem Jaber
2012 — ch.
A Computational Interpretation of Forcing in Type Theory.
Epistemology versus Ontology
Thierry Coquand, Guilhem Jaber
2012 A* conf
Extending Type Theory with Forcing.
LICS
Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
2010 J jnl
A Note on Forcing and Type Theory.
Fundam. Informaticae
Thierry Coquand, Guilhem Jaber