Publications

Found 142 results
2022
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.
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.
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.
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.
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.
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. 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.
S. Kreutzer, Iwainsky, C., Lehr, J. - P., and Bischof, C., Compiler-assisted Instrumentation Selection for Large-scale C++ Codes, in Proceedings of the ISC High Performance 2022 International Workshops (C3PO), 2022, pp. 5-19.
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.
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.
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.
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.
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.
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.
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 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.
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.
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.
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.
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.
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, pp. 6342-6352.
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.
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.
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.
F. Wolf and Gao, W., Benchmarking, Measuring, and Optimizing, Proceedings of the 3rd BenchCouncil International Symposium (Bench). Springer, pp. 1-268, 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 Proceedings of the 54th CIRP Conference on Manufacturing Systems (CMS), 2021, pp. 999-1004.
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.
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.
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.
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.
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.
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.
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.
S. Sztwiertnia, Grübel, M., Chouchane, A., Sokolowski, D., Narasimhan, K., and Mezini, M., Impact of Programming Languages on Machine Learning Bugs, in Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis (AISTA), 2021, pp. 9-12.
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.
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.
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.
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.
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. - 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, 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.
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.
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.
V. Kutscher, Olbort, J., Röhm, B., Plesker, C., and Anderl, R., Web-based Digital Twin, Journal of Innovation, pp. 1-18, 2021.
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.
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.
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.
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.
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.
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.
B. Bisping, Nestmann, U., and Peters, K., Coupled similarity: the first 32 years, Acta Informatica, vol. 57, pp. 239-263, 2020.
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.
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.
K. Peters and Nestmann, U., Distributability of mobile ambients, Information and Computation, vol. 275, 2020.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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. - 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
D. Steinhöfel and Hähnle, R., The Trace Modality, in Proceedings of the 2nd International Workshop on Dynamic (DaLí), 2020, pp. 124-140.
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.
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.
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.
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.
2019
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.
D. Steinhöfel and Hähnle, R., Abstract Execution, in Proceedings of the 3rd World Congress on Formal Methods (FM), 2019, pp. 319-336.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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., Multitier Modules, in Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), 2019, pp. 3:1-3:29.
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 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.
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.
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.
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. 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.
2018
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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. 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.