Export Citations
2 Results for: Book/Issue: PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
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,833,026 records)|Limit your search to The ACM Full-Text Collection (773,090 records)
Showing 1 - 2of2 Results
Select All
- research-articleJune 2021
RefinedC: automating the foundational verification of C code with refined ownership types
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and ImplementationPages 158–174https://doi.org/10.1145/3453483.3454036Given the central role that C continues to play in systems software, and the difficulty of writing safe and correct C code, it remains a grand challenge to develop effective formal methods for verifying C programs. In this paper, we propose a new ...
- research-articleJune 2021
Transfinite Iris: resolving an existential dilemma of step-indexed separation logic
- Simon Spies,
- Lennard Gäher,
- Daniel Gratzer,
- Joseph Tassarotti,
- Robbert Krebbers,
- Derek Dreyer,
- Lars Birkedal
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and ImplementationPages 80–95https://doi.org/10.1145/3453483.3454031Step-indexed separation logic has proven to be a powerful tool for modular reasoning about higher-order stateful programs. However, it has only been used to reason about safety properties, never liveness properties. In this paper, we observe that the ...
