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

Martin Spiessl

Picture of Martin Spiessl

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

Office
Room F 012, Oettingenstr. 67
Phone
+49 89 2180 9185
E-Mail (Teaching, LMU)
lastname@sosy.ifi.lmu.de
(Please replace "lastname" with my last name)
Office Hours
by appointment, just write me an e-mail, then we can arrange a meeting via meet.lrz.de; you also have good chances to find me at chat.ifi.lmu.de (RBG Information about the chat)

GPG-Key

Please send me encrypted mails!
My GPG key:
Fingerprint: 2663 F150 8204 6BDB 63DA 2A32 463C BA0F BEEF 6CEA

Teaching