Porting doop to Souffl: a tale of inter-engine portability for Datalog-based analyses.

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis

Browse the full PLDI paper archive.