Automated program repair CL Goues, M Pradel, A Roychoudhury Communications of the ACM 62 (12), 56-65, 2019 | 368 | 2019 |
Deepbugs: A learning approach to name-based bug detection M Pradel, K Sen Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 368 | 2018 |
Getafix: Learning to fix bugs automatically J Bader, A Scott, M Pradel, S Chandra Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019 | 273 | 2019 |
Small world with high risks: A study of security threats in the npm ecosystem M Zimmermann, CA Staicu, C Tenny, M Pradel 28th USENIX Security Symposium (USENIX Security 19), 995-1010, 2019 | 255 | 2019 |
Automatic generation of object usage specifications from large method traces M Pradel, TR Gross 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 199 | 2009 |
A survey of compiler testing J Chen, J Patra, M Pradel, Y Xiong, H Zhang, D Hao, L Zhang ACM Computing Surveys (CSUR) 53 (1), 1-36, 2020 | 197 | 2020 |
Performance issues and optimizations in javascript: an empirical study M Selakovic, M Pradel Proceedings of the 38th International Conference on Software Engineering, 61-72, 2016 | 164 | 2016 |
Nl2type: inferring javascript function types from natural language information RS Malik, J Patra, M Pradel 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 156 | 2019 |
Everything old is new again: Binary security of {WebAssembly} D Lehmann, J Kinder, M Pradel 29th USENIX Security Symposium (USENIX Security 20), 217-234, 2020 | 136 | 2020 |
Understanding and automatically preventing injection attacks on Node. js CA Staicu, M Pradel, B Livshits Network and Distributed System Security Symposium (NDSS), 2018 | 128 | 2018 |
Freezing the Web: A Study of {ReDoS} Vulnerabilities in {JavaScript-based} Web Servers CA Staicu, M Pradel 27th USENIX Security Symposium (USENIX Security 18), 361-376, 2018 | 124 | 2018 |
Statically checking API protocol conformance with mined multi-object specifications M Pradel, C Jaspan, J Aldrich, TR Gross 2012 34th International Conference on Software Engineering (ICSE), 925-935, 2012 | 121 | 2012 |
Typewriter: Neural type prediction with search-based validation M Pradel, G Gousios, J Liu, S Chandra Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 120 | 2020 |
Performance regression testing of concurrent classes M Pradel, M Huggler, TR Gross Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 114 | 2014 |
How many of all bugs do we find? a study of static bug detectors A Habib, M Pradel Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 103 | 2018 |
A survey of dynamic analysis and test generation for JavaScript E Andreasen, L Gong, A Møller, M Pradel, M Selakovic, K Sen, CA Staicu ACM Computing Surveys (CSUR) 50 (5), 1-36, 2017 | 101 | 2017 |
Leveraging test generation and specification mining for automated bug detection without false positives M Pradel, TR Gross 2012 34th International Conference on Software Engineering (ICSE), 288-298, 2012 | 97 | 2012 |
Performance problems you can fix: A dynamic analysis of memoization opportunities L Della Toffola, M Pradel, TR Gross ACM SIGPLAN Notices 50 (10), 607-622, 2015 | 94 | 2015 |
Fully automatic and precise detection of thread safety violations M Pradel, TR Gross Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 94 | 2012 |
TypeDevil: Dynamic type inconsistency analysis for JavaScript M Pradel, P Schuh, K Sen 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 91 | 2015 |