I am a maître de conférences (~ associate professor, tenured) in the IRIF laboratory.
(Enseignement.)
Broadly, the theory and practice of programming languages. Specifically:
Modalities and Parametric Adjoints
Gratzer, Cavallo, Kavvos, G., and Birkedal. In Transactions on Computational Logic, 2022. ACM DL local copy
Time Warps, from Algebra to Algorithms
van Gool, G., Metcalfe, Santschi In Relational and Algebraic Methods in Computer Science (RAMICS) 2021.
A Generalized Modality for Recursion
In Logic in Computer Science (LICS) 2018. arXiv local copy
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Acar, Charguéraud, G., Rainey, and Sieczkowski. In Programming Language Design and Implementation (PLDI) 2018. local copy
Hierarchical Memory Management for Mutable State
G., Westrick, Raghunathan, Acar, and Fluet. In Principles and Practice of Parallel Programming (PPoPP) 2018. arXiv local copy
Correct and Efficient Bounded FIFO Queues
Lê, G., Cohen, and Pop. In Computer Architecture and High Performance Computing (SBAC-PAD) 2013. HAL local copy
A Modular Memory Optimization for Synchronous Data-flow Languages
Gérard, G., Pasteur, and Pouzet. In Languages, Compilers, and Tools for Embedded Systems (LCTES) 2012. Best paper award. HAL local copy
Bursty Kahn Networks and Integer Clocks
G. and Mandel. In Journées Francophones des Langages Applicatifs (JFLA) 2014. local copy (French)
Synchronous Functional Programming with Integer Clocks
PhD thesis, supervised by Cohen and Pouzet, 2016. theses.fr local copy
Synchronous Machines: a Traced Category
Bagnol and G. Draft, 2012. HAL
From SCADE/Lustre to VHDL
G. and Pouzet. Experience report, 2010. local copy (French)
Over the years I have been involved in several research compilers for synchronous languages.
I also develop and maintain some tiny utilities for my own usage.
Some quotations.