@inproceedings{diagostino2026rvectors,
  title     = {Towards Statically Reasoning About {R} Vectors},
  author    = {Manuel Di Agostino and Florian Sihler and Vincenzo Arceri and Oliver Gerstl and Matthias Tichy},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2026)},
  year      = {2026},
  month     = oct,
  publisher = {ACM},
  address   = {Oakland, California, USA},
  note      = {Co-located with SPLASH/ISSTA 2026. To appear},
  doi       = {10.1145/3840563.3843708}
}

@mastersthesis{diagostino2026rvectorsthesis,
  title  = {Towards Statically Reasoning About {R} Vectors},
  author = {Manuel Di Agostino},
  year   = {2026},
  month  = jul,
  school = {University of Parma},
  note   = {Supervisor: Prof. Vincenzo Arceri. Advisor: Florian Sihler (Erasmus+ exchange at Ulm University)}
}

@misc{diagostino2024llmerrors,
  title     = {Automatic Detection of Programming Errors in {LLM}-Generated Code},
  author    = {Manuel Di Agostino},
  year      = {2024},
  month     = jul,
  type      = {Bachelor's Thesis},
  school    = {University of Parma},
  note      = {Supervisors: Prof. Enea Zaffanella and Prof. Vincenzo Arceri. Grade: 110/110 cum laude}
}