Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aslan Askarov
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2019 profile
POPL 2020 profile
Registered user since Fri 21 Sep 2018
Name:
Aslan Askarov
Affiliation:
Aarhus University
Personal website:
http://askarov.net/
Contributions
2025
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2024
PLMW
Author of How to read a PL-security paper within the PLMW@PLDI 2024-track
2023
ECOOP
External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track
PLDI
Author of VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A within the PLDI Research Papers-track
2020
PriSC
Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
Author of Reconciling progress-insensitive noninterference and declassification within the Principles of Secure Compilation 2020-track
2019
POST
Author of A Dependently Typed Library for Static Information-Flow Control in Idris within the POST 2019-track
Committee Member in Program Committee within the POST 2019-track
PriSC
Session Chair of Session 4 (part of PriSC 2019)
Author of Modular Security Guarantees for Low-Level Languages with Stack Traversal within the PriSC 2019-track
Share
x
Sun 26 Oct 05:10
