posted by user: jaichberg || 427 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 2023   Automated Technology for Verification and Analysis
ReSAISE 2023   The 1st IEEE International Workshop on Reliable and Secure AI for Software Engineering Co-located with ISSRE 2023
ReSAISE 2023   The 1st IEEE International Workshop on Reliable and Secure AI for Software Engineering Co-located with ISSRE 2023
ASE 2023   38th IEEE/ACM International Conference on Automated Software Engineering
GI @ ICSE 2023   12th International Workshop on Genetic Improvement
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
IDEAL 2023   24th International Conference on Intelligent Data Engineering and Automated Learning
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
PSSV 2023   International Workshop on Program Semantics, Specification and Verification
LANMR 2023   15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning