APLAS 2024 (series) / The 22nd Asian Symposium on Programming Languages and Systems /
Non-deterministic, probabilistic, and quantum effects through the lens of event structures
In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophisticated computational models, they have rarely been directly studied as an immediate model of execution traces of programs. This paper offers such an analysis. We propose a simple imperative operational framework and show how to derive soundness and adequacy results with event structures considered as a semantics. We show how event structures naturally handle non-deterministic, probabilistic and quantum effects.
Thu 24 OctDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 24 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change
10:30 - 12:00 | |||
10:30 30mTalk | Effective Search Space Pruning for Testing Deep Neural Networks Research Papers Bala Rangaya Singapore University of Technology and Design, Eugene Sng Ministry of Defence of Singapore, Minh-Thai Trinh Illinois Advanced Research Center at Singapore Ltd. | ||
11:00 30mTalk | Non-deterministic, probabilistic, and quantum effects through the lens of event structures Research Papers Vitor Fernandes University of Minho, Marc de Visme Université Paris-Saclay, CNRS, INRIA-SIF, LMF, Benoît Valiron Université Paris-Saclay, CNRS, CentraleSupélec, LMF | ||
11:30 30mTalk | Relative Completeness of Incorrectness Separation Logic Research Papers File Attached |