Concepedia

Michael Sammler

MS

8

Publications

285

Citations

8

H-Index

2019

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Radboud University Nijmegen

University of Cambridge

Michael Sammler is an author at Max Planck Institute for Software Systems specializing in program analysis, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationAutomated ReasoningCompilersFormal Specification

Publications per year

2019–2024

8

Publications

8

RefinedC: automating the foundational verification of C code with refined ownership types

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers et al. · 2021 · 74 citations · Full text

Program Checking, Engineering, Verification +21

ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK)

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte et al. · MPG.PuRe (Max Planck Society) · 2019 · 70 citations · Full text

The high-level benefits of low-level sandboxing

Michael Sammler, Deepak Garg, Derek Dreyer et al. · Proceedings of the ACM on Programming Languages · 2019 · 26 citations · Full text

Software Maintenance, Software Development Practice, Rich Type System +27

Simuliris: a separation logic framework for verifying concurrent program optimizations

Lennard Gäher, Michael Sammler, Simon Spies et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Program Checking, Engineering, Compiler Technology +20

Islaris: verification of machine code against authoritative ISA semantics

Michael Sammler, Angus Hammond, Rodolphe Lepigre et al. · 2022 · 25 citations · Full text

Rows per page

1–5 of 8