Dominik Helm
YOU?
Author Swipe
View article: AXA: Cross-Language Analysis through Integration of Single-Language Analyses
AXA: Cross-Language Analysis through Integration of Single-Language Analyses Open
Modern software is often implemented in multiple interacting programming languages. When performing static analysis of such software, it is desirable to reuse existing single-language analyses to allow access to the results of decades of i…
View article: Total Recall? How Good Are Static Call Graphs Really?
Total Recall? How Good Are Static Call Graphs Really? Open
Static call graphs are a fundamental building block of program analysis. However, differences in call-graph construction and the use of specific language features can yield unsoundness and imprecision. Call-graph analyses are evaluated usi…
View article: Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Open
Traditional call-graph construction algorithms conflate the computation of possible runtime types with the actual resolution of (virtual) calls. This tangled design impedes supporting complex language features and APIs and making systemati…
View article: A Modular Soundness Theory for the Blackboard Analysis Architecture
A Modular Soundness Theory for the Blackboard Analysis Architecture Open
Sound static analyses are an important ingredient for compiler optimizations and program verification tools. However, mathematically proving that a static analysis is sound is a difficult task due to two problems. First, soundness proofs r…
View article: Combining Recombinase-Mediated Cassette Exchange Strategy with Quantitative Proteomic and Phosphoproteomic Analyses to Inspect Intracellular Functions of the Tumor Suppressor Galectin-4 in Colorectal Cancer Cells
Combining Recombinase-Mediated Cassette Exchange Strategy with Quantitative Proteomic and Phosphoproteomic Analyses to Inspect Intracellular Functions of the Tumor Suppressor Galectin-4 in Colorectal Cancer Cells Open
Galectin-4 (Gal4) has been suggested to function as a tumor suppressor in colorectal cancer (CRC). In order to systematically explore its function in CRC, we established a CRC cell line where Gal4 expression can be regulated via the doxycy…
View article: CiFi: Versatile Analysis of Class and Field Immutability
CiFi: Versatile Analysis of Class and Field Immutability Open
This paper was accepted in 2021 at the 36th IEEE/ACM International Conference on Automated Software Engineering and proposes a model for immutability analysis. Reasoning about immutability is important for preventing bugs, e.g., in multi-t…
View article: Artifact for "CiFi: Versatile Analysis of Class and Field Immutability"
Artifact for "CiFi: Versatile Analysis of Class and Field Immutability" Open
This is the artifact for the paper: "CiFi: Versatile Analysis of Class and Field Immutability" published at ASE21.
View article: Modular collaborative program analysis in OPAL
Modular collaborative program analysis in OPAL Open
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitate modularity and automated, analysis-independent optimizati…
View article: Evaluation Results for Modular Collaborative Program Analysis in OPAL
Evaluation Results for Modular Collaborative Program Analysis in OPAL Open
This are the full evaluation results for "Modular Collaborative Program Analysis in OPAL", published at ESEC/FSE 2020. The zip file contains csv files with the data of individual analysis executions (raw-results.csv) and the respective med…
View article: Evaluation Results for Modular Collaborative Program Analysis in OPAL
Evaluation Results for Modular Collaborative Program Analysis in OPAL Open
This are the full evaluation results for "Modular Collaborative Program Analysis in OPAL", published at ESEC/FSE 2020. The zip file contains csv files with the data of individual analysis executions (raw-results.csv) and the respective med…
View article: A programming model for semi-implicit parallelization of static analyses
A programming model for semi-implicit parallelization of static analyses Open
Parallelization of static analyses is necessary to scale to real-world programs, but it is a complex and difficult task and, therefore, often only done manually for selected high-profile analyses. In this paper, we propose a programming mo…
View article: A Unified Lattice Model and Framework for Purity Analyses
A Unified Lattice Model and Framework for Purity Analyses Open
This paper was presented in 2018 at the 33rd ACM/IEEE International Conference on Automated Software Engineering and proposes a framework for purity analyses. Analyzing methods in object-oriented programs whether they are side-effect free …