Location: Aarhus University, Denmark, July 11th-17th, 2021
The paper "Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis" written by Philipp Dominik Schubert, Ben Hermann and Eric Bodden, SFB 901 project B4, wins the Distinguished Paper Award on the 35th European Conference on Object Oriented Programming (ECOOP 2021).
The paper presents the design and implementation of ModAlyzer, a novel static-analysis approach that aims at accelerating whole-program analysis by making the analysis modular and compositional. It shows how to compute lossless, persisted summaries for callgraph, points-to and data-flow information, and it reports under which circumstances this function-level compositional analysis outperforms WPA.
ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, object-oriented technologies, systems and applications.
We sincerely congratulate Philipp, Ben, and Eric on their outstanding success!
For more information about the conference, please see https://2021.ecoop.org/
For more information on the paper, please see https://ris.uni-paderborn.de/record/21598