Mon 15 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 10:30 | Opening + Keynote1 + AIware VisionMain Track / Late Breaking Arxiv Track at Mandacaru Chair(s): Dayi Lin Centre for Software Excellence, Huawei Canada | ||
09:00 15mDay opening | Welcome and opening Main Track | ||
09:15 45mKeynote | Building AI Agents for Software Engineering Tasks Main Track Gustavo Soares Microsoft | ||
10:00 5mPaper | Automatic Programming vs. Artificial Intelligence Main Track James Noble Independent. Wellington, NZ DOI | ||
10:05 5mPaper | Towards AI for Software Systems Main Track DOI | ||
10:10 5mPaper | Morescient GAI for Software Engineering Late Breaking Arxiv Track Pre-print | ||
10:15 15mLive Q&A | Session Q&A and topic discussions Main Track |
Tue 16 JulDisplayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 10:30 | Opening Day2 + Keynote2 + AIware for Domain-specific ApplicationsLate Breaking Arxiv Track / Main Track at Mandacaru Chair(s): Jie M. Zhang King's College London | ||
09:00 5mDay opening | Opening for day 2 Main Track | ||
09:05 45mKeynote | Semantic-Aware AI: Elevating the Future of Software Development Main Track Baishakhi Ray Columbia University, New York; AWS AI Lab | ||
09:50 10mPaper | SolMover: Smart Contract Code Translation Based on Concepts Main Track Rabimba Karanjai University of Houston, Lei Xu Kent State University, Weidong Shi University of Houston DOI | ||
10:00 5mPaper | The Art of Programming: Challenges in Generating Code for Creative Applications Main Track Michael Cook King’s College London DOI | ||
10:05 5mPaper | Neuro-Symbolic Approach to Certified Scientific Software Synthesis Main Track Hamid Bagheri University of Nebraska-Lincoln, Mehdi Mirakhorli Rochester Institute of Technology, Mohamad Fazelnia University of Hawaii at Manoa, Ibrahim Mujhid University of Hawaii at Manoa, Md Rashedul Hasan University of Nebraska-Lincoln DOI | ||
10:10 5mPaper | LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine Late Breaking Arxiv Track Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway Pre-print | ||
10:15 15mLive Q&A | Session Q&A and topic discussions Main Track |
Accepted Papers
Title | |
---|---|
Automated Scheduling for Thematic Coherence in Conferences Challenge Track DOI | |
Conference Program Scheduling using Genetic Algorithms Challenge Track DOI | |
Investigating the Potential of Using Large Language Models for Scheduling Challenge Track DOI |
Call for Challenge Papers
Overview
The 1st ACM International Conference on AI-powered Software will host an AI-augmented software (AIware) challenge. The AIware Challenge brings together researchers and practitioners who are interested in applying, comparing, and challenging their AI-based tools and approaches to a particular community-focused problem. For 2024, the challenge will centre around the creation of an AIware to create the program (aka schedule) of a conference.
Program creation is the process of taking all the accepted papers to a conference and allocating a presentation slot for each paper with parallel sessions. The PC chairs of a conference typically do this manually. Sample programs from the MSR conference can be seen below. Some of the constraints that make the creation of a program challenging are as follows:
Constraints:
- Total time for all presentations in a session cannot be longer than the length of the session.
- Total number of sessions has to be equal to the number of sessions provided by the PC chairs.
- If there are parallel tracks, then no two papers with common authors can be scheduled in parallel at the same time
When these constraints are met, the PC chairs optimize for the papers in a session to be on a similar topic and work to avoid the parallel scheduling of sessions with related topics. The input data sources for the challenge comprise the number of conference sessions, the length of each session, the number of parallel tracks, and the accepted papers in a particular conference along with all the corresponding data: title, topics, abstract, paper, authors and allocated time for the presentation of each paper. Authors of the AIware challenge can collect any other data related to the papers or the authors of those papers that they deem as suitable.
Data
The authors of the AIware challenge can get this data from past MSR’s here:
MSR 2023 program
MSR 2022 Program
Participation
Participating in the challenge is straightforward:
- Extract the data from 2023 and 2022 MSR conferences for testing. Use any data that you may want for training.
- Build your AIware that solves the program creation problem.
- Gather the results - discuss the differences with the human-generated program. Are they better or worse and why do you think so?
- Write up and submit your 2-page challenge report
Since the data from MSR is common, authors are encouraged to collaborate by sharing the extracted data. To facilitate and encourage the sharing of extracted data and early results, a dedicated Slack channel has been created for this:
Paper Details
The challenge report describes the results of your work. The reports should cover the following aspects:
- What data was used as input?
- Which AI model was used?
- How did you finetune or train the model?
- What is the architecture of your AIware solution?
- What prompts were used to query if any?
- What data did you use for training?
- What was your result - discuss the differences with the human-generated program of MSR 2023 and 2022.
- Were any hard constraints broken?
- Lessons learned and challenges in building such AIware?
Submission guidelines
Reports should be at most 2 pages long and in ACM 2-column format. See main track for more details.
Review and evaluation process
See main track for more details.
Awards
Attendees at AIware will select the winner of the best challenge submission.
Furthermore, we encourage all challenge participants to make their tools available for program chairs of future SE conferences to use.
Report submission is at:
https://aiware24challenge.hotcrp.com/
Important Dates
- All dates are 23:59:59 AoE (UTC-12h).
- Paper submission: Apr 10th, 2024
- Paper notification: May 10th, 2024
- Paper camera-ready: May 17th, 2024
- Conference dates: July 15th-16th, 2024
For more details send email to: mei.nagappan@uwaterloo.ca, tianyi@purdue.edu