Export Citations
2 Results for: Keyword: concurrent abstract predicates
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,835,719 records)|Limit your search to The ACM Full-Text Collection (773,857 records)
Showing 1 - 2of2 Results
Select All
- research-articleJanuary 2016
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 38, Issue 2Article No.: 4, Pages 1–72https://doi.org/10.1145/2818638Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and hash-tables). However, many concurrent applications require custom synchronization constructs with special-...
- research-articleJanuary 2011
Modular reasoning for deterministic parallelism
POPL '11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPages 259–270https://doi.org/10.1145/1926385.1926416Weaving a concurrency control protocol into a program is difficult and error-prone. One way to alleviate this burden is deterministic parallelism. In this well-studied approach to parallelisation, a sequential program is annotated with sections that can ...
Also Published in:
ACM SIGPLAN Notices: Volume 46 Issue 1
