Picture for Agostino Cortesi

Agostino Cortesi

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis

Add code
Dec 19, 2024
Viaarxiv icon

An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews"

Add code
Mar 08, 2023
Viaarxiv icon

Procedurally Provisioned Access Control for Robotic Systems

Add code
Oct 18, 2018
Figure 1 for Procedurally Provisioned Access Control for Robotic Systems
Figure 2 for Procedurally Provisioned Access Control for Robotic Systems
Figure 3 for Procedurally Provisioned Access Control for Robotic Systems
Figure 4 for Procedurally Provisioned Access Control for Robotic Systems
Viaarxiv icon