posted by user: jaichberg || 520 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
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
IDEAL 2024   Intelligent Data Engineering and Automated Learning
ICMLSC 2025   9th International Conference on Machine Learning and Soft Computing
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
LOPSTR 2024   LOPSTR 2024 -- Preliminary Call for Papers
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
Effective Grant Writing Using AI 2024   Invitation to Faculty Development Program Effective Grant Writing Strategies Using AI
Horizon_ENFIELD 2024   Open Call for Proposals_Researchers Mobility Program