Julien Vanegue
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Azalea Raadonce
- Peter W. O'Hearnonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Non-Termination Proving at Scale | OOPSLA 2024 | 2024-10-20 |
Claims a sound and complete under-approximate logic called UNTerSL that composes incorrectness/divergence reasoning with separation logic and bi-abduction to… | ||
| Bridging the Gap For Security Analysis In Infer | Infer 2024 | 2024-06-24 |
Infer gets extended with pulse infinite, an under-approximate termination checker built on Pulse and Infer’s separation-logic core that analyzes millions of… | ||
| Towards Temporal Adversarial Logic | Incorrectness 2024 | 2024-01-17 |
Preliminary system embeds temporal reasoning into an under‑approximate adversarial program logic and defines a time footprint Δ per command plus left/right… | ||
| Bi-abductive adversarial program synthesis | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Claims a practical pipeline that uses bi-abduction + deductive synthesis to automatically produce adversary programs that exploit real bugs, demonstrates a… | ||
| nothing matches | ||