Philipp Dominik Schubert

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

Collaborative distances:

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

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

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