Arthur Correnson

A Deductive System for Contract Satisfaction Proofs

Pacing Types for Asynchronous Stream Equations

Almost Fair Simulations

An Intermediate Program Representation for Optimizing Stream-Based Languages

Coinductive Proofs for Temporal Hyperliveness

Finding ∀∃ Hyperbugs using Symbolic Execution

A la recherche de tous les vrais bugs

Searching for all the true bugs (translated)

Engineering a Formally Verified Automated Bug Finder

Best Artifact Awards

Comment dompter un troupeau de flottants sauvages ?

How to tame a herd of floating points (translated)

Un Coq apprend à un bébé Colibri à flotter

A rooster teaches a colibri how to float (translated)

Symbolic execution for refuting ∀∃ hyperproperties

Arthur Correnson, Tobias Niessen, Bernd Finkbeiner, Georg Weissenbacher

Acta Informatica - Topical collection on Hyperproperties: Foundations and Applications

Verifying ∀∃-Hyperliveness: Automata, Games, and Coinduction

Pacing Types: Safe Monitoring of Asynchronous Streams

Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner

ArXiv

Automated Hyperbug Finding

Arthur Correnson, Tobias Niessen, Bernd Finkbeiner, Georg Weissenbacher

Workshop on Hyperproperties: Advances in Theory and Practice @ CAV 2024

Symbolic Bug Finding for Asynchronous Hyperproperties

Arthur Correnson, Tobias Niessen, Bernd Finkbeiner, Georg Weissenbacher

Asynchronous Hyperproperties: From Theory to Practice (Vienna, 2024)

What Do Relational Properties Have to Say About Legal Expert Systems?

Arthur Correnson

Workshop on Programming Languages and the Law @ POPL 2023

(DEMO) Goose : an OCaml environment for Quantum Computing

Denis Carnier, Arthur Correnson, Christopher McNally, Youssef Moawad

JFLA 2023

Formal Verification of a Lazy Abstraction Model Checker

Arthur Correnson

ICFP Student Research Competition, September 2022, Ljubljana, Slovenia

First Prize in the graduate category