Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing) Show image information

CRC 901 – On-The-Fly Computing (OTF Computing)

|

Distinguished Paper Award on ECOOP 2021


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

The University for the Information Society