Concepedia

Jan-Oliver Kaiser

JK

Statistics

Publications

5

Citations

345

H-Index

5

Active since

2015

Affiliations

Max Planck Institute for Software Systems(Current)

Centre National de la Recherche Scientifique

Delft University of Technology

Laboratoire de Recherche en Informatique

Université Paris-Saclay

Jan-Oliver Kaiser is an author at Max Planck Institute for Software Systems specializing in formal methods, computer science, and computing.

Publications per year

2015–2019

5

Publications

5

Pilsner: a compositionally verified compiler for a higher-order imperative language

Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser et al. · 2015 · 91 citations

Computing, Computer Engineering, Computer Science +10

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 90 citations · Full text

Computing, Computer Science, Formal Methods +10

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 78 citations · Full text

Computing, Computer Science, Formal Methods +15

RustBelt meets relaxed memory

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser et al. · Proceedings of the ACM on Programming Languages · 2019 · 65 citations · Full text

Computing, Computer Science, Computer Systems +17

Mtac2: typed tactics for backward reasoning in Coq

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2018 · 21 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 5