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

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

Billes, Marina ; Møller, Anders ; Pradel, Michael (2017):
Systematic Black-Box Analysis of Collaborative Web Applications.
In: PLDI '17 ACM SIGPLAN Conference on Programming Language Design and Implementation, p. 708,
ACM New York, NY, USA, Barcelona, Spain, ISBN 978-1-4503-4988-8,
DOI: 10.1145/3062341.3062363,
[Conference or Workshop Item]

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

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

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

Ermuth, Markus ; Pradel, Michael (2016):
Monkey see, monkey do: effective generation of GUI tests with inferred macro events.
In: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 82-93,
ACM, Saarbrücken, Germany, ISBN 978-1-4503-4390-9,
DOI: 10.1145/2931037.2931053,
[Conference or Workshop Item]

Yu, Tingting ; Pradel, Michael (2016):
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
In: ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 389-400,
ACM, Saarbrücken, Germany, ISBN 978-1-4503-4390-9,
DOI: 10.1145/2931037.2931070,
[Conference or Workshop Item]

Liu, Hui ; Liu, Qiurong ; Staicu, Cristian-Alexandru ; Pradel, Michael ; Luo, Yue (2016):
Nomen est Omen: Exploring and Exploiting Similarities between Argument and Parameter Names.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 1063-1073,
ACM, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884841,
[Conference or Workshop Item]

Selakovic, Marija ; Pradel, Michael (2016):
Performance issues and optimizations in JavaScript: an empirical study.
In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering, pp. 61-72,
ACM Association for Computing Machinery, Austin, Texas, ISBN 978-1-4503-3900-1,
DOI: 10.1145/2884781.2884829,
[Conference or Workshop Item]

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

Della Toffola, Luca ; Pradel, Michael ; Gross, Thomas R.
Gill, Andy (ed.) (2015):
Performance problems you can fix: a dynamic analysis of memoization opportunities.
In: OOPSLA 2015, 50, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 607-622,
ACM, Pittsburgh, PA, USA, ISBN 978-1-4503-3689-5,
DOI: 10.1145/2814270.2814290,
[Conference or Workshop Item]

Gong, Liang ; Pradel, Michael ; Sen, Koushik (2015):
JITProf: pinpointing JIT-unfriendly JavaScript code.
In: ESEC/FSE 2015, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 357-368,
ACM, Bergamo, Italy, ISBN 978-1-4503-3675-8,
DOI: 10.1145/2786805.2786831,
[Conference or Workshop Item]

Gong, Liang ; Pradel, Michael ; Sridharan, Manu ; Sen, Koushik (2015):
DLint: Dynamically Checking Bad Coding Practices in JavaScript.
In: ISSTA 2015, In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, pp. 94-105,
ACM, Baltimore, MD, USA, ISBN 978-1-4503-3620-8,
DOI: 10.1145/2771783.2771809,
[Conference or Workshop Item]

Pradel, Michael ; Schuh, Parker ; Sen, Koushik (2015):
TypeDevil: dynamic type inconsistency analysis for JavaScript.
1, In: Proceedings of the 37th International Conference on Software Engineering, pp. 314-324,
IEEE Press, Florence, Italy, ISBN 978-1-4799-1934-5,
DOI: 10.1109/ICSE.2015.51,
[Conference or Workshop Item]

Pradel, Michael ; Schuh, Parker ; Necula, George ; Sen, Koushik (2014):
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.
In: OOPSLA '14, 49, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp. 33-47,
ACM, Portland, OR, USA, ISBN 978-1-4503-2585-1,
DOI: 10.1145/2714064.2660233,
[Conference or Workshop Item]

Tasharofi, Samira ; Pradel, Michael ; Lin, Yu ; Johnson, Ralph (2013):
Bita: Coverage-Guided, Automatic Testing of Actor Programs.
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 114-124,
IEEE Computer Society, Palo Alto, CA, USA, ISBN 978-1-4799-0215-6/13,
DOI: 10.1109/ASE.2013.6693072,
[Conference or Workshop Item]

Pradel, Michael ; Gross, Thomas R. (2013):
Automatic testing of sequential and concurrent substitutability.
In: ICSE '13, In: Proceedings of the 2013 International Conference on Software Engineering, pp. 282-291,
IEEE Press, San Francisco, CA, USA, ISBN 978-1-4673-3076-3,
DOI: 10.1109/ICSE.2013.6606574,
[Conference or Workshop Item]

Pradel, Michael ; Gross, Thomas R. (2012):
Leveraging test generation and specification mining for automated bug detection without false positives.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 288-298,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227185,
[Conference or Workshop Item]

Pradel, Michael ; Jaspan, Ciera ; Aldrich, Jonathan ; Gross, Thomas R. (2012):
Statically checking API protocol conformance with mined multi-object specifications.
In: ICSE '12, In: Proceedings of the 34th International Conference on Software Engineering, pp. 925-935,
IEEE Press, Zurich, Switzerland, ISBN 978-1-4673-1067-3,
DOI: 10.1109/ICSE.2012.6227127,
[Conference or Workshop Item]