Extending type theory with forcing G Jaber, N Tabareau, M Sozeau 2012 27th Annual IEEE Symposium on Logic in Computer Science, 395-404, 2012 | 49 | 2012 |

The Definitional Side of the Forcing G Jaber, G Lewertowski, PM Pédrot, M Sozeau, N Tabareau Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 37 | 2016 |

Operational nominal game semantics G Jaber Foundations of Software Science and Computation Structures: 18th …, 2015 | 24 | 2015 |

A computational interpretation of forcing in type theory T Coquand, G Jaber Epistemology versus Ontology: Essays on the Philosophy and Foundations of …, 2012 | 24 | 2012 |

A note on forcing and type theory T Coquand, G Jaber Fundamenta Informaticae 100 (1-4), 43-52, 2010 | 23 | 2010 |

Krivine realizability for compiler correctness G Jaber, N Tabareau Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, 2010 | 17 | 2010 |

Trace semantics for polymorphic references G Jaber, N Tzevelekos Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 16 | 2016 |

Theorems for free from separation logic specifications L Birkedal, T Dinsdale-Young, A Guéneau, G Jaber, K Svendsen, ... Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 14 | 2021 |

SyTeCi: automating contextual equivalence for higher-order programs with references G Jaber Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 13 | 2019 |

Kripke Open Bisimulation: A Marriage of Game Semantics and Operational Techniques G Jaber, N Tabareau Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 11 | 2015 |

Games, mobile processes, Dfunctions G Jaber, D Sangiorgi CSL 2022-30th EACSL Annual Conference on Computer Science Logic, 1-35, 2022 | 9 | 2022 |

The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code G Jaber, N Tabareau Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, 2011 | 9 | 2011 |

Complete trace models of state and control G Jaber, AS Murawski Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 7 | 2021 |

A Kripke logical relation for effect-based program transformations L Birkedal, G Jaber, F Sieczkowski, J Thamsborg Information and Computation 249, 160-189, 2016 | 6 | 2016 |

Compositional relational reasoning via operational game semantics G Jaber, AS Murawski 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 5 | 2021 |

Temporal Refinements for Guarded Recursive Types G Jaber, C Riba European Symposium on Programming, 548-578, 2021 | 5 | 2021 |

A Trace Semantics for System F Parametric Polymorphism G Jaber, N Tzevelekos Foundations of Software Science and Computation Structures: 21st …, 2018 | 5 | 2018 |

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts D Hirschkoff, G Jaber, E Prebet Foundations of Software Science and Computation Structures LNCS 13992, 24, 2023 | 1 | 2023 |

Deciding contextual equivalence of ν-calculus with effectful contexts (full version) D Hirschkoff, G Jaber, E Prebet | 1* | 2023 |

Modal Logic of Transition Systems in the Topos of Trees C Riba, G Jaber | 1 | 2017 |