Guilhem Jaber

According to our database, Guilhem Jaber authored at least 18 papers between 2010 and 2023.

Collaborative distances:

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

2023

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Games, Mobile Processes, and Functions.

Guilhem Jaber, Davide Sangiorgi

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Theorems for free from separation logic specifications.

Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos

Proc. ACM Program. Lang., 2021

Compositional relational reasoning via operational game semantics.

Guilhem Jaber, Andrzej S. Murawski

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Temporal Refinements for Guarded Recursive Types.

Guilhem Jaber, Colin Riba

Proceedings of the Programming Languages and Systems, 2021

Complete trace models of state and control.

Guilhem Jaber, Andrzej S. Murawski

Proceedings of the Programming Languages and Systems, 2021

2020

SyTeCi: automating contextual equivalence for higher-order programs with references.

Guilhem Jaber

Proc. ACM Program. Lang., 2020

2018

A Trace Semantics for System F Parametric Polymorphism.

Guilhem Jaber, Nikos Tzevelekos

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Trace Properties from Separation Logic Specifications.

Lars Birkedal, Thomas Dinsdale-Young, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos

CoRR, 2017

2016

A Kripke logical relation for effect-based program transformations.

Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg

Inf. Comput., 2016

Trace semantics for polymorphic references.

Guilhem Jaber, Nikos Tzevelekos

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

The Definitional Side of the Forcing.

Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Operational Nominal Game Semantics.

Guilhem Jaber

Proceedings of the Foundations of Software Science and Computation Structures, 2015

Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques.

Guilhem Jaber, Nicolas Tabareau

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

A logical study of program equivalence. (Une étude logique de l'équivalence de programmes).

Guilhem Jaber

PhD thesis, 2014

2012

A Computational Interpretation of Forcing in Type Theory.

Thierry Coquand, Guilhem Jaber

Proceedings of the Epistemology versus Ontology, 2012

Extending Type Theory with Forcing.

Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010

A Note on Forcing and Type Theory.

Thierry Coquand, Guilhem Jaber

Fundam. Informaticae, 2010