Michael Pradel

Affiliations:
  • University of Stuttgart, Department of Computer Science, Germany
  • TU Darmstadt, Department of Computer Science, Germany
  • ETH Zurich, Switzerland


According to our database1, Michael Pradel authored at least 94 papers between 2008 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Bugs in Quantum computing platforms: an empirical study.
Proc. ACM Program. Lang., 2022

Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code.
CoRR, 2022

MorphQ: Metamorphic Testing of Quantum Computing Platforms.
CoRR, 2022

DiffSearch: A Scalable and Precise Search Engine for Code Changes.
CoRR, 2022

Code Search: A Survey of Techniques for Finding Code.
CoRR, 2022

Meta Learning for Code Summarization.
CoRR, 2022

Neural software analysis.
Commun. ACM, 2022

Finding the dwarf: recovering precise types from WebAssembly binaries.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code.
Proceedings of the 44th 2022 IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
Satisfying Increasing Performance Requirements With Caching at the Application Level.
IEEE Softw., 2021

Automatic Program Repair.
IEEE Softw., 2021

Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly.
CoRR, 2021

An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases.
Proceedings of the WWW '21: The Web Conference 2021, 2021

ConfProf: White-Box Performance Profiling of Configuration Options.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Semantic bug seeding: a learning-based approach for creating realistic bugs.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Learning to make compiler optimizations more effective.
Proceedings of the MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, 2021

Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Continuous test suite failure prediction.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Finding data compatibility bugs with JSON subschema checking.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
A Survey of Compiler Testing.
ACM Comput. Surv., 2020

Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript.
CoRR, 2020

Everything Old is New Again: Binary Security of WebAssembly.
Proceedings of the 29th USENIX Security Symposium, 2020

TypeWriter: neural type prediction with search-based validation.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

No Strings Attached: An Empirical Study of String-related Software Bugs.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Scaffle: bug localization on millions of files.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Extracting taint specifications for JavaScript libraries.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Getafix: learning to fix bugs automatically.
Proc. ACM Program. Lang., 2019

Type Safety with JSON Subschema.
CoRR, 2019

Evaluating Semantic Representations of Source Code.
CoRR, 2019

Neural Bug Finding: A Study of Opportunities and Challenges.
CoRR, 2019

Easy to Fool? Testing the Anti-evasion Capabilities of PDF Malware Scanners.
CoRR, 2019

Automated program repair.
Commun. ACM, 2019

Anything to Hide? Studying Minified and Obfuscated Code in the Web.
Proceedings of the World Wide Web Conference, 2019

Small World with High Risks: A Study of Security Threats in the npm Ecosystem.
Proceedings of the 28th USENIX Security Symposium, 2019

Leaky Images: Targeted Privacy Attacks in the Web.
Proceedings of the 28th USENIX Security Symposium, 2019

Interactive metamorphic testing of debuggers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

NL2Type: inferring JavaScript function types from natural language information.
Proceedings of the 41st International Conference on Software Engineering, 2019

An Empirical Study of Information Flows in Real-World JavaScript.
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Wasabi: A Framework for Dynamically Analyzing WebAssembly.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Test generation for higher-order functions in dynamic languages.
Proc. ACM Program. Lang., 2018

DeepBugs: a learning approach to name-based bug detection.
Proc. ACM Program. Lang., 2018

Pinpointing and repairing performance bottlenecks in concurrent programs.
Empir. Softw. Eng., 2018

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.
CoRR, 2018

Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers.
Proceedings of the 27th USENIX Security Symposium, 2018

Feedback-directed differential testing of interactive debuggers.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS.
Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

How many of all bugs do we find? a study of static bug detectors.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Is this class thread-safe? inferring documentation using graph-based learning.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Change-Aware Dynamic Program Analysis for JavaScript.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

ConflictJS: finding and understanding conflicts between JavaScript libraries.
Proceedings of the 40th International Conference on Software Engineering, 2018

Synthesizing programs that expose performance bottlenecks.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017
Detecting argument selection defects.
Proc. ACM Program. Lang., 2017

Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2017

Automated Program Repair (Dagstuhl Seminar 17022).
Dagstuhl Reports, 2017

A Survey of Dynamic Analysis and Test Generation for JavaScript.
ACM Comput. Surv., 2017

Performance Issues and Optimizations in JavaScript: An Empirical Study.
Proceedings of the Software Engineering 2017, 2017

Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events.
Proceedings of the Software Engineering 2017, 2017

Systematic black-box analysis of collaborative web applications.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Saying 'hi!' is not enough: mining inputs for effective test generation.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatically reducing tree-structured test inputs.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

An actionable performance profiler for optimizing the order of evaluations.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Making malory behave maliciously: targeted fuzzing of android execution environments.
Proceedings of the 39th International Conference on Software Engineering, 2017

Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Nomen est omen: exploring and exploiting similarities between argument and parameter names.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
JITProf: pinpointing JIT-unfriendly JavaScript code.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Performance Regression Testing of Concurrent Classes.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Performance problems you can fix: a dynamic analysis of memoization opportunities.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

DLint: dynamically checking bad coding practices in JavaScript.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Poster: Automatically Fixing Real-World JavaScript Performance Bugs.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Name-Based Analysis of Equally Typed Method Arguments.
IEEE Trans. Software Eng., 2013

Bita: Coverage-guided, automatic testing of actor programs.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Automatic testing of sequential and concurrent substitutability.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Fully automatic and precise detection of thread safety violations.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Static detection of brittle parameter typing.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Statically checking API protocol conformance with mined multi-object specifications.
Proceedings of the 34th International Conference on Software Engineering, 2012

Leveraging test generation and specification mining for automated bug detection without false positives.
Proceedings of the 34th International Conference on Software Engineering, 2012

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Detecting anomalies in the order of equally-typed method arguments.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010
A Good Role Model for Ontologies: Collaborations.
Int. J. Enterp. Inf. Syst., 2010

A framework for the evaluation of specification miners based on finite state machines.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
Dynamically inferring, refining, and checking API usage protocols.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Automatic Generation of Object Usage Specifications from Large Method Traces.
Proceedings of the ASE 2009, 2009

2008
Ontology Design and Reuse with Conceptual Roles.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Ontology Composition using a Role Modeling Approach.
Proceedings of the Informatiktage 2008, 2008

Scala Roles: Reusable Object Collaborations in a Library.
Proceedings of the Software and Data Technologies - Third International Conference, 2008

Scala Roles - A Lightweight Approach Towards Reusable Collaborations.
Proceedings of the ICSOFT 2008, 2008


  Loading...