26 citations · 26 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 26 cited
Formally Verified Native Code Generation in an Effectful JIT -- or: Turning the CompCert Backend into a Formally Verified JIT Compiler
Aurèle Barrière, Sandrine Blazy, David Pichardie
Modern Just-in-Time compilers (or JITs) typically interleave several mechanisms to execute a program. For faster startup times and to observe the initial behavior of an execution,…
cs.LO2018
Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, Aniello Murano +1
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new…