Mammadli, Rahim ; Selakovic, Marija ; Pradel, Michael ; Wolf, Felix (2021)
Learning to Make Compiler Optimizations More Effective.
PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. virtual Conference (21.06.2021)
doi: 10.1145/3460945.3464952
Konferenzveröffentlichung, Bibliographie

Bavishi, Rohan ; Pradel, Michael ; Sen, Koushik (2017)
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.
Report, Bibliographie

Pradel, Michael ; Sen, Koushik (2017)
Deep Learning to Find Bugs.
Report, Bibliographie

Billes, Marina ; Møller, Anders ; Pradel, Michael (2017)
Systematic Black-Box Analysis of Collaborative Web Applications.
Barcelona, Spain
doi: 10.1145/3062341.3062363
Konferenzveröffentlichung, Bibliographie

Staicu, Cristian-Alexandru ; Pradel, Michael (2017)
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers.
Artikel, Bibliographie

Patra, Jibesh ; Pradel, Michael (2016)
Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of Input Data.
Report, Bibliographie

Staicu, Cristian-Alexandru ; Pradel, Michael ; Livshits, Benjamin (2016)
Understanding and Automatically Preventing Injection Attacks on Node.js.
Report, Bibliographie

Ermuth, Markus ; Pradel, Michael (2016)
Monkey see, monkey do: effective generation of GUI tests with inferred macro events.
Saarbrücken, Germany
doi: 10.1145/2931037.2931053
Konferenzveröffentlichung, Bibliographie

Yu, Tingting ; Pradel, Michael (2016)
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
Saarbrücken, Germany
doi: 10.1145/2931037.2931070
Konferenzveröffentlichung, Bibliographie

Selakovic, Marija ; Pradel, Michael (2016)
Performance issues and optimizations in JavaScript: an empirical study.
38th International Conference on Software Engineering. Austin, Texas (14.05.2016-22.05.2016)
doi: 10.1145/2884781.2884829
Konferenzveröffentlichung, Bibliographie

Liu, Hui ; Liu, Qiurong ; Staicu, Cristian-Alexandru ; Pradel, Michael ; Luo, Yue (2016)
Nomen est Omen: Exploring and Exploiting Similarities between Argument and Parameter Names.
Austin, Texas
doi: 10.1145/2884781.2884841
Konferenzveröffentlichung, Bibliographie

Selakovic, Marija ; Pradel, Michael (2015)
Performance Issues and Optimizations in JavaScript: An Empirical Study.
Report, Bibliographie

Della Toffola, Luca ; Pradel, Michael ; Gross, Thomas R.
Hrsg.: Gill, Andy (2015)
Performance problems you can fix: a dynamic analysis of memoization opportunities.
Pittsburgh, PA, USA
doi: 10.1145/2814270.2814290
Konferenzveröffentlichung, Bibliographie

Gong, Liang ; Pradel, Michael ; Sen, Koushik (2015)
JITProf: pinpointing JIT-unfriendly JavaScript code.
Bergamo, Italy
doi: 10.1145/2786805.2786831
Konferenzveröffentlichung, Bibliographie

Gong, Liang ; Pradel, Michael ; Sridharan, Manu ; Sen, Koushik (2015)
DLint: Dynamically Checking Bad Coding Practices in JavaScript.
Baltimore, MD, USA
doi: 10.1145/2771783.2771809
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Schuh, Parker ; Sen, Koushik (2015)
TypeDevil: dynamic type inconsistency analysis for JavaScript.
Florence, Italy
doi: 10.1109/ICSE.2015.51
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Schuh, Parker ; Necula, George ; Sen, Koushik (2014)
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.
Portland, OR, USA
doi: 10.1145/2714064.2660233
Konferenzveröffentlichung, Bibliographie

Tasharofi, Samira ; Pradel, Michael ; Lin, Yu ; Johnson, Ralph (2013)
Bita: Coverage-Guided, Automatic Testing of Actor Programs.
Palo Alto, CA, USA
doi: 10.1109/ASE.2013.6693072
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Gross, Thomas R. (2013)
Automatic testing of sequential and concurrent substitutability.
San Francisco, CA, USA
doi: 10.1109/ICSE.2013.6606574
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Gross, Thomas R. (2012)
Leveraging test generation and specification mining for automated bug detection without false positives.
Zurich, Switzerland
doi: 10.1109/ICSE.2012.6227185
Konferenzveröffentlichung, Bibliographie

Pradel, Michael ; Jaspan, Ciera ; Aldrich, Jonathan ; Gross, Thomas R. (2012)
Statically checking API protocol conformance with mined multi-object specifications.
Zurich, Switzerland
doi: 10.1109/ICSE.2012.6227127
Konferenzveröffentlichung, Bibliographie