Blogs (5) >>
Thu 27 Feb 2025 11:22 - 11:41 at Meeting Rooms 302-303 - Improving Student Success [Online] Chair(s): Hedayat Zarkoob

In large programming classes, it takes a significant effort for teachers to evaluate exercises and provide detailed feedback. Test cases are not sufficient to assess systems programming exercises, since concurrency and resource management bugs are difficult to reproduce. This paper presents an experience report on the automatic evaluation of system programming exercises using static analysis. We present the design of systems programming assignments, and of static analysis rules that are tailored for each assignment to make them detailed and accurate. Our evaluation shows that static analysis can identify a significant number of erroneous submissions missed by test cases.

I am Associate Professor in Computer Engineering at the Federico II University of Naples, Italy. My research interests are in the field of software security and dependability. The main recurring theme of my research activity is the experimental injection of faults, attacks, and stressful conditions.

My research topics include: fuzzing and static analysis; red teaming, adversary emulation, cyber ranges; cyber threat intelligence; machine learning techniques for security; fault injection, robustness testing, dependability benchmarking; software aging and rejuvenation; applications in operating systems and in cloud, mobile, embedded, and virtualization technologies.

In 2022, I received the DSN Rising Star in Dependability Award from the IEEE Technical Committee on Dependable Computing and Fault Tolerance (TCFT) and the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, for research achievements within 10 years after PhD graduation.

Thu 27 Feb

Displayed time zone: Eastern Time (US & Canada) change

10:45 - 12:00
Improving Student Success [Online]Papers at Meeting Rooms 302-303
Chair(s): Hedayat Zarkoob University of British Columbia
10:45
18m
Talk
Tool-Assisted Learning of Computational ReductionsOnlineGlobal
Papers
Tristan Kneisel Ruhr University Bochum, Elias Radtke Ruhr University Bochum, Marko Schmellenkamp Ruhr University Bochum, Fabian Vehlken Ruhr University Bochum, Thomas Zeume Ruhr University Bochum
11:03
18m
Talk
Towards Integrating Behavior-Driven Development in Mobile Development: An Experience ReportOnline
Papers
Qiang Hao Western Washington University, Ruohan Liu Seattle University
11:22
18m
Talk
Evaluation of Systems Programming Exercises through Tailored Static AnalysisOnline
Papers
Roberto Natella Federico II University of Naples
11:41
18m
Talk
Retention Teaching Assistants for Supporting Student Performance in Introductory-level Computing ClassesOnline
Papers
Kazi Sinthia Kabir University of Utah, Eliane Wiese University of Utah, Travis Martin University of Utah, Sahil Karki University of Utah, Erin Parker University of Utah, Mary Hall University of Utah
:
:
:
: