Promising 2.0: global optimizations in relaxed memory concurrency
Lee S., Cho M., Podkopaev A., Chakraborty S., Hur C., Lahav O., Vafeiadis V.
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
NY: Association for Computing Machinery (ACM), 2020
, , in: Formal Modeling and Analysis of Timed Systems. Vol. 9884.: Switzerland: Springer, 2016.. Ch. 1. P. 3-18.
The nested Petri nets are a nets-within-nets formalism convenient for modelling systems that consist of distributed mobile agents with individual behaviour. The formalism is supported by developed verification methods based on structural analysis and model checking techniques. Time constraints are crucial for many safety critical and everyday IoT systems. Recently, the non Turing-complete time semantics ...
Added: September 13, 2016
, , et al., Proceedings of the ACM on Programming Languages 2022 Vol. 6 No. POPL Article 54
Program logics and semantics tell a pleasant story about sequential composition: when executing (S1;S2), we first execute S1 then S2. To improve performance, however, processors execute instructions out of order, and compilers reorder programs even more dramatically. By design, single-threaded systems cannot observe these reorderings; however, multiple-threaded systems can, making the story considerably less pleasant. ...
Added: February 2, 2022