AI Assisted Programming: (AISoLA 2024 Track Introduction)
Paper in proceeding, 2025
This is an introduction to the track ‘AI Assisted Programming’ (AIAP), organized at the second instance of the AISoLA conference during the period October 30 - November 3, 2024. AISoLA as a whole aims to study opportunities and risks of late advances of AI. The motivation behind the AIAP track in particular, which also takes place the second time, is the emerging use of large language models for the construction and analysis of software artifacts. An overview of the track presentations is provided.
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Bernhard K. Aichernig
Graz University of Technology, Institute of Software Technology
Klaus Havelund
California Institute of Technology (Caltech)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 15217 LNCS 101-1069783031754333 (ISBN)
2nd International Conference on Bridging the Gap Between AI and Reality, AISoLA 2024
Crete, Greece,
Crete, Greece,
Subject Categories (SSIF 2025)
Software Engineering
Artificial Intelligence
DOI
10.1007/978-3-031-75434-0_7