| No. |
Title |
Author |
Year |
| 1 |
Scalable Handling of Effects (Dagstuhl Seminar 21292) |
Ahman, Danel et al. |
2021 |
| 2 |
Secure Compilation (Dagstuhl Seminar 18201) |
Ahmed, Amal et al. |
2018 |
| 3 |
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too |
Patterson, Daniel et al. |
2017 |
| 4 |
Compositional Compiler Verification for a Multi-Language World |
Ahmed, Amal |
2016 |
| 5 |
Verified Compilers for a Multi-Language World |
Ahmed, Amal |
2015 |
| 6 |
10351 Abstracts Collection -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
| 7 |
10351 Executive Summary -- Modelling, Controlling and Reasoning About State |
Ahmed, Amal et al. |
2010 |
| 8 |
08061 Abstracts Collection -- Types, Logics and Semantics for State |
Ahmed, Amal et al. |
2008 |
| 9 |
08061 Executive Summary -- Types, Logics and Semantics for State |
Ahmed, Amal et al. |
2008 |
