Registered user since Mon 8 May 2017
Name:Michael Reif
Country:Germany
Affiliation:TU Darmstadt, Germany
Research interests:Static Analysis, Security, Programming Languages
Contributions
| SOAP 2018 | Lattice Based Modularization of Static Analyses Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2018-profile
View general profile
View general profile