Erik Voogd

According to our database, Erik Voogd authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Correct and Complete Symbolic Execution for Free.

Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Joint Distributions in Probabilistic Semantics.

Dexter Kozen, Alexandra Silva, Erik Voogd

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Symbolic Semantics for Probabilistic Programs (extended version).

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

CoRR, 2023

Symbolic Semantics for Probabilistic Programs.

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Denotational Semantics for Symbolic Execution.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2019

Minimal Session Types (Artifact).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Dagstuhl Artifacts Ser., 2019

Minimal Session Types (Extended Version).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

CoRR, 2019

Minimal Session Types (Pearl).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019