Jan-Oliver Kaiser

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Causal Reasoning

Predicate Logic

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser, Derek Dreyer
RustBelt meets relaxed memory. Proc. ACM Program. Lang. 4 (POPL) (2020)
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
MoSeL: a general, extensible modal framework for interactive proofs in separation logic. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer
Mtac2: typed tactics for backward reasoning in Coq. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris. ECOOP (2017)
Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
Pilsner: a compositionally verified compiler for a higher-order imperative language. ICFP (2015)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
A Constructive Theory of Regular Languages in Coq. CPP (2013)