Jan-Oliver Kaiser -

Not registered as user yet

Name:Jan-Oliver Kaiser

Affiliation:MPI-SWS

Contributions

TyDe 2020	Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track
POPL 2020	Author of RustBelt Meets Relaxed Memory within the Research Papers-track
ICFP 2018	Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
CoqPL 2018	Author of A “destruct” Tactic for Mtac2 within the -track
ECOOP 2017	Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track