TY - RPRT TI - Evaluation of Systems Programming Exercises through Tailored Static Analysis AU - Roberto Natella PY - 2024 DO - 10.1145/3641554.3701836 UR - https://arxiv.org/abs/2410.17260 ID - 2410.17260 ER -