Vincenzo Arceri
Orcid: 0000-0002-5150-0393
According to our database1,
Vincenzo Arceri
authored at least 28 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., December, 2024
Int. J. Softw. Tools Technol. Transf., October, 2024
Int. J. Softw. Tools Technol. Transf., August, 2024
J. Softw. Evol. Process., August, 2024
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis.
CoRR, 2024
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access, 2024
Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the Static Analysis - 30th International Symposium, 2023
Proceedings of the Machine Learning, Optimization, and Data Science, 2023
Proceedings of the International Database Engineered Applications Symposium Conference, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
2021
ACM Trans. Priv. Secur., 2021
Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021
2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
2019
Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2017
2016
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016