DOI,IST REx ID,Research Group,Title of publication
10.1145/3808296,22102,KrCh,SuperDP: Differential privacy refutation via supermartingales
10.1145/3776682,21041,MiSa,Endangered by the language but saved by the compiler: Robust safety via semantic back-translation
10.1145/3729284,19935,MiSa,Destabilizing Iris
10.1145/3649824,17162,KrCh,Quantitative bounds on resource usage of probabilistic programs
10.1145/3656462,17283,"KrCh,GradSch",Equivalence and similarity refutation for probabilistic programs
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/3158119,10417,KrCh,Data-centric dynamic partial order reduction
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination