Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bernhard Kragl
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2018 profile
Registered user since Wed 6 Dec 2017
Name:
Bernhard Kragl
Affiliation:
IST Austria
Personal website:
https://bkragl.github.io
Contributions
2022
PLDI
Author of (PLDI 2020) Inductive Sequentialization of Asynchronous Programs within the SIGPLAN Track-track
2020
PLDI
Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track
2018
POPL
Presenter of Synchronous Proofs for Asynchronous Programs within the Student Research Competition-track
Share
x
Tue 12 Nov 20:45