Simon Liénardy

According to our database, Simon Liénardy authored at least 6 papers between 2016 and 2023.

Collaborative distances:

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

2023

Graphical Loop Invariant Based Programming.

Géraldine Brieven, Simon Liénardy, Lev Malcev, Benoit Donnet

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

2021

Automatic Assessment Providing Feedback of Programs based upon Graphical Loop Invariants and its Integration in a CS1 Course.

Simon Liénardy

PhD thesis, 2021

2020

GameCode: Choose your Own Problem Solving Path.

Simon Liénardy, Benoit Donnet

Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

Learning Computer Programming around a CAFÉ.

Simon Liénardy

Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

Café: Automatic Correction and Feedback of Programming Challenges for a CS1 Course.

Simon Liénardy, Laurent Leduc, Dominique Verpoorten, Benoit Donnet

Proceedings of the ACE 2020, 2020

2016

Towards a Multipath TCP Aware Load Balancer.

Simon Liénardy, Benoit Donnet

Proceedings of the 2016 Applied Networking Research Workshop, 2016