Jan-Oliver Kaiser

According to our database, Jan-Oliver Kaiser authored at least 8 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Modular, Full-System Verification.

Gregory Malecha, Hoang-Hai Dang, Paolo G. Giarrusso, Simon Hudon, Jan-Oliver Kaiser, David Swasey

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025

2020

RustBelt meets relaxed memory.

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser, Derek Dreyer

Proc. ACM Program. Lang., 2020

2018

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

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer

Proc. ACM Program. Lang., 2018

Mtac2: typed tactics for backward reasoning in Coq.

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer

Proc. ACM Program. Lang., 2018

2017

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact).

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis

Dagstuhl Artifacts Ser., 2017

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

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

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

Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2013

A Constructive Theory of Regular Languages in Coq.

Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013