Registered user since Fri 24 Apr 2020
Name:Narges Khakpour
Affiliation:Linnaeus University
Contributions
VMCAI 2023 | Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile