Publications

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