Publications

Found 18 results
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.
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.
R. Hähnle and Steinhöfel, D., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.
J. - P. Lehr, Hück, A., and Bischof, C., PIRA: Performance Instrumentation Refinement Automation, in Artificial Intelligence and Empirical Methods for Software Engineer- ing and Parallel Computing Systems, 2018.
M. Reif, Kübler, F., Eichberg, M., and Mezini, M., Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java, in International Workshop on the State Of the Art in Program Analysis, 2018.
M. Selakovic, Pradel, M., Nawrin, R. Karim, and Tip, F., Test Generation for Higher-Order Functions in Dynamic Languages, in Object-Oriented Programming, Systems, Languages & Applications, 2018.
A. Habib and Pradel, M., Is This Class Thread-Safe? Inferring Documentation using Graph-based Learning, in International Conference on Automated Software Engineering, 2018.
D. Helm, Kübler, F., Eichberg, M., Reif, M., and Mezini, M., A Unified Lattice Model and Framework for Purity Analyses, in International Conference on Automated Software Engineering, 2018.