Aleš Bizjak -

Registered user since Sun 11 Sep 2022

Name:Aleš Bizjak

Country:Denmark

Affiliation:Aarhus University

Personal website: https://abizjak.github.io/

GitHub: https://github.com/abizjak

Contributions

2023

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

VMCAI

Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track

2019

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

HOPE

Committee Member in Program Committee within the HOPE 2018-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2017

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track