Publications

Found 118 results
2022
D. Sokolowski, Weisenburger, P., and Salvaneschi, G., Change Is the Only Constant: Dynamic Updates for Workflows, in Proceedings of the 44th International Conference on Software Engineering, 2022.
F. Dewald, Rohde, J., Hochberger, C., and Mantel, H., Improving Loop Parallelization by a Combination of Static and Dynamic Analyses in HLS, ACM Transactions on Reconfigurable Technology and Systems, vol. 15, no. 3, 2022.
2021
S. Yu, Mazaheri, A., and Jannesari, A., Auto Graph Encoder-Decoder for Neural Network Pruning, in Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV), 2021.
N. Wasser, Tabar, A. Heydari, and Hähnle, R., Automated model extraction: From non-deterministic C code to active objects, Science of Computer Programming, 2021.
P. Arzt, Fischler, Y., Lehr, J. - P., Bischof, C., Sousa, L., Roma, N., and Tomás, P., Automatic Low-Overhead Load-Imbalance Detection in MPI Applications, in International European Conference on Parallel and Distributed Computing, 2021.
D. Sokolowski, Weisenburger, P., and Salvaneschi, G., Automating Serverless Deployments for DevOps Organizations, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
V. Kutscher, Martins, T. Weber, Olbort, J., and Anderl, R., Concept for Interaction of Hardware Simulation and Embedded Software in a Digital Twin Based Test Environment, in 54th CIRP CMS 2021 - Towards Digitalized Manufacturing 4.0, 2021.
D. Beyer and Jakobs, M. - C., Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer, 2021.
M. - C. Jakobs and Richter, C., CoVeriTest with Adaptive Time Scheduling (Competition Contribution), in International Conference on Fundamental Approaches to Software Engineering, 2021.
M. Scaletta, Hähnle, R., Steinhöfel, D., and Bubel, R., Delta-based verification of software product families, in International Conference on Generative Programming: Concepts and Experiences, 2021.
D. Sokolowski, Deployment Coordination for Cross-Functional DevOps Teams, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021.
F. Czappa, Calotoiu, A., Höhl, T., Mantel, H., Nguyen, T., and Wolf, F., Design-Time Performance Modeling of Compositional Parallel Programs, Parallel Computing, Elsevier, vol. 108, 2021.
M. Copik, Calotoiu, A., Grosser, T., Wicki, N., Wolf, F., and Hoefler, T., Extracting Clean Performance Models from Tainted Programs, in Principles and Practice of Parallel Programming, 2021.
P. Müller, Narasimhan, K., and Mezini, M., Fex: Assisted Identification of Domain Features from C Programs, in International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
S. Sztwiertnia, Grübel, M., Chouchane, A., Sokolowski, D., Narasimhan, K., and Mezini, M., Impact of Programming Lanuages on Machine Learning Bugs, in International Workshop on AI and Software Testing/Analysis, 2021.
D. Nikitenko, Wolf, F., Mohr, B., Hoefler, T., Stefanov, K., Voevodin, V. Vladimirov, Antonov, A. Sergeevich, and Calotoiu, A., Influence of Noisy Environments on Behavior of HPC Applications, Lobachevskii Journal of Mathematics, vol. 42, 2021.
R. Mammadli, Selakovic, M., Wolf, F., and Pradel, M., Learning to Make Compiler Optimizations More Effective, in International Symposium on Machine Programming, 2021.
J. - P. Lehr, Jammer, T., and Bischof, C., MPI-CorrBench: Towards an MPI Correctness Benchmark Suite, in International Symposium on High-Performance Parallel and Distributed Computing, 2021.
S. Giallorenzo, Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., and Weisenburger, P., Multiparty Languages: The Choreographic and Multitier Cases, in European Conference on Object-Oriented Programming, 2021.
J. Olbort, Kutscher, V., Moser, M., and Anderl, R., Networking of digital twins in the digital factory for single part manufacturing simulation, in Conference on Information Storage and Processing Systems, 2021.
M. Ritter, Geiß, A., Wehrstein, J., Calotoiu, A., Reimann, T., Hoefler, T., and Wolf, F., Noise-Resilient Empirical Performance Modeling with Deep Neural Networks, in International Parallel & Distributed Processing Symposium, 2021.
M. - C. Jakobs, PatEC: Pattern-based Equivalence Checking, in International SPIN Symposium on Model Checking of Software, 2021.
M. - C. Jakobs, PEQcheck: Localized and Context-aware Checking of Functional Equivalence, in International Conference on Formal Methods in Software Engineering, 2021.
J. - P. Lehr, Bischof, C., Dewald, F., Mantel, H., Norouzi, M., and Wolf, F., Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization, in International Conference on Parallel Processing, 2021.
M. Wiesner and Jakobs, M. - C., Verifying Pipeline Implementations in OpenMP, in International SPIN Symposium on Model Checking of Software, 2021.

Pages