DOI,IST REx ID,Research Group,Title of publication
10.1145/3591230,13179,DaAl,CQS: A formally-verified framework for fair and abortable synchronization
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.1145/3371093,8324,KrCh,Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis
10.1145/3158119,10417,KrCh,Data-centric dynamic partial order reduction
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination