Author Info
Name
Affiliation
Papers
MICHAEL SAMMLER
MPI SWS, Saarland Informat Campus, Saarbrucken, Germany
6
Collaborators
Citations 
PageRank 
26
3
2.10
Referers 
Referees 
References 
12
0
0
Title
Citations
PageRank
Year
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations00.342022
Islaris: Verification of Machine Code Against Authoritative ISA Semantics00.342022
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts00.342022
RefinedC: automating the foundational verification of C code with refined ownership types20.402021
The high-level benefits of low-level sandboxing10.352020
Erim: Secure, Efficient In-Process Isolation With Protection Keys (Mpk)00.342019