Andreas Pavlogiannis

Registered user since Sat 16 Nov 2019

Name:Andreas Pavlogiannis
Bio:

Assistant professor @ Aarhus University, Denmark

Country:Denmark
Affiliation:Aarhus University

Contributions

PLDI 2023 Sound Dynamic Deadlock Prediction in Linear Time
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Show activities from other conferences

Using general profile