Typilus: neural type hints. - Miltiadis Allamanis; Earl T. Barr; Soline Ducousso; Zheng Gao (PLDI, 2020)

Adversarial Reachability for Program-level Security Analysis. - Soline Ducousso; Sébastien Bardin; Marie-Laure Potet (ESOP, 2023)

Moving code analysis from safety to security: attacker model. (Aller de la sûreté à la sécurité en analyse de code: le modèle d'attaquant). - Soline Ducousso (2023)