| Extending type theory with forcing G Jaber, N Tabareau, M Sozeau 2012 27th Annual IEEE Symposium on Logic in Computer Science, 395-404, 2012 | 46 | 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 | 36 | 2016 |
| A computational interpretation of forcing in type theory T Coquand, G Jaber Epistemology versus Ontology, 203-213, 2012 | 18 | 2012 |
| A note on forcing and type theory T Coquand, G Jaber Fundamenta Informaticae 100 (1-4), 43-52, 2010 | 18 | 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 |
| Operational nominal game semantics G Jaber International Conference on Foundations of Software Science and Computation …, 2015 | 15 | 2015 |
| Kripke Open Bisimulation G Jaber, N Tabareau Asian Symposium on Programming Languages and Systems, 271-291, 2015 | 12 | 2015 |
| SyTeCi: automating contextual equivalence for higher-order programs with references G Jaber Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 10 | 2019 |
| 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 | 10 | 2011 |
| 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 | 3 | 2021 |
| A Trace Semantics for System F Parametric Polymorphism G Jaber, N Tzevelekos International Conference on Foundations of Software Science and Computation …, 2018 | 3 | 2018 |
| A Kripke logical relation for effect-based program transformations L Birkedal, G Jaber, F Sieczkowski, J Thamsborg Information and Computation 249, 160-189, 2016 | 3 | 2016 |
| Games, mobile processes, and functions G Jaber, D Sangiorgi 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)., 2022 | 1 | 2022 |
| Complete trace models of state and control G Jaber, AS Murawski Programming Languages and Systems 12648, 348, 2021 | 1 | 2021 |
| Modal Logic of Transition Systems in the Topos of Trees C Riba, G Jaber | 1 | 2017 |
| A logical study of program equivalence G Jaber Ecole des Mines de Nantes, 2014 | 1 | 2014 |
| Decomposing Logical Relations with Forcing G Jaber, N Tabareau | 1 | 2011 |
| Theorems for Free from Separation Logic Specifications N Tzevelekos, G Jaber, L Birkedal, T DINSDALE-YOUNG, A GUÉNEAU, ... | | 2021 |
| Temporal Refinements for Guarded Recursive Types G Jaber, C Riba Programming Languages and Systems 12648, 548, 2021 | | 2021 |
