posted by user: jaichberg || 602 views || tracked by 1 users: [display]

APR 2023 : 4th International Workshop on Automated Program Repair

FacebookTwitterLinkedInGoogle

Link: http://program-repair.org/workshop-2023/
 
When May 16, 2023 - May 16, 2023
Where Melbourne, Australia
Submission Deadline Jan 20, 2023
Notification Due Feb 24, 2023
Final Version Due Mar 17, 2023
 

Call For Papers

We invite submissions that discuss recent developments in the theory and practice of automated program repair. The workshop will provide an opportunity for researchers interested in program repair to exchange ideas and find out about current research directions in the field. A particular emphasis of this workshop is on reducing the gap between academic research on automated program repair and the demands of industry.

This workshop will explore topics related to:

- Quality of automatically generated patches, overfitting analysis
- Scalability of program repair algorithms
- Repair of domain-specific bugs
- Applications of program repair
- Deployment of program repair
- Case studies on program repair
- Program repair tools
- Program repair benchmarks
- Dynamic and static analysis for program repair
- Machine learning of code for program repair
- Testing and verification for program repair
- Fault localization for program repair
- Program repair and DevOps
- Debugging and program repair
- Program synthesis for program repair

For further information see: http://program-repair.org/workshop-2023/

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
IDEAL 2024   Intelligent Data Engineering and Automated Learning
EG 2025   Eurographics - Full Papers Program
JSS SI: AI testing and analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
ICMLSC 2025   9th International Conference on Machine Learning and Soft Computing
PSSV 2024   Workshop Program Semantics, Specification and Verification
CSL 2025   Computer Science Logic
ASYDE 2024   6th International Workshop on Automated and verifiable Software sYstem DEvelopment
SCAM 2024   Source Code Analysis and Manipulation
PPMSA@IDEAL 2024   Special Session on Predictive and Prescriptive Models for Smart Cities’ Applications at the 25th International Conference on Intelligent Data Engineering and Automated Learning