The Verified Polyhedron Library: an Overview. - Sylvain Boulmé; Alexandre Maréchal; David Monniaux; Michaël Périn; Hang Yu 005 (SYNASC, 2018)

Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations. - Camille Coti; David Monniaux; Hang Yu 005 (ICCS (5), 2019)

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection. - Hang Yu 005; David Monniaux (SAS, 2019)

Towards an Efficient Parallel Parametric Linear Programming Solver. (Vers un solveur de programmation linéaire paramétrique parallèle efficace). - Hang Yu 005 (2019)

A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations. - Camille Coti; David Monniaux; Hang Yu 005 (Concurr. Comput. Pract. Exp., 2021)