Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleOctober 2021
The reads-from equivalence for the TSO and PSO memory models
Proceedings of the ACM on Programming Languages (PACMPL), Volume 5, Issue OOPSLAArticle No.: 164, Pages 1–30https://doi.org/10.1145/3485541The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One recurring algorithmic problem in this challenge is the consistency verification of concurrent executions. In particular, ...
- ArticleJuly 2021
- research-articleOctober 2019
Value-centric dynamic partial order reduction
Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue OOPSLAArticle No.: 124, Pages 1–29https://doi.org/10.1145/3360550The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking battles this problem by exploring traces rather than states of the program. ...
- ArticleSeptember 2019
Strategy Representation by Decision Trees with Linear Classifiers
Quantitative Evaluation of SystemsSep 2019, Pages 109–128https://doi.org/10.1007/978-3-030-30281-8_7AbstractGraph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of -regular winning conditions; e.g., safety, reachability, liveness, parity ...