ghiles ziat

Publications

Communication dans un congrès (6)

An Efficient and Uniform CSP Solution Generator Generator Ghiles Ziat,Martin Pépin 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.40:1-40:18, ⟨10.4230/LIPIcs.CP.2025.40⟩ Communication dans un congrès hal-05294541v1
Automatic synthesis of random generators for numerically constrained algebraic recursive types Ghiles Ziat,Vincent Botbol,Matthieu Dien,Arnaud Gotlieb,Martin Pépinet al. 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Sep 2022, Tbilisi, Georgia. ⟨10.48550/arXiv.2208.12747⟩ Communication dans un congrès hal-04551862v1
Combination of Boxes and Polyhedra Abstractions for Constraint Solving Ghiles Ziat,Alexandre Maréchal,Marie Pelleau,Antoine Miné,Charlotte Truchet The 8th International Workshop on Numerical and Symbolic Abstract Domains - NSAD 2019, Oct 2019, Porto, Portugal. pp.119--135, ⟨10.1007/978-3-030-54997-8_8⟩ Communication dans un congrès hal-02457083v1
Abstract domains for constraint programming with differential equations Ghiles Ziat,Olivier Mullier,Julien Alexandre Dit Sandretto,Christophe Garion,Alexandre Chapoutotet al. NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩ Communication dans un congrès hal-03068260v1
Finding solutions by finding inconsistencies Ghiles Ziat,Marie Pelleau,Charlotte Truchet,Antoine Miné CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.420--435, ⟨10.1007/978-3-319-98334-9_28⟩ Communication dans un congrès hal-01885769v1
Améliorer la propagation : l'Importance d'être Inconsistant Ghiles Ziat,Marie Pelleau,Charlotte Truchet,Antoine Miné Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France Communication dans un congrès hal-01735167v1

Pré-publication, Document de travail (1)

Position paper: What is a flaky test? Pierre-Évariste Dagand,Giovanni Bernardi,Ghiles Ziat 2025 Pré-publication, Document de travail hal-05426484v1

Thèse (1)

A combination of abstract interpretation and constraint programming Ghiles Ziat Modeling and Simulation. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS429⟩ Thèse tel-03987752v1