DOI,IST REx ID,Research Group,Title of publication
10.1145/3776682,21041,MiSa,Endangered by the language but saved by the compiler: Robust safety via semantic back-translation
10.1145/3779031.3779110,21133,MiSa,A recipe for modular verification of generic tree traversals
10.1145/3729284,19935,MiSa,Destabilizing Iris
10.1145/3729249,19936,MiSa,RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers