Philipp Dominik Schubert

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Frequent Itemsets

Top Venues

Autom. Softw. Eng.

ACM Trans. Softw. Eng. Methodol.

Publications

Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
slash: A Technique for Static Configuration-Logic Identification. CoRR (2023)
Florian Sattler, Sebastian Böhm, Philipp Dominik Schubert, Norbert Siegmund, Sven Apel
SEAL: Integrating Program Analysis and Repository Mining. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29 (1) (2022)
Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric Bodden
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. SCAM (2021)
Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM (2021)
Philipp Dominik Schubert, Ben Hermann, Eric Bodden
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. ECOOP (2021)
Philipp Dominik Schubert, Ben Hermann, Eric Bodden
PhASAR: An Inter-procedural Static Analysis Framework for C/C++. TACAS (2) (2019)
Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
Know your analysis: how instrumentation aids understanding static analysis. SOAP@PLDI (2019)