Soline Ducousso

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Neural Computation

Computational Neuroscience

Biologically Inspired

Top Venues

Publications

Soline Ducousso, Sébastien Bardin, Marie-Laure Potet
Adversarial Reachability for Program-level Security Analysis. ESOP (2023)
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
Typilus: Neural Type Hints. CoRR (2020)
Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao
Typilus: neural type hints. PLDI (2020)