Paper accepted at ESEC/FSE'20: "Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization"

Dr. Annabelle Klarl

Dr. rer. nat., M.Sc. with honours (Software Engineering), research assistant

Picture of Dr. Annabelle Klarl

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

E-Mail (please replace surname)


Please send me encrypted mails!
My GPG key: 0x637288A1
Fingerprint: 9B0A 4698 F907 25F4 606F 794C 697D 00AC 6372 88A1