Philipp Dominik Schubert

According to our database, Philipp Dominik Schubert authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.

Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

SEAL: Integrating Program Analysis and Repository Mining.

Florian Sattler, Sebastian Böhm, Philipp Dominik Schubert, Norbert Siegmund, Sven Apel

ACM Trans. Softw. Eng. Methodol., September, 2023

Supplementary web page for the paper "SEAL: Integrating Program Analysis and Repository Mining".

Florian Sattler, Sebastian Böhm, Philipp Dominik Schubert, Norbert Siegmund, Sven Apel

Dataset, February, 2023

slash: A Technique for Static Configuration-Logic Identification.

Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden

CoRR, 2023

2022

Static data-flow analysis for software product lines in C.

Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden

Autom. Softw. Eng., 2022

2021

Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.

Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric Bodden

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++.

Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis.

Philipp Dominik Schubert, Ben Hermann, Eric Bodden

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

PhASAR: An Inter-procedural Static Analysis Framework for C/C++.

Philipp Dominik Schubert, Ben Hermann, Eric Bodden

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Know your analysis: how instrumentation aids understanding static analysis.

Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019