This is the website of Pierre Talbot.

Search, optimisation and learning (Postdoc 2020-2021)

I am a postdoc researcher at the University of Luxembourg in the team PCOG of the SnT laboratory. This postdoc encompasses two projects in which I bring my knowledge of programming languages and constraint programming. The first, in collaboration with Frédéric Pinel, is to explore program synthesis of GPU programs using combinatorial solvers. This allows users without expertise in GPU programming to sketch programs which are then synthesized for parallel architectures such as GPU. Secondly, in collaboration with the company Oply which proposes a car rental application, I will study and design new algorithms for the car placement problem (where and how many cars to place in a city). This involves the cooperation among various techniques including machine learning and constraint solving to predict the best car positions.

Abstract domains for constraint programming (Postdoc 2018-2019)
Spacetime Programming: A Synchronous Language for Constraint Search (Ph.D. 2014-2018)
  • bonsai is a language implementing the spacetime paradigm for Java.
  • pcp is a library for constraint solving written in the language Rust.
  • oak is a PEG parser investigating the notion of AST inference.