Export Citations
1 Results for: Author: Subotić, Pavle
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,797,061 records)|Limit your search to The ACM Full-Text Collection (767,917 records)
Showing 1 - 1of1 Results
Select All
- research-articleNovember 2024
Fast Parallel Equivalence Relations in a Datalog Compiler
PACT '19: Proceedings of the International Conference on Parallel Architectures and Compilation TechniquesPages 82–96https://doi.org/10.1109/PACT.2019.00015Modern parallelizing Datalog compilers are employed in industrial applications such as networking and static program analysis. These applications regularly reason about equivalences, e.g., computing bitcoin user groups, fast points-to analyses, and ...