Publications
Found 3 results
Filters: Author is Michael Eichberg [Clear All Filters]
“A Unified Lattice Model and Framework for Purity Analyses”, in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, pp. 340-350.
, “Lattice Based Modularization of Static Analyses”, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, pp. 113-118.
, “Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java”, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, pp. 107-112.
,