Publications

Found 31 results
2019
M. Norouzi, Ilias, Q., Jannesari, A., und Wolf, F., Accelerating Data-Dependence Profiling with Static Hints, in Euro-Par 2019: Parallel Processing, 2019.
R. Mammadli, Wolf, F., und Jannesari, A., The Art of Getting Deep Neural Networks in Shape, ACM Transactions on Architecture and Code Optimization, Bd. 15, Nr. 4, 2019.
D. Reuling, Kelter, U., Bürdek, J., und Lochau, M., Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software, ACM Transactions on Software Engineering and Methodology, Bd. 28, Nr. 3, 2019.
M. Norouzi, Wolf, F., und Jannesari, A., Automatic Construct Selection and Variable Classification in OpenMP, in ACM International Conference on Supercomputing, 2019.
P. Weisenburger und Salvaneschi, G., Developing Distributed Systems with Multitier Programming, in ACM International Conference on Distributed and Event-based Systems, 2019.
A. Mazaheri, Schulte, J., Moskewicz, M. W., Wolf, F., und Jannesari, A., Enhancing the Programmability and Performance Portability of GPU Tensor Operations, in Euro-Par 2019: Parallel Processing, 2019.
D. Reuling, Lochau, M., und Kelter, U., From Imprecise N-Way Model Matching to Precise N-Way Model Merging, Journal of Object Technology, Bd. 18, Nr. 2, 2019.
M. Eichholz, Campbell, E., Foster, N., Salvaneschi, G., und Mezini, M., How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4, in European Conference on Object-Oriented Programming, 2019.
P. Weisenburger und Salvaneschi, G., Multitier Modules, in European Conference on Object-Oriented Programming, 2019.
R. Sohail Malik, Patra, J., und Pradel, M., NL2Type: Inferring JavaScript Function Types from Natural Language Information, in International Conference on Software Engineering, 2019.
D. Lehmann und Pradel, M., Wasabi: A Framework for Dynamically Analyzing WebAssembly, in International Conference on Architectural Support for Programming Languages and Operating Systems, 2019.
2018
D. Ramachandr Murthy und Pradel, M., Change-aware Dynamic Program Analysis for JavaScript, in International Conference on Software Maintenance and Evolution, 2018.
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., und Müller, M. S., Compiler-aided type tracking for correctness checking of MPI applications, in International Workshop on Software Correctness for HPC Applications, 2018.
J. Patra, Dixit, P. N., und Pradel, M., ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries, in International Conference on Software Engineering, 2018.
S. Ruland, Kulcsár, G., Leblebici, E., Peldszus, S., und Lochau, M., Controlling the Attack Surface of Object-Oriented Refactorings, in International Conference on Fundamental Approaches to Software Engineering, 2018.
M. Selakovic, Barnett, M., Musuvathi, M., und Mytkowicz, T., Cross-Language Optimizations in Big Data Systems: A Case Study of SCOPE, in International Conference on Software Engineering: Software Engineering in Practice, 2018.
M. Pradel und Sen, K., DeepBugs: A Learning Approach to Name-based Bug Detection, in Object-Oriented Programming, Systems, Languages & Applications, 2018.
A. Shah, Müller, M. S., und Wolf, F., Estimating the Impact of External Interference on Application Performance, in international european conference on parallel and distributed computing, 2018.
D. Lehmann und Pradel, M., Feedback-Directed Differential Testing of Interactive Debuggers, in European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018.
C. - A. Staicu und Pradel, M., Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers, in USENIX Security, 2018.
A. Habib und Pradel, M., How Many of All Bugs Do We Find? A Study of Static Bug Detectors, in International Conference on Automated Software Engineering, 2018.
M. Eichberg, Kübler, F., Reif, M., Salvaneschi, G., und Mezini, M., Lattice Based Modularization of Static Analyses, in International Workshop on the State Of the Art in Program Analysis, 2018.
M. Weckesser, Lochau, M., Ries, M., und Schürr, A., Mathematical Programming for Anomaly Analysis of Clafer Models, in International Conference on Model Driven Engineering Languages and Systems, 2018.
S. Ruland, Luthmann, L., Bürdek, J., Lity, S., Thüm, T., Lochau, M., und Ribeiro, M., Measuring Effectiveness of Sample-Based Product-Line Testing, in International Conference on Generative Programming: Concepts & Experiences, 2018.
D. Steinhöfel und Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.

Seiten