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