Michael Pradel

Cited by

	All	Since 2018
Citations	4360	3634
h-index	39	34
i10-index	75	69

1100

550

275

825

2010201120122013201420152016201720182019202020212022202313 27 48 58 77 110 145 178 357 409 677 915 1009 259

Public access

View all

77 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
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
Matteo PaltenghiUniversity of StuttgartVerified email at iste.uni-stuttgart.de
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	268	2018
Automated program repair CL Goues, M Pradel, A Roychoudhury Communications of the ACM 62 (12), 56-65, 2019	221	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	193	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	154	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	140	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	116	2019
Performance regression testing of concurrent classes M Pradel, M Huggler, TR Gross Proceedings of the 2014 International Symposium on Software Testing and …, 2014	109	2014
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	109	2012
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE. JS. CA Staicu, M Pradel, B Livshits NDSS, 2018	104*	2018
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	103	2020
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers. CA Staicu, M Pradel USENIX Security Symposium, 361-376, 2018	98	2018
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
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	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	86	2012
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
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	83	2015
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	83	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	80	2017
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code A Nistor, Q Luo, M Pradel, TR Gross, D Marinov 2012 34th International Conference on Software Engineering (ICSE), 727-737, 2012	79	2012

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