Souheib Baarir

Identifiers

• name variant Souheib Baarir 0.60 · backfill

Papers (1)

1. PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs cs.LO · 2026 · author #2

Mentions

• 2606.18977 #2 · arxiv_oai · confidence 0.70 Souheib Baarir

Frequent Coauthors

• Anissa Kheireddine 1 shared papers
• Hugo De Sa Pereira Pinto 1 shared papers