Michael Pradel

According to our database1, Michael Pradel authored at least 56 papers between 2008 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Test generation for higher-order functions in dynamic languages.
PACMPL, 2018

DeepBugs: a learning approach to name-based bug detection.
PACMPL, 2018

Pinpointing and repairing performance bottlenecks in concurrent programs.
Empirical Software Engineering, 2018

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

Wasabi: A Framework for Dynamically Analyzing WebAssembly.
CoRR, 2018

DeepBugs: A Learning Approach to Name-based Bug Detection.
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.
PACMPL, 2017

Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
DARTS, 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

Monkey see, monkey do: effective generation of GUI tests with inferred macro events.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Performance issues and optimizations in JavaScript: an empirical study.
Proceedings of the 38th International Conference on Software Engineering, 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

EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 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

Performance regression testing of concurrent classes.
Proceedings of the International Symposium on Software Testing and Analysis, 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.
IJEIS, 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. Fachwissenschaftlicher Informatik-Kongress, 2008

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


  Loading...