conftrace_

Sébastien Bardin

2 papers · 2017–2022 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

IJCAI (2)

Top co-authors

Arnaud Gotlieb (2) Grégoire Menguy (1) Mathieu Acher (1) Quentin Plazar (1) Nadjib Lazaar (1)

Keywords

constraint solving (1) program verification (1) program analysis (1) smt solver (1) software verification (1) precondition inference (1) constraint acquisition (1) finite domain solving (1) array constraint (1)

Papers

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022 Efficient and Complete FD-solving for extended array constraints IJCAI 2017