Aslan Askarov

@aslanix

Aarhus, Denmark askarov.net Joined January 2009

539 Following 123 Followers 69 Posts

Latest posts 5

PLDI’26 recordings are up! This is the presentation of our paper on the downgrading semantics of memory safety by René Rydhof Hansen. youtu.be/nZhS96IXJFk?si…

If you are curious about the information flow, declassification, or memory safety in low level languages check it out!

www.youtube.com [PLDI'26] The Downgrading Semantics of Memory Safety The Downgrading Semantics of Memory Safety (Video, PLDI 2026)René ...

Aslan Askarov @aslanix May 19

To folks in the Copenhagen area, I’m visiting ITU CISAT this Friday (May 22) and will be talking about our PLDI 2026 work on the Downgrading Semantics of Memory Safety. The talk is at 12 – 13, in 3a08. The paper preprint is at arxiv.org/abs/2507.11282

arxiv.org The downgrading semantics of memory safety (Extended version) Memory safety is traditionally characterized in terms of bad things that cannot happen. This approach is currently embraced in the literature on formal methods for memory safety. However, a...

Aslan Askarov @aslanix Jun 27, 2025

Please share: We are looking for a new PhD student for the exciting project “Foundations of secure resource sharing” – read more here: phd.nat.au.dk/for-applicants…

Aslan Askarov @aslanix Dec 8, 2022

For now, we’re still in business…

Aslan Askarov @aslanix Jun 30, 2021

Github might have missed the opportunity to call their product coailot