Publications

Found 10 results
Filters: Author is Michael Pradel  [Clear All Filters]
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.
J. Patra, Dixit, P. N., and Pradel, M., ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries, in International Conference on Software Engineering, 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. 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.