Publications

Found 31 results
2019
M. Norouzi, Ilias, Q., Jannesari, A., and Wolf, F., Accelerating Data-Dependence Profiling with Static Hints, in Euro-Par 2019: Parallel Processing, 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, 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, 2019.
M. Norouzi, Wolf, F., and Jannesari, A., Automatic Construct Selection and Variable Classification in OpenMP, in ACM International Conference on Supercomputing, 2019.
P. Weisenburger and 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., and Jannesari, A., Enhancing the Programmability and Performance Portability of GPU Tensor Operations, in Euro-Par 2019: Parallel Processing, 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, 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 European Conference on Object-Oriented Programming, 2019.
P. Weisenburger and Salvaneschi, G., Multitier Modules, in European Conference on Object-Oriented Programming, 2019.
R. Sohail Malik, Patra, J., and Pradel, M., NL2Type: Inferring JavaScript Function Types from Natural Language Information, in International Conference on Software Engineering, 2019.
D. Lehmann and 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 and 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., and 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., and 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., and 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., and 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 and 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., and Wolf, F., Estimating the Impact of External Interference on Application Performance, in international european conference on parallel and distributed computing, 2018.
D. Lehmann and 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 and Pradel, M., Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers, in USENIX Security, 2018.
A. Habib and 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., and 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., and 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., and Ribeiro, M., Measuring Effectiveness of Sample-Based Product-Line Testing, in International Conference on Generative Programming: Concepts & Experiences, 2018.
D. Steinhöfel and Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.

Pages