Dipl.-Inform. Markus Herhoffer

	Contact Email: Bitte warten...	IPD Prof. Snelting Room 029, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany

Research interests

Studien thesis: Enhance controlflow precision for exceptions

Publications

2012

• Algorithmik- und logikbasierte Points-to Analysen im Vergleich
  December 2012 : M. Herhoffer
• Präziser Kontrollfluss für Exceptions durch interprozedurale Datenflussanalyse
  June 2012 : M. Herhoffer

Theses worked on

• Comparing Algorithmic and Logic based Points-to Analyses (finished), Diploma thesis
• Dataflow analysis: Enhance controlflow precision for exceptions (finished), study thesis