Publikationen nach Typ

Bücher und Tagungsbände (erschienen)
  • S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering - Introduction to the ISoLA 2022 Track”, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, pp. 195-200, 2022.
  • F. Wolf and Gao, W., “Benchmarking, Measuring, and Optimizing”, Proceedings of the 3rd BenchCouncil International Symposium (Bench). Springer, pp. 1-268, 2021.
  • S. Demeyer, Hähnle, R., and Mantel, H., “Automating Software Re-engineering”, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, pp. 72-92, 2020.
Zeitschriftenartikel (erschienen)
  • 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, pp. 31:1-31:31, 2022.
  • A. Hück, Kreutzer, S., Protze, J., Lehr, J. - P., Bischof, C., Terboven, C., and Müller, M. S., “Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications”, IT Professional, vol. 24, no. 2, pp. 45-51, 2022.
  • D. Beyer and Jakobs, M. - C., “Cooperative verifier-based testing with CoVeriTest”, International Journal on Software Tools for Technology Transfer, vol. 23, pp. 313-333, 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, vol. 108, pp. 1-12, 2021.
  • V. Kutscher, Olbort, J., Röhm, B., Plesker, C., and Anderl, R., “Web-based Digital Twin”, Journal of Innovation, pp. 1-18, 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, pp. 1560-1570, 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, vol. 204, 2021.
  • K. Peters and Nestmann, U., “Distributability of mobile ambients”, Information and Computation, vol. 275, 2020.
  • S. Ruland, Lochau, M., Fehse, O., and Schürr, A., “CPA/Tiger-MGP: Test-Goal Set Partitioning for Efficient Multi-goal Test-suite Generation”, International Journal on Software Tools for Technology Transfer, vol. 23, pp. 853-856, 2020.
  • P. Weisenburger and Salvaneschi, G., “Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala”, The Art, Science, and Engineering of Programming, vol. 4, no. 3, pp. 17:1-17:29, 2020.
  • P. Weisenburger, Wirth, J., and Salvaneschi, G., “A Survey of Multitier Programming”, ACM Computing Surveys, vol. 53, no. 4, pp. 81:1-81:35, 2020.
  • B. Bisping, Nestmann, U., and Peters, K., “Coupled similarity: the first 32 years”, Acta Informatica, vol. 57, pp. 239-263, 2020.
  • L. Luthmann, Gerecht, T., and Lochau, M., “Sampling Strategies for Product Lines with Unbounded Parametric Real-time Constraints”, International Journal on Software Tools for Technology Transfer, vol. 21, no. 6, pp. 613-633, 2019.
  • R. Mammadli, Wolf, F., and Jannesari, A., “The Art of Getting Deep Neural Networks in Shape”, ACM Transactions on Architecture and Code Optimization, vol. 15, no. 4, pp. 62:1-62:21, 2019.
  • D. Reuling, Kelter, U., Bürdek, J., and Lochau, M., “Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software”, ACM Transactions on Software Engineering and Methodology, vol. 28, no. 3, pp. 13:1-13:59, 2019.
  • D. Reuling, Lochau, M., and Kelter, U., “From Imprecise N-Way Model Matching to Precise N-Way Model Merging”, Journal of Object Technology, vol. 18, no. 2, pp. 1-20, 2019.
  • G. Salvaneschi, Köhler, M., Sokolowski, D., Haller, P., Erdweg, S., and Mezini, M., “Language-integrated Privacy-aware Distributed Queries”, Proceedings of the ACM on Programming Languages, vol. 3, no. OOPSLA, 2019.
  • S. Amann, Nguyen, H. Anh, Nadi, S., Nguyen, T., and Mezini, M., “A Systematic Evaluation of Static API-Misuse Detectors”, IEEE Transactions on Software Engineering, vol. 45, no. 12, pp. 1170-1188, 2018.
  • O. Bračevac, Amin, N., Salvaneschi, G., Erdweg, S., Eugster, P., and Mezini, M., “Versatile Event Correlation with Algebraic Effects”, ACM on Programming Languages, vol. 2, no. ICFP, pp. 67:1-67:31, 2018.
Zeitschriftenartikel (angenommen aber noch nicht erschienen)
  • D. Sokolowski, Weisenburger, P., and Salvaneschi, G., “Decentralizing Infrastructure as Code”, IEEE Software, vol. 40, no. 1 (to appear, https://doi.org/10.1109/MS.2022.3192968). IEEE, 2023.
Konferenzartikel (erschienen)
  • B. Beckert, Bubel, R., Hähnle, R., and Ulbrich, M., “Towards a Usable and Sustainable Deductive Verification Tool“, in Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2022, pp. 281-300.
  • A. Horn, Fard, H. Mohammadi, and Wolf, F., “Multi-objective Hybrid Autoscaling of Microservices in Kubernetes Clusters”, in Proceedings of the 28th International Conference on Parallel and Distributed Computing (Euro-Par), 2022, pp. 233-250.
  • M. - C. Jakobs, “Automatic Test-Case Generation with CoVeriTest (Extended Abstract)”, in Proceedings of the 16th International Conference on Tests and Proofs (TAP), 2022, pp. 3-8.
  • M. - C. Jakobs, “Reusing Predicate Precision in Value Analysis”, in Proceedings of the 17th International Conference on Integrated Formal Methods (IFM), 2022, pp. 63-85.
  • M. - C. Jakobs and Wiesner, M., “PEQtest: Testing Functional Equivalence”, in Proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering (FASE), 2022, pp. 184-204.
  • T. Jammer, Hück, A., Lehr, J. - P., Protze, J., Schwitanski, S., and Bischof, C., “Towards a Hybrid MPI Correctness Benchmark Suite”, in Proceedings of the 29th European MPI Users' Group Meeting (EuroMPI/USA), 2022, pp. 46-56.
  • V. Kutscher, Bassauer, D., Dasbach, T., and Anderl, R., “Augmented Reality-based Programming of Robot-Arms”, in Proceedings of the 13th International Conference on Applied Human Factors and Ergonomics (AHFE), 2022, pp. 1-8.
  • H. Nöttgen, Czappa, F., and Wolf, F., “Accelerating Brain Simulations with the Fast Multipole Method”, in Proceedings of the 28th International Conference on Parallel and Distributed Computing (Euro-Par), 2022, pp. 22-26.
  • C. Plesker, Kutscher, V., Bassauer, D., and Anderl, R., “Configuration of a Web-Based Digital Twin using a Modular and Flexible Simulation Chain”, in Proceedings of the 13th International Conference on Applied Human Factors and Ergonomics (AHFE), 2022, pp. 9-16.
  • N. Saurabh, Herold, M., Fard, H. Mohammadi, and Prodan, R., “SMART: A Tool for Trust and Reputation Management in Social Media”, in Proceedings of the Euro-Par 2021 Parallel Processing Workshops (LSDVE), 2022, pp. 417-427.
  • D. Sokolowski, “Infrastructure as Code for Dynamic Deployments”, in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022, pp. 1775-1779.
  • 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 (ICSE), 2022, pp. 350-362.
  • A. Heydari Tabar, Bubel, R., and Hähnle, R., “Automatic Loop Invariant Generation for Data Dependence Analysis”, in Proceedings of the 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 34-45.
  • P. Arzt, Fischler, Y., Lehr, J. - P., and Bischof, C., “Automatic Low-Overhead Load-Imbalance Detection in MPI Applications”, in Proceedings of the 27th International Conference on Parallel and Distributed Computing (Euro-Par), 2021, pp. 19-34.
  • M. Copik, Calotoiu, A., Grosser, T., Wicki, N., Wolf, F., and Hoefler, T., “Extracting Clean Performance Models from Tainted Programs”, in Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2021, pp. 403-417.
  • S. Giallorenzo, Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., and Weisenburger, P., “Multiparty Languages: The Choreographic and Multitier Cases”, in Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP), 2021, pp. 22:1-22:27.
  • M. - C. Jakobs, “PatEC: Pattern-based Equivalence Checking”, in Proceedings of the 27th International Symposium on Model Checking Software (SPIN), 2021, pp. 120-139.
  • M. - C. Jakobs, “PEQcheck: Localized and Context-aware Checking of Functional Equivalence”, in Proceedings of the 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021, pp. 130-140.
  • M. - C. Jakobs and Richter, C., “CoVeriTest with Adaptive Time Scheduling (Competition Contribution)”, in Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 2021, pp. 358-362.
  • 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 Proceedings of the 54th CIRP Conference on Manufacturing Systems (CMS), 2021, pp. 999-1004.
  • 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 Proceedings of the 50th International Conference on Parallel Processing (ICPP), 2021, pp. 1-10.
  • J. - P. Lehr, Jammer, T., and Bischof, C., “MPI-CorrBench: Towards an MPI Correctness Benchmark Suite”, in Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing (HPDC), 2021, pp. 69-80.
  • R. Mammadli, Selakovic, M., Wolf, F., and Pradel, M., “Learning to Make Compiler Optimizations More Effective”, in Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming (MAPS), 2021, pp. 9-20.
  • P. Müller, Narasimhan, K., and Mezini, M., “Fex: Assisted Identification of Domain Features from C Programs”, in Proceedings of the 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, pp. 170-180.
  • J. Olbort, Kutscher, V., Moser, M., and Anderl, R., “Networking of digital twins in the digital factory for single part manufacturing simulation”, in Proceedings of the 30th Conference on Information Storage and Processing Systems (ISPS), 2021, pp. 1-3.
  • 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 Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2021, pp. 23-34.
  • M. Scaletta, Hähnle, R., Steinhöfel, D., and Bubel, R., “Delta-based verification of software product families”, in Proceedings of the 24th ACM SIGPLAN International Confernce on Generative Programming: Concepts and Experiences (GPCE), 2021, pp. 69-82.
  • D. Sokolowski, “Deployment Coordination for Cross-Functional DevOps Teams”, in Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021, pp. 1630-1634.
  • D. Sokolowski, Weisenburger, P., and Salvaneschi, G., “Automating Serverless Deployments for DevOps Organizations”, in Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021, pp. 57-69.
  • S. Sztwiertnia, Grübel, M., Chouchane, A., Sokolowski, D., Narasimhan, K., and Mezini, M., “Impact of Programming Lanuages on Machine Learning Bugs”, in Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis (AISTA), 2021, pp. 9-12.
  • M. Wiesner and Jakobs, M. - C., “Verifying Pipeline Implementations in OpenMP”, in Proceedings of the 27th International Symposium on Model Checking Software (SPIN), 2021, pp. 81-98.
  • 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, pp. 6342-6352.
  • A. Calotoiu, Geisenhofer, M., Kummer, F., Weber, J., Hoefler, T., Oberlack, M., and Wolf, F., “Empirical Modeling of Spatially Diverging Performance”, in Proceedings the 2020 IEEE/ACM International Workshop on HPC User Support Tools (HUST) and Workshop on Programming and Performance Visualization Tools (ProTools), 2020, pp. 71-80.
  • H. Mohammadi Fard, Prodan, R., and Wolf, F., “Dynamic Multi-objective Scheduling of Microservices in the Cloud”, in Proceedings of the 13th International Conference on Utility and Cloud Computing (UCC), 2020, pp. 386-393.
  • L. Glanz, Müller, P., Baumgärtner, L., Reif, M., Amann, S., Anthonysamy, P., and Mezini, M., “Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy”, in Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIACCS), 2020, pp. 694-707.
  • H. Göttmann, Luthmann, L., Lochau, M., and Schürr, A., “Real-Time Aware Reconfiguration Decisions for Dynamic Software Product Lines”, in Proceedings of the 24th ACM Conference on Systems and Software Product Line (SPLC), 2020, pp. 1-11.
  • R. Hähnle, Tabar, A. Heydari, Mazaheri, A., Norouzi, M., Steinhöfel, D., and Wolf, F., “Safer Parallelization”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 117-137.
  • A. Hück, Protze, J., Lehr, J. - P., Terboven, C., Bischof, C., and Müller, M. S., “Towards compiler-aided correctness checking of adjoint MPI applications”, in Proceedings of the 4th International Workshop on Software Correctness for HPC Applications (Correctness), 2020, pp. 40-48.
  • M. - C. Jakobs, “CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)”, in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020, pp. 540-544.
  • M. - C. Jakobs and Mantel, H., “A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 72-92.
  • V. Kutscher, Anokhin, O., and Anderl, R., “Enhancing digital twin performance through simulation of computerized numerical control firmware”, in Proceedings of the 8th International Conference on Through-Life Engineering Services (TESConf), 2020, pp. 69-74.
  • V. Kutscher, Olbort, J., Anokhin, O., Bambach, L., and Anderl, R., “Upgrading of Legacy Systems to Cyber-Physical Systems”, in Proceedings of the 13th International Tools and Methods of Competitive Engineering Symposium (TMCE), 2020, pp. 1-13.
  • V. Kutscher, Olbort, J., Steinhauer, C., and Anderl, R., “Model-Based Interconnection of Digital and Physical Twins Using OPC UA”, in Proceedings of the 11th International Conference on Applied Human Factors and Ergonomics (AHFE), 2020, pp. 178-185.
  • V. Kutscher, Ruland, S., Müller, P., Wasser, N., Lochau, M., Anderl, R., Schürr, A., Mezini, M., and Hähnle, R., “Towards a Circular Economy of Industrial Software”, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, pp. 37-42.
  • J. - P. Lehr, Hück, A., Fischer, M., and Bischof, C., “Compiler-assisted type-safe checkpointing”, in Proceedings of the ISC High Performance 2020 International Workshops (C3PO), 2020, pp. 5-18.
  • J. - P. Lehr, Hück, A., Fischler, Y., and Bischof, C., “MetaCG: annotated call-graphs to facilitate whole-program analysis”, in Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS), 2020, pp. 3-9.
  • M. Lochau, Luthmann, L., Göttmann, H., and Bacher, I., “Parametric Timed Bisimulation”, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, pp. 55-71.
  • L. Luthmann, Göttmann, H., and Lochau, M., “Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata”, in Proceedings of the 16th International Conference on Formal Aspects of Component Software (FACS), 2020, pp. 147-169.
  • R. Mammadli, Jannesari, A., and Wolf, F., “Static Neural Compiler Optimization via Deep Reinforcement Learning”, in Proceedings of the 6th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 2020, pp. 1-11.
  • A. Mazaheri, Beringer, T., Moskewicz, M., Wolf, F., and Jannesari, A., “Accelerating winograd convolutions using symbolic computation and meta-programming”, in Proceedings of the 15th European Conference on Computer Systems (EuroSys), 2020, pp. 1-14.
  • N. Morew, Norouzi, M., Jannesari, A., and Wolf, F., “Skipping Non-essential Instructions Makes Data-Dependence Profiling Faster”, in Proceedings of the 26th International Conference on Parallel and Distributed Computing (Euro-Par), 2020, pp. 3-17.
  • J. Olbort, Herden, H., Kutscher, V., and Anderl, R., “Mixed Reality for Visualization of Operating Data and Semantic Self-Descriptions of Machines using OPC UA”, in Proceedings of the 11th International Conference on Applied Human Factors and Ergonomics (AHFE), 2020, pp. 149-156.
  • D. Reuling, Kelter, U., Bürdek, J., and Lochau, M., “On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software”, in Proceedings of Software Engineering (SE), 2020, pp. 55-56.
  • M. Ritter, Calotoiu, A., Rinke, S., Reimann, T., Hoefler, T., and Wolf, F., “Learning Cost-Effective Sampling Strategies for Empirical Performance Modeling”, in Proceedings of the 34th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020, pp. 884-895.
  • S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., and Lochau, M., “On Controlling the Attack Surface of Object-Oriented Refactorings”, in Proceedings of Software Engineering (SE), 2020, pp. 89-90.
  • S. Ruland, Lochau, M., and Jakobs, M. - C., “HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)”, in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020, pp. 520-524.
  • F. Schrammel, Renk, F., Mazaheri, A., and Wolf, F., “Efficient Ephemeris Models for Spacecraft Trajectory Simulations on GPUs”, in Proceedings of the 26th European Conference on Parallel and Distributed Computing (Euro-Par), 2020, pp. 561-577.
  • D. Sokolowski, Lehr, J. - P., Bischof, C., and Salvaneschi, G., “Leveraging Hybrid Cloud HPC with Multitier Reactive Programming”, in Proceedings of the 3rd IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies (SuperCompCloud), 2020, pp. 27-32.
  • J. Soldani, Luthmann, L., Lochau, M., and Brogi, A., “Testing Conformance in Multi-component Enterprise Application Management”, in Proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC), 2020, pp. 3-18.
  • T. Steinbach, Wang, Y., Kutscher, V., and Anderl, R., “Integration of Multi-domain-Simulation into the Design of Cyber-Physical Systems”, in Proceedings of the 11th International Conference on Applied Human Factors and Ergonomics (AHFE), 2020, pp. 451-456.
  • D. Steinhöfel, “REFINITY to Model and Prove Program Transformation Rules”, in Proceedings of the 18th Asian Symposium on Programming Languages and Systems (APLAS), 2020, pp. 217-231.
  • D. Steinhöfel and Hähnle, R., “The Trace Modality”, in Proceedings of the 2nd International Workshop on Dynamic (DaLí), 2020, pp. 124-140.
  • R. Bubel, Hähnle, R., and Tabar, A. Heydari, “A Program Logic for Dependence Analysis”, in Proceedings of 15th International Conference on Integrated Formal Methods (iFM), 2019, pp. 83-100.
  • A. Calotoiu, Höhl, T., Mantel, H., Nguyen, T., and Wolf, F., “Designing Efficient Parallel Software via Compositional Performance Modeling”, in Proceedings of the Workshop on Programming and Performance Visualization Tools (ProTools), 2019, pp. 17-24.
  • M. Eichholz, Campbell, E., Foster, N., Salvaneschi, G., and Mezini, M., “How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4”, in Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), 2019, pp. 12:1-12:28.
  • Y. Fischler, Lehr, J. - P., Kiehn, M. Magnus, and Bischof, C., “Automatic Identification of Standard Template Algorithms in Raw Loops”, in Proceedings of the 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems (AI-SEPS), 2019, pp. 11-14.
  • M. Köhler and Salvaneschi, G., “Automated Refactoring to Reactive Programming”, in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, pp. 835-846.
  • D. Lehmann and Pradel, M., “Wasabi: A Framework for Dynamically Analyzing WebAssembly”, in Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019, pp. 1045-1058.
  • J. - P. Lehr, Calotoiu, A., Bischof, C., and Wolf, F., “Automatic Instrumentation Refinement for Empirical Performance Modeling”, in Proceedings of the 2019 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools), 2019, pp. 40-47.
  • R. Sohail Malik, Patra, J., and Pradel, M., “NL2Type: Inferring JavaScript Function Types from Natural Language Information”, in Proceedings of the 41st IEEE/ACM International Conference on Software Engineering (ICSE), 2019, pp. 304-315.
  • H. Mantel, “From Attacker Models to Reliable Security”, in Proceedings of the 14th ACM ASIA Conference on Computer and Communications Security (ASIACCS), 2019, pp. 547-548.
  • H. Mantel and Probst, C. W., “On the Meaning and Purpose of Attack Trees”, in Proceedings of the 32nd IEEE Computer Security Foundations Symposium (CSF), 2019, pp. 184-199.
  • A. Mazaheri, Schulte, J., Moskewicz, M., Wolf, F., and Jannesari, A., “Enhancing the Programmability and Performance Portability of GPU Tensor Operations”, in Proceedings of the 25th European Conference on Parallel and Distributed Computing (Euro-Par), 2019, pp. 213-226.
  • M. Norouzi, Ilias, Q., Jannesari, A., and Wolf, F., “Accelerating Data-Dependence Profiling with Static Hints”, in Proceedings of the 25th International Conference on Parallel and Distributed Computing (Euro-Par), 2019, pp. 17-28.
  • M. Norouzi, Wolf, F., and Jannesari, A., “Automatic Construct Selection and Variable Classification in OpenMP”, in Proceedings of the 33rd International Conference on Supercomputing (ICS), 2019, pp. 330-341.
  • D. Reuling, Kelter, U., Ruland, S., and Lochau, M., “SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software”, in Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, pp. 1134-1137.
  • P. Sokolka, Staicu, C. - A., and Pradel, M., “Anything to Hide? Studying Minified and Obfuscated Code in the Web”, in Proceedings of the 2019 World Wide Web Conference (WWW), 2019, pp. 1735-1746.
  • C. - A. Staicu and Pradel, M., “Leaky Images: Targeted Privacy Attacks in the Web”, in Proceedings of the 28th USENIX Security Symposium (USENIX Security), 2019, pp. 923-939.
  • D. Steinhöfel and Hähnle, R., “Abstract Execution”, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, pp. 319-336.
  • A. Heydari Tabar, Bubel, R., and Hähnle, R., “Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis”, in Proceedings of the PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM), 2019, pp. 10-12.
  • S. Tolksdorf, Lehmann, D., and Pradel, M., “Interactive Metamorphic Testing of Debuggers”, in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019, pp. 273-283.
  • N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Modeling Non-deterministic C Code with Active Objects”, in Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN), 2019, pp. 213-227.
  • P. Weisenburger and Salvaneschi, G., “Developing Distributed Systems with Multitier Programming”, in Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems (DEBS), 2019, pp. 203-204.
  • P. Weisenburger and Salvaneschi, G., “Multitier Modules”, in Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), 2019, pp. 3:1-3:29.
  • E. Çergani, Proksch, S., Nadi, S., and Mezini, M., “Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study”, in Proceedings of the 13th International Conference on Software Technologies (ICSOFT), 2018, pp. 91-102.
  • M. Eichberg, Kübler, F., Reif, M., Salvaneschi, G., and Mezini, M., “Lattice Based Modularization of Static Analyses”, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, pp. 113-118.
  • M. Eichholz, Salvaneschi, G., and Mezini, M., “Towards Safe Modular Composition of Network Functions”, in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming), 2018, pp. 81-86.
  • P. Graubner, Lampe, P., Höchst, J., Baumgärtner, L., Mezini, M., and Freisleben, B., “Opportunistic Named Functions in Disruption-tolerant Emergency Networks”, in Proceedings of the 15th ACM International Conference on Computing Frontiers (CF), 2018, pp. 129-137.
  • P. Graubner, Thelen, C., Körber, M., Sterz, A., Salvaneschi, G., Mezini, M., Seeger, B., and Freisleben, B., “Multimodal Complex Event Processing on Mobile Devices”, in Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems (DEBS), 2018, pp. 112-123.
  • A. Habib and Pradel, M., “How Many of All Bugs Do We Find? A Study of Static Bug Detectors”, in Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE), 2018, pp. 317-328.
  • A. Habib and Pradel, M., “Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning”, in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, pp. 41-52.
  • D. Helm, Kübler, F., Eichberg, M., Reif, M., and Mezini, M., “A Unified Lattice Model and Framework for Purity Analyses”, in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, pp. 340-350.
  • A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., and Müller, M. S., “Compiler-aided type tracking for correctness checking of MPI applications”, in Proceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018, pp. 51-58.
  • S. Krüger, Späth, J., Ali, K., Bodden, E., and Mezini, M., “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs”, in Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
  • D. Lehmann and Pradel, M., “Feedback-Directed Differential Testing of Interactive Debuggers”, in Proceedings of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018, pp. 610-620.
  • J. - P. Lehr, Hück, A., and Bischof, C., “PIRA: Performance Instrumentation Refinement Automation”, in Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems (AI-SEPS), 2018, pp. 1-10.
  • A. Mazaheri, Wolf, F., and Jannesari, A., “Unveiling Thread Communication Bottlenecks Using Hardware-Independent Metrics”, in Proceedings of the 47th International Conference on Parallel Processing (ICPP), 2018, pp. 1-10.
  • R. Mogk, Salvaneschi, G., and Mezini, M., “Reactive Programming Experience with REScala”, in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming), 2018, pp. 105-112.
  • D. Ramachandr Murthy and Pradel, M., “Change-aware Dynamic Program Analysis for JavaScript”, in Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2018, pp. 127-137.
  • J. Patra, Dixit, P. N., and Pradel, M., “ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries”, in Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018, pp. 741-751.
  • M. Pradel and Sen, K., “DeepBugs: A Learning Approach to Name-based Bug Detection”, in Proceedings of the 33rd Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2018, pp. 1-25.
  • M. Reif, Kübler, F., Eichberg, M., and Mezini, M., “Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java”, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, pp. 107-112.
  • S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., and Lochau, M., “Controlling the Attack Surface of Object-Oriented Refactorings”, in Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE), 2018, pp. 38-55.
  • S. Ruland, Luthmann, L., Bürdek, J., Lity, S., Thüm, T., Lochau, M., and Ribeiro, M., “Measuring Effectiveness of Sample-Based Product-Line Testing”, in Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018, pp. 119-133.
  • M. Selakovic, Barnett, M., Musuvathi, M., and Mytkowicz, T., “Cross-Language Optimizations in Big Data Systems: A Case Study of SCOPE”, in Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2018, pp. 45-54.
  • M. Selakovic, Pradel, M., Nawrin, R. Karim, and Tip, F., “Test Generation for Higher-Order Functions in Dynamic Languages”, in Proceedings of the 33rd Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2018, pp. 1-27.
  • A. Shah, Müller, M. S., and Wolf, F., “Estimating the Impact of External Interference on Application Performance”, in Proceedings of the 24th European Conference on Parallel and Distributed Computing (Euro-Par), 2018, pp. 46-58.
  • C. - A. Staicu and Pradel, M., “Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers”, in Proceedings of the 27th USENIX Security Symposium (USENIX Security), 2018, pp. 361-376.
  • D. Steinhöfel and Hähnle, R., “Modular, Correct Compilation with Automatic Soundness Proofs”, in Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2018, pp. 424-447.
  • M. Weckesser, Lochau, M., Ries, M., and Schürr, A., “Mathematical Programming for Anomaly Analysis of Clafer Models”, in Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2018, pp. 34-44.
Konferenzartikel (angenommen aber noch nicht erschienen)
  • T. Özden, Beringer, T., Mazaheri, A., Fard, H. Mohammadi, and Wolf, F., “ElastiSim: A Batch-System Simulator for Malleable Workloads”, Proceedings of the 51st International Conference on Parallel Processing (ICPP). ACM (to appear, Link), 2022.
Artikel ohne Peer Review (erschienen)
  • S. Prasad, Ghafoor, S., Barnas, M., Wolf, F., Saule, E., and Sakellariou, N. Rodriguez, “Editorial of Special Issue: Keeping up with technology: Teaching parallel, distributed, and highperformance computing”, Journal of Parallel and Distributed Computing, vol. 160. Elsevier, pp. 36-38, 2022.
  • S. Ruland and Lochau, M., “On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies”, ArXiv E-Print 2207.12733: https://doi.org/10.48550/arXiv.2207.12733. ArXiv, pp. 1-39, 2022.
  • M. - C. Jakobs, “PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)”, ArXiv E-Print 2101.09042: https://doi.org/10.48550/arXiv.2101.09042. ArXiv, pp. 1-37, 2021.
  • E. Kamburjan, Scaletta, M., and Rollshausen, N., “Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects”, ArXiv E-Print 2102.10127: https://doi.org/10.48550/arXiv.2102.10127. ArXiv, pp. 1-12, 2021.
  • E. Kamburjan and Wasser, N., “Deductive Verification of Programs with Underspecified Semantics by Model Extraction”, ArXiv E-Print 2110.01964: https://doi.org/10.48550/arXiv.2110.01964. ArXiv, pp. 1-31, 2021.
  • A. Calotoiu, Copik, M., Hoefler, T., Ritter, M., Shudler, S., and Wolf, F., “ExtraPeak: Advanced Automatic Performance Modeling for HPC Applications”, Software for Exascale Computing - SPPEXA 2016-2019, LNCSE 136. Springer, pp. 453-482, 2020.
  • N. Wasser and Steinhöfel, D., “Treating for-Loops as First-Class Citizens in Proofs”, ArXiv E-Print 2002.00776: https://doi.org/10.48550/arXiv.2002.00776. ArXiv, pp. 1-19, 2020.
Deutsch