A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Porting doop to Soufflé
2017
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017
We detail our experience of porting the DOOP static analysis framework to the recently introduced Soufflé Datalog engine. The port addresses the idiosynchrasies of the Datalog dialects involved (w.r.t. the type system, value construction, and fact updates) and differences in the runtime systems (w.r.t. parallelism, transactional execution, and optimization methodologies). The overall porting effort is interesting in many ways: as an instance of the benefits of specifying static analyses
doi:10.1145/3088515.3088522
dblp:conf/pldi/AntoniadisTS17
fatcat:w4k2iwaetjcqjkcufb35t4vxya