Soline Ducousso

According to our database, Soline Ducousso authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

PhD thesis, 2023

Adversarial Reachability for Program-level Security Analysis.

Soline Ducousso, Sébastien Bardin, Marie-Laure Potet

Proceedings of the Programming Languages and Systems, 2023

2020

Typilus: neural type hints.

Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020