Travelled to:1 × Canada
1 × China
1 × Czech Republic
1 × New Zealand
1 × Romania
1 × Switzerland
2 × Italy
7 × USA
Collaborated with:T.R.Gross K.Sen A.Habib D.L.0002 L.D.Toffola L.Gong P.Schuh C.Jaspan M.Huggler S.Heiniger P.Bichsel S.Herfert J.Patra C.Staicu Marina Billes A.Møller M.Sridharan G.C.Necula S.Tasharofi Y.Lin R.E.Johnson J.Aldrich Marija Selakovic R.Karim F.Tip Johannes Bader Andrew Scott S.C.0001 A.Nistor Q.Luo D.Marinov A.Rice E.Aftandilian E.Johnston Yulissa Arroyo-Paredes
Talks about:test (10) automat (7) generat (6) detect (6) bug (6) dynam (5) type (5) javascript (4) specif (4) perform (3)
Person: Michael Pradel
DBLP: Pradel:Michael
Contributed to:
2015
2015
2015
2015
201520142014
2013201320122012
20122011
201020092017201820182017201820192017
2019Wrote 28 papers:
- ECOOP-2015-PradelS #empirical #javascript
- The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript (MP, KS), pp. 519–541.
- ESEC-FSE-2015-GongPS #javascript #named
- JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.
- ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism
- TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
- ISSTA-2015-GongPSS #javascript #named
- DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.
- OOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem
- Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
- ISSTA-2014-PradelHG #concurrent #performance #testing
- Performance regression testing of concurrent classes (MP, MH, TRG), pp. 13–25.
- OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
- ASE-2013-TasharofiPLJ #automation #named #source code #testing
- Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
- ICSE-2013-PradelG #automation #concurrent #testing
- Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
- ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
- Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
- ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
- Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
- ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification
- Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.
- ISSTA-2012-PradelHG #detection #parametricity #static analysis #type system
- Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.
- PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread
- Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
- ISSTA-2011-PradelG #detection #order
- Detecting anomalies in the order of equally-typed method arguments (MP, TRG), pp. 232–242.
- ICSM-2010-PradelBG #evaluation #finite #framework #specification #state machine
- A framework for the evaluation of specification miners based on finite state machines (MP, PB, TRG), pp. 1–10.
- ASE-2009-PradelG #automation #generative #scalability #specification
- Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
- ASE-2017-HerfertPP #automation #testing
- Automatically reducing tree-structured test inputs (SH, JP, MP), pp. 861–871.
- ASE-2017-ToffolaSP #effectiveness #exclamation #generative #mining #testing
- Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
- ASE-2018-HabibP #documentation #graph #learning #thread #using
- Is this class thread-safe? inferring documentation using graph-based learning (AH, MP), pp. 41–52.
- ASE-2018-HabibP18a #case study #debugging #detection #how
- How many of all bugs do we find? a study of static bug detectors (AH, MP), pp. 317–328.
- ESEC-FSE-2018-LehmannP #difference #interactive #testing
- Feedback-directed differential testing of interactive debuggers (DL0, MP), pp. 610–620.
- OOPSLA-2017-RiceAJJPA #detection #fault
- Detecting argument selection defects (AR, EA, CJ, EJ, MP, YAP), p. 22.
- OOPSLA-2018-PradelS #approach #debugging #detection #learning #named
- DeepBugs: a learning approach to name-based bug detection (MP, KS), p. 25.
- OOPSLA-2018-SelakovicPKT #generative #higher-order #testing
- Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.
- OOPSLA-2019-BaderSP0 #automation #debugging #learning #named
- Getafix: learning to fix bugs automatically (JB, AS, MP, SC0), p. 27.
- PLDI-2017-BillesMP #analysis #black box #collaboration #web
- Systematic black-box analysis of collaborative web applications (MB, AM, MP), pp. 171–184.
- ASPLOS-2019-LehmannP #framework #named
- Wasabi: A Framework for Dynamically Analyzing WebAssembly (DL0, MP), pp. 1045–1058.