Spremljaj
Michael Pradel
Michael Pradel
Professor of Computer Science, Head of Software Lab, University of Stuttgart
Preverjeni e-poštni naslov na iste.uni-stuttgart.de - Domača stran
Naslov
Navedeno
Navedeno
Leto
Automated program repair
C Le Goues, M Pradel, A Roychoudhury
Communications of the ACM 62 (12), 56-65, 2019
4652019
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
4212018
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
3302019
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
3122019
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
2592020
Automatic generation of object usage specifications from large method traces
M Pradel, TR Gross
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
1992009
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
1882020
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
1792016
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
1722019
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
1442020
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE. JS.
CA Staicu, M Pradel, B Livshits
NDSS 1, 12-52, 2018
1362018
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
1362018
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
1222018
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
1212012
Fuzz4all: Universal fuzzing with large language models
CS Xia, M Paltenghi, J Le Tian, M Pradel, L Zhang
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
1182024
Performance regression testing of concurrent classes
M Pradel, M Huggler, TR Gross
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
1182014
An empirical study of real-world webassembly binaries: Security, languages, use cases
A Hilbig, D Lehmann, M Pradel
Proceedings of the web conference 2021, 2696-2708, 2021
1132021
Wasabi: A framework for dynamically analyzing webassembly
D Lehmann, M Pradel
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
1122019
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
1062017
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
1022015
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20