Publications

Found 14 results
Filters: Autor is Michael Pradel  [Clear All Filters]
2021
R. Mammadli, Selakovic, M., Wolf, F., und Pradel, M., Learning to Make Compiler Optimizations More Effective, in Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming (MAPS), 2021, S. 9-20.
2019
P. Sokolka, Staicu, C. - A., und Pradel, M., Anything to Hide? Studying Minified and Obfuscated Code in the Web, in Proceedings of the 2019 World Wide Web Conference (WWW), 2019, S. 1735-1746.
S. Tolksdorf, Lehmann, D., und Pradel, M., Interactive Metamorphic Testing of Debuggers, in Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2019, S. 273-283.
C. - A. Staicu und Pradel, M., Leaky Images: Targeted Privacy Attacks in the Web, in Proceedings of the 28th USENIX Security Symposium (USENIX Security), 2019, S. 923-939.
R. Sohail Malik, Patra, J., und 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, S. 304-315.
D. Lehmann und 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, S. 1045-1058.
2018
D. Ramachandr Murthy und Pradel, M., Change-aware Dynamic Program Analysis for JavaScript, in Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2018, S. 127-137.
J. Patra, Dixit, P. N., und Pradel, M., ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries, in Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018, S. 741-751.
M. Pradel und 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, S. 1-25.
D. Lehmann und 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, S. 610-620.
C. - A. Staicu und 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, S. 361-376.
A. Habib und 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, S. 317-328.
A. Habib und 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, S. 41-52.
M. Selakovic, Pradel, M., Nawrin, R. Karim, und 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, S. 1-27.