pmorvalho
Follow
-
-
LLM-CEGIS-Repair Public
AAAI 2025: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
-
C-Pack-IPAs Public
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)
-
SemCoder Public
Forked from ARiSE-Lab/SemCoder[NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning
Python MIT License UpdatedNov 19, 2024 -
mkplot Public
Forked from alexeyignatiev/mkplotA Python script to create cactus and scatter plots based on matplotlib
Python MIT License UpdatedJul 18, 2024 -
CFaults Public
CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
-
DeepSeek-Coder Public
Forked from deepseek-ai/DeepSeek-CoderDeepSeek Coder: Let the Code Write Itself
Python MIT License UpdatedMay 21, 2024 -
cerberus Public
Forked from nus-apr/cerberusProgram repair platform that provides interface to multiple state-of-the-art program repair tools
Python MIT License UpdatedJul 31, 2023 -
Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.
-
MultIPAs Public
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
-
program-repair.github.io Public
Forked from program-repair/program-repair.github.ioAutomated program repair bibliography, tools and benchmarks.
HTML UpdatedJun 29, 2022 -
InvAASTCluster Public
InvAASTCluster: AASTs and Invariant-Based Program Clustering
-
pycparser Public
Forked from eliben/pycparser🐍 Complete C99 parser in pure Python
Python Other UpdatedJan 25, 2022 -
safeexec Public
Forked from ochko/safeexecsafe executor for programming contest auto judge system
C UpdatedJan 23, 2022 -
pytorch-lecture Public
Forked from mtreviso/pytorch-lectureIntroductory lecture on Pytorch
Jupyter Notebook UpdatedOct 14, 2020 -
-
ist-AASMA Public
IST - Autonomous Agents and Multi-Agent Systems - 2018
-
ist-ADI Public
IST - Learning and Intelligent Decision-Making - 2018
-
ist-Compiladores Public
IST - Compilers - 2017
-
ist-SAD Public
IST - Decision Support Systems - 2017/2018
-
-
ist-LN Public
IST - Natural Language - 2017/2018
-
ist-ES Public
IST - Software Engineering - 2017
-
-
-
ist-AMS Public
IST - Systems Analysis and Modeling - 2017
-
ist-RC Public
IST - Computer Networks - 2016/2017
-
ist-IAC Public
IST - Introduction to Computer Architecture - 2015/2016
AngelScript UpdatedNov 19, 2017 -
-