monperrus / program-repair-course

A cool course about automated program repair, by Martin Monperrus
1 stars 0 forks source link

EJCP 2024 Presentations #1

Open monperrus opened 5 months ago

monperrus commented 5 months ago

Starting at 16h, in the order of this thread, 5 min plus questions.

Slides at https://docs.google.com/presentation/d/1QZUv-fZBu9QN06omFgRbPvQ0KF-pRHYO8Q7vYi6sKjQ/edit?usp=sharing

CedriCazanove commented 5 months ago

With Martin, Sylvain and I (Cédric), we will work with Nopol on repairing if then else conditions.

DjebourSarra commented 5 months ago

With Aicha and I (Sarra) we are going to repair python code using Refactor

benn3331013 commented 5 months ago

Antoine & Benjamin : Disassembling ARM assembly using Ghidra and repairing the C code generated

sobessai commented 5 months ago

Perrine Teillot, Dorra Ben Khalifa & Sofiane Bessaï:

we will work on the automatically fix of type errors with PyTER.

garandria commented 5 months ago

Hermann (@hermannkouadio) & Aaron: Replicating GitBug-Java: A Reproducible Benchmark of Recent Java Bugs.

jlhHoudot commented 5 months ago

Jean-Loup Hatchikian-Houdot :

I will try to fix code produced by 3rd year students with Groq Llama

phaysaal commented 5 months ago

Faisal: Use of GenProg to repair a C program (using Genetic Programming).

dorhan1 commented 5 months ago

Alan, Albert & Diane: we're going to (try to) work on x86 assembly with stack pointer error repair.

ouailderghal commented 5 months ago

Ouail & Ines: JetBrains Qodana with Go code.

lanahuong commented 5 months ago

Alec, Émilie et Lana: overflow mitigation in unsafe Rust.

JulienMalka commented 5 months ago

With Jérémy we'll talk about http://oscar-lab.org/paper/icse_22_repfix.pdf

FardaleM commented 5 months ago

With Milla, Hichem and I (Emmanuel): prototype of an automatic repair tool for OCaml.