AO challenge - implementing the ACID properties for transactional objects. - Jörg Kienzle; Samuel Gélineau (AOSD, 2006)

AspectOptima: A Case Study on Aspect Dependencies and Interactions. - Jörg Kienzle; Ekwa Duala-Ekoko; Samuel Gélineau (LNCS Trans. Aspect Oriented Softw. Dev., 2009)

Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). - Junyoung Jang 001; Samuel Gélineau; Stefan Monnier; Brigitte Pientka (CoRR, 2021)

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. - Junyoung Jang 001; Samuel Gélineau; Stefan Monnier; Brigitte Pientka (Proc. ACM Program. Lang., 2022)