Lars B. van den Haak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Scalable Deductive Verification of Data-Level Parallel Programs. | Lars B. van den Haak, Anton Wijs, Marieke Huisman |
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | FMICS | Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | TACAS | HaliVer: Deductive Verification and Scheduling Languages Join Forces. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2020 | EuroPar | Accelerating Nested Data Parallelism: Preserving Regularity. | Lars B. van den Haak, Trevor L. McDonell, Gabriele K. Keller, Ivo Gabe de Wolff |
| 2020 | IFM | Formal Methods for GPGPU Programming: Is the Demand Met? | Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |