Simon Liénardy

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Invariant Representation

Invariant Properties

Top Venues

Publications

Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet
Graphical Loop Invariant Based Programming. FMTea (2023)
Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet
Graphical Loop Invariant Based Programming. FMTea (2022)
Simon Liénardy
Learning Computer Programming around a CAFÉ. ICER (2020)
Simon Liénardy, Laurent Leduc, Dominique Verpoorten, Benoit Donnet
Café: Automatic Correction and Feedback of Programming Challenges for a CS1 Course. ACE (2020)
Simon Liénardy, Benoit Donnet
GameCode: Choose your Own Problem Solving Path. ICER (2020)
Simon Liénardy, Benoit Donnet
Towards a Multipath TCP Aware Load Balancer. ANRW (2016)