Find

Department of Computer Science

Aslan Askarov

Associate professor

Department of Computer Science
Åbogade 34
building 5341, 216
8200 Aarhus N
Denmark
aslan@cs.au.dk
Mobile: +4523823124

Published
Compositional Non-interference for Concurrent Programs via Separation and Framing
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
From Trash to Treasure: Timing-Sensitive Garbage Collection
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Hybrid Monitors for Concurrent Noninterference
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

ID: 79020512