conf.researchr.org / Andreas Pavlogiannis
Registered user since Thu 2 Nov 2017
Name:Andreas Pavlogiannis
Affiliation:EPFL
Contributions
2019
2018
POPL
- Author of Optimal Dyck Reachability for Data-dependence and Alias Analysis within the Artifact Evaluation-track
- Author of Data-centric Dynamic Partial Order Reduction within the Research Papers-track
- Author of Optimal Dyck Reachability for Data-dependence and Alias Analysis within the Research Papers-track