Valentin Pasquale
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Towards the Type Safety of Pure Subtype Systems. | Valentin Pasquale, lvaro Garca-Prez |
| 2025 | PPDP | An interactive type checker for dependent types with general recursion (System Description). | Valentin Pasquale, lvaro Garca-Prez |
| 2022 | RTNS | Winston: Revisiting iterative compilation for WCET minimization. | Valentin Pasquale, Isabelle Puaut |