Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. - Tony Antoniadis; Konstantinos Triantafyllou; Yannis Smaragdakis (SOAP@PLDI, 2017)