Aslan Askarov
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
- PriSC2 editions2020–2026
on a stage with
all 8 in the filters
who talks about the same things
- Amin Timany16 talks
- Lars Birkedal35 talks
- Azalea Raad27 talks
- Zongyuan Liu3 talks
- Bryan Parno22 talks
- Derek Dreyer35 talks
| title | conference | date |
|---|---|---|
| The Downgrading Semantics of Memory Safety | PLDI 2026 | 2026-06-15 |
Proposes gradual allocator independence: a semantic property saying program traces must not distinguish allocator implementations except where explicitly… | ||
| Efficient Dependency Resolution in IFC-aware Decentralized Programming | PriSC 2026 | 2026-01-11 |
Prototype implements an information‑flow aware cache inside the Troupe runtime as a separate trusted thread, using SHA hash keys for dependency references and… | ||
| How to read a PL-security paper | PLMW@PLDI 2024 | 2024-06-24 |
Provides a concrete checklist: verify the threat model (who the attacker is, where they sit, what they can observe), insist on a clear, semantic policy and… | ||
| VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…) | PLDI 2023 | 2023-06-17 |
Formalises a substantial fragment of Arm FF‑A as a toy ISA with hypercalls and develops VMSL separation logic to reason about VM-to-VM shared pages and handoff… | ||
| Reconciling Progress-Intensive Noninterference and Declassification | PriSC 2020 | 2020-01-25 |
Proposes a concrete security condition that dials between progress-insensitive noninterference and progress-sensitive policies by tagging code regions with TV… | ||
| nothing matches | ||