This is the website of Pierre Talbot.

A lattice-based approach for GPU programming (Postdoc 2020-2024)

I am a postdoc researcher at the University of Luxembourg in the team PCOG of the SnT laboratory. In collaboration with Frédéric Pinel, we design a programming language based on lattices as data structures and extensive functions as programs. We rely on the strong theoretical fondation of lattice theory to program over massively parallel architecture, and in particular GPU. The key insight is that a lattice structure naturally supports concurrent computations without the hassles of nondeterminism in classical system. The primary applications will be to develop a constraint solver on GPU in this language. This presentation gives a gentle introduction to our research.

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.