74 citations · 195 across the 30 of their papers we have counts for
8 papers · 1 filter
Correct and Complete Symbolic Execution for Free
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad +2
Symbolic execution is a powerful technique for program analysis. However, the formal semantics underlying symbolic execution is often developed on an ad-hoc basis and decoupled fro…
Semantically Reflected Programs
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu +4
This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an…
Symbolic Semantics for Probabilistic Programs (extended version)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva +2
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work…
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…
LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio +3
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent…
Time complexity of concurrent programs
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve +1
We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions t…