Tony Antoniadis

According to our database, Tony Antoniadis authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017