Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperFebruary 2024
Parameterized Static Analysis for Weak Memory Models
ISEC '24: Proceedings of the 17th Innovations in Software Engineering ConferenceFebruary 2024, Article No.: 25, Pages 1–4https://doi.org/10.1145/3641399.3641443Verifying programs under weak memory models (WMMs) is vital due to their prevalence in modern computer architectures. These models introduce complexities, allowing unexpected reordering and visibility of memory operations. Ensuring correctness is ...
- research-articleOctober 2019
Modal assertions for actor correctness
AGERE 2019: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized ControlOctober 2019, Pages 11–20https://doi.org/10.1145/3358499.3361221The actor model is a well-established way to approach to modularly designing and implementing concurrent and/or distributed systems, seeing increasing adoption in industry. But deductive verification tailored to actor programs remains underexplored; ...
- research-articleDecember 2017
Alone together: compositional reasoning and inference for weak isolation
Proceedings of the ACM on Programming Languages (PACMPL), Volume 2, Issue POPLArticle No.: 27, Pages 1–34https://doi.org/10.1145/3158115Serializability is a well-understood correctness criterion that simplifies reasoning about the behavior of concurrent transactions by ensuring they are isolated from each other while they execute. However, enforcing serializable isolation comes at a ...