I am an associate professor in the School of Computer Science at Carnegie Mellon University. My current interests are in software engineering for software systems with ML components (or teaching ...

I am an associate professor in the School of Computer Science at Carnegie Mellon University. My current interests are in software engineering for software systems with ML components (or teaching ...

Artificial intelligence (AI) techniques such as machine learning (ML) and particularly deep learning (DL) tools such as large language models (LLMs) (Zhao et al., 2023) have been increasingly used to ...

ICSE Class 10 Computer Applications Syllabus 2025: The ICSE Class 10 Computer Applications syllabus for the 2025–26 academic year has been released with no major changes. Students are advised to ...

ICSE Class 9 Computer Applications Syllabus 2025: Students of the CISCE Board can download their ICSE Class 9 2024-25 syllabus from here in PDF format. Also check the criteria for internal assessment ...

While there have been some notable successes with program verification systems, a the use of such systems is still perceived as a niche activity for the most critical and specialized projects. 1, 23, ...

Abstract: As a framework evolves, changes in its application programming interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging task ...

What is the effect of programming languages on software quality? This question has been a topic of much debate for a very long time. In this study, we gather a very large data set from GitHub (728 ...