Talks and Presentations
Time-Sensitive Control Closure: A Key Component for Secure Information Flow. 34th Nordic Workshop on Programming Theory, Sweden
Fast and incremental computation of weak control closure, SAS, NewZeland, December 2022
On the Computation of Interprocedural Weak Control Closure, CC 2022 (Virtual) and ECOOP 2022, Germany
On time-sensitive control closure for secure information flow, Ericsson annual workshop 2022 and Uppsala University 2022
Towards constructing the SSA forms using reaching definitions over dominance frontiers, SCAM conference, Cleveland, USA, September 2019
On the Design of a Static Data Race Detector, Ericsson annual workshop 2017 and TOCSYC workshop, May 2017