Tags

AI4Code 1 AI4Education 1 AI4SE 9 AIHUB 1 ALLIES 1 Alloy 1 Artificial Intelligence 21 Automated Program Repair 24 Automated Program Repair" 1 Automated Reasoning 8 Automated Verification 7 C 1 C-Pack-IPAs 1 CFaults 5 Code Mutations 1 Computer Science Education 2 Computer-aided Education 13 CSIC 1 Data Augmentation 2 Databases 3 ELLIS 1 ELSA 1 Enumerative Search 6 Fault Localisation 10 Fellowship 1 Formal Methods 18 Formula-Based Fault Localisation 1 Formula-based Fault Localization 2 Git 1 GitLab 1 GitSEED 3 Grant 1 Graph Neural Networks 4 IIIA 1 Intelligent Tutoring Systems 1 InvAASTCluster 3 IRI 1 Large Language Models 11 LLM-Based Program Repair 6 LLM-Based Transpilation 2 LLM-Driven Program Repair 2 LLM4Code 1 LLMs for Code Understanding 2 Maximum Satisfiability 8 MaxSAT 2 MaxSAT-Based Fault Localisation 2 MENTOR 10 Model Checking 2 Model-Based Diagnosis 12 MSCA COFUND 1 Oxford 1 PhD 1 Postdoc 1 Program Analysis 8 Program Clustering 3 Program Equivalence 3 Program Invariants 3 Program Synthesis 6 Program Transformation 2 Programming Education 9 Python Verification 2 PyVeritas 2 Query Reverse Engineering 6 R 5 Semantic Robustness of Large Language Models 2 Software Engineering 3 Software Engineering Education 4 Software Verification 2 SQL 6 SQUARES 4 Trustworthy AI 1 UpMax 3 User-based Partitioning 3 Variable Alignment 4 VoA 1