Publications

Found 3 results
Filters: Author is Michael Reif  [Clear All Filters]
2018
M. Eichberg, Kübler, F., Reif, M., Salvaneschi, G., and Mezini, M., Lattice Based Modularization of Static Analyses, in International Workshop on the State Of the Art in Program Analysis, 2018.
M. Reif, Kübler, F., Eichberg, M., and Mezini, M., Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java, in International Workshop on the State Of the Art in Program Analysis, 2018.
D. Helm, Kübler, F., Eichberg, M., Reif, M., and Mezini, M., A Unified Lattice Model and Framework for Purity Analyses, in International Conference on Automated Software Engineering, 2018.