Lightning Talk: How we Grade C++ Assignments - Hans de Nivelle - CppNow 2023

www.cppnow.org​
/ cppnow
---
Lightning Talk: How we Grade C++ Assignments - Hans de Nivelle - CppNow 2023
Slides: github.com/boostcon/cppnow_pr...
---
I explain how we grade C++ assignments are Nazarbayev University. It's mostly automated by me: Goal is to quickly provide high-quality feedback to students. We run automatic tests, but also also inspect all code. Problems are: Large number of students, few staff. Not all staff enjoys C++. Coding is hard. Tests must be independent. Some students are stubborn.
---
Hans de Nivelle
From 1999 to 2007, Hans de Nivelle worked as a full-time researcher at Max-Planck Institute for Computer Science in Saarbruecken, Germany. His research topic was automated theorem proving. This is the art of automatically finding logical proofs by a computer program. This involves search, which needs efficient implementation. He initially used C for implementating theorem provers, but switched to C++ in 2003.
After 2005, HdN became interested in verification of mathematical proofs He implemented several small interactive verification programs in C++. This was very tedious, so he tried various other languages, but he always returned to C++.
From 2007-2017, HdN was a professor at University of Wroclaw, Poland, where he continued doing research on automated theorem proving in combination with interactive theorem proving. In Wroclaw, he taught logic, theory of computation, compiler construction, flight simulation, and programming in C++.
From 2018 until present, Hans de Nivelle is professor at Nazarbayev University in Astana, Kazakhstan. During this time, he has been teaching programming in Haskell, Prolog, Java, Python, C, and C++, as well as formal language theory, complexity theory, and compiler construction. He is currently developing a new programming language specialized for implementation of logic. During the development of the compiler, he noticed that there is no suitable parser generator for C++, so he created Maphoon, which was presented last year at CppNow. While studying the problem of how to compile the programming language into C, he observed that the new techniques can also be used directly in C++.
---
Video Sponsors: think-cell and Bloomberg Engineering
Audience Audio Sponsors: Innoplex and Maryland Research Institute
---
Videos Filmed & Edited By Bash Films: bashfilms.com/
KZbin Channel Managed & Optimized By Digital Medium Ltd: events.digital-medium.co.uk
---
CppNow 2024
www.cppnow.org​
/ cppnow
---
#boost #cpp #education

[@travismcgaha5743]

Loved the talk. I wonder how inspecting student code can be done to scale though. 250 students a year (125 a semester?) sounds like a lot of code to look over. Especially when there are 7 exercises and four projects per student. How does he look over every students submission? How much time does it take?