Michael Pradel

Cited by

	All	Since 2018
Citations	4586	3861
h-index	39	36
i10-index	78	72

1100

550

275

825

2010201120122013201420152016201720182019202020212022202313 27 48 58 77 110 145 178 357 409 675 911 1011 489

Public access

View all

79 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cristian-Alexandru StaicuCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Jibesh PatraUniversität StuttgartVerified email at iste.uni-stuttgart.de
Daniel LehmannGoogleVerified email at dlehmann.eu
Satish ChandraGoogleVerified email at acm.org
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Andrew HabibPostdoctoral researcher, University of LuxembourgVerified email at uni.lu
Liang GongResearch Scientist, FacebookVerified email at fb.com
Luca Della ToffolaETH ZurichVerified email at inf.ethz.ch
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Ciera JaspanStaff Software Engineer, GoogleVerified email at google.com
Tingting YuUniversity of CincinnatiVerified email at uc.edu
Matteo PaltenghiUniversity of StuttgartVerified email at iste.uni-stuttgart.de
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Andrew ScottSoftware Engineer, Facebook Inc.Verified email at fb.com
Martin OderskyEPFLVerified email at epfl.ch
Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
Lu ZhangPeking UniversityVerified email at sei.pku.edu.cn

Michael Pradel

Professor of Computer Science, Head of Software Lab, University of Stuttgart

Verified email at iste.uni-stuttgart.de - Homepage

Software Engineering Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	285	2018
Automated program repair CL Goues, M Pradel, A Roychoudhury Communications of the ACM 62 (12), 56-65, 2019	240	2019
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	205	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	193	2009
Small World with High Risks: A Study of Security Threats in the npm Ecosystem. M Zimmermann, CA Staicu, C Tenny, M Pradel USENIX security symposium 17, 2019	165	2019
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	143	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	121	2019
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	115	2020
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	113	2012
Performance regression testing of concurrent classes M Pradel, M Huggler, TR Gross Proceedings of the 2014 International Symposium on Software Testing and …, 2014	111	2014
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE. JS. CA Staicu, M Pradel, B Livshits NDSS, 2018	108*	2018
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers. CA Staicu, M Pradel USENIX Security Symposium, 361-376, 2018	106	2018
DLint: Dynamically checking bad coding practices in JavaScript L Gong, M Pradel, M Sridharan, K Sen Proceedings of the 2015 International Symposium on Software Testing and …, 2015	88	2015
Jitprof: Pinpointing jit-unfriendly javascript code L Gong, M Pradel, K Sen Proceedings of the 2015 10th joint meeting on foundations of software …, 2015	87	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	87	2012
Everything old is new again: Binary security of webassembly D Lehmann, J Kinder, M Pradel Proceedings of the 29th USENIX Conference on Security Symposium, 217-234, 2020	86	2020
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	86	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	85	2015
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	84	2015
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	83	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors