Recherche/Research
- Scientific interests: software verification, (constraint) logic programming and more generally computational logic
- My DBLP entry
- My Google Scholar Page
- Participation to Program Committees:
VLP'99, PC member,
JFPLC'01, PC member,
JFPLC'02, PC member,
JFPLC'03, PC member,
WLPE'03, co-organizer and PC co-chair,
WST'04, PC member,
JFPLC'04, PC chair,
proceedings,
JNPC'04, PC member,
WLPE'04, PC member,
JFPC'05, PC member,
LOPSTR'05, PC member,
WLPE'05, PC member,
JFPC'06, PC member,
WLPE'06, PC member,
LOPSTR'06, PC member,
CSTVA'06, PC member,
JFPC'07, PC member,
ACM SAC - SV'08, PC member,
LOPSTR'09, PC member,
LOPSTR'11, PC member,
ICLP'14, PC member,
PPDP'16, PC member,
WST'18, PC member,
LOPSTR'18, PC co-chair,
proceedings,
ICLP'19, PC member,
PPDP'20, PC member,
LOPSTR'21, PC member,
LOPSTR'22, PC member,
LOPSTR'23, PC member,
LOPSTR'24, PC member,
PIPs'24, PC member.
- Cooperation:
- Roberto Bagnara, Università degli studi di Parma, Italy,
PPL
- Ulrich Neumerkel, T. U. Wien, Austria,
GUPU
- Salvatore Ruggieri, Università di Pisa, Italy,
CLPT
- Alexander Serebrenik, T. U. Eindhoven, the Netherlands
- Fausto Spoto, Università di Verona, Italy,
Java Bytecode termination (vidéo)
- Germán Vidal, Universitat Politècnica de València, Spain,
Concolic Testing
(video)
- Termination Competition:
- Member of the steering committee 2009--2017
- 2009: with Etienne Payet and Fausto Sopoto, winner of the Java Bytecode category
- 2022: with Etienne Payet, winner of the Logic Programming category
- 2023: with Etienne Payet, winner of the Logic Programming category
- 2024: with Etienne Payet, winner of the Logic Programming category
- Some termination analyzers:
- Designer and developper of cTI,
the first tool for inferring universal left termination conditions of
ISO-Prolog. Sources are available here for SICStus Prolog and here for SWI-Prolog.
- Julia + BinTerm: an
automatic termination prover for Java, Java bytecode, and Android
Fred Mesnard
