Michael Pradel - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Michael Pradel' as author, editor, or advisor:

Code Search: A Survey of Techniques for Finding CodeLuca Di Grazia, Michael Pradel. ACM Comput. Surv., 55(11), November 2023. [doi]
Pinpointing and repairing performance bottlenecks in concurrent programsTingting Yu, Michael Pradel. ese, 23(5):3034-3071, 2018. [doi]
Small World with High Risks: A Study of Security Threats in the npm EcosystemMarkus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel. uss 2019: 995-1010 [doi]
An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use CasesAaron Hilbig, Daniel Lehmann 0002, Michael Pradel. WWW 2021: 2696-2708 [doi]
Getafix: learning to fix bugs automaticallyJohannes Bader, Andrew Scott, Michael Pradel, Satish Chandra 0001. PACMPL, 3(OOPSLA), 2019. [doi]
SyncProf: detecting, localizing, and optimizing synchronization bottlenecksTingting Yu, Michael Pradel. ISSTA 2016: 389-400 [doi]
Efficient detection of thread safety violations via coverage-guided generation of concurrent testsAnkit Choudhary, Shan Lu, Michael Pradel. ICSE 2017: 266-277 [doi]
Static detection of brittle parameter typingMichael Pradel, Severin Heiniger, Thomas R. Gross. ISSTA 2012: 265-275 [doi]
NL2Type: inferring JavaScript function types from natural language informationRabee Sohail Malik, Jibesh Patra, Michael Pradel. ICSE 2019: 304-315 [doi]
When to Say What: Learning to Find Condition-Message InconsistenciesIslem Bouzenia, Michael Pradel. ICSE 2023: 868-880 [doi]
Fully automatic and precise detection of thread safety violationsMichael Pradel, Thomas R. Gross. PLDI 2012: 521-530 [doi]
DeepBugs: a learning approach to name-based bug detectionMichael Pradel, Koushik Sen. PACMPL, 2(OOPSLA), 2018. [doi]
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege ReductionNikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel. ccs 2021: 1821-1838 [doi]
Automatic testing of sequential and concurrent substitutabilityMichael Pradel, Thomas R. Gross. ICSE 2013: 282-291 [doi]
Is this class thread-safe? inferring documentation using graph-based learningAndrew Habib, Michael Pradel. ASE 2018: 41-52 [doi]
Performance Regression Testing of Concurrent ClassesMichael Pradel, Markus Huggler, Thomas R. Gross. se 2015: 107
Scala Roles - A Lightweight Approach Towards Reusable CollaborationsMichael Pradel, Martin Odersky. ICSOFT 2008: 13-20
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generationMichael Pradel, Parker Schuh, George C. Necula, Koushik Sen. OOPSLA 2014: 33-47 [doi]
An Empirical Study of Information Flows in Real-World JavaScriptCristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld. ccs 2019: 45-59 [doi]
Leveraging test generation and specification mining for automated bug detection without false positivesMichael Pradel, Thomas R. Gross. ICSE 2012: 288-298 [doi]
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssemblyDaniel Lehmann 0002, Michelle Thalakottur, Frank Tip, Michael Pradel. ISSTA 2023: 892-903 [doi]
How many of all bugs do we find? a study of static bug detectorsAndrew Habib, Michael Pradel. ASE 2018: 317-328 [doi]
Nessie: Automatically Testing JavaScript APIs with Asynchronous CallbacksEllen Arteca, Sebastian Harner, Michael Pradel, Frank Tip. ICSE 2022: 1494-1505 [doi]
Finding data compatibility bugs with JSON subschema checkingAndrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel. ISSTA 2021: 620-632 [doi]
Automatic Program RepairClaire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra 0001. IEEE Software, 38(4):22-27, 2021. [doi]
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web ServersCristian-Alexandru Staicu, Michael Pradel. uss 2018: 361-376 [doi]
An actionable performance profiler for optimizing the order of evaluationsMarija Selakovic, Thomas Glaser, Michael Pradel. ISSTA 2017: 170-180 [doi]
Neural software analysisMichael Pradel, Satish Chandra 0001. CACM, 65(1):86-96, 2022. [doi]
Everything Old is New Again: Binary Security of WebAssemblyDaniel Lehmann 0002, Johannes Kinder, Michael Pradel. uss 2020: 217-234 [doi]
Leaky Images: Targeted Privacy Attacks in the WebCristian-Alexandru Staicu, Michael Pradel. uss 2019: 923-939 [doi]
Feedback-directed differential testing of interactive debuggersDaniel Lehmann, Michael Pradel. FSE 2018: 610-620 [doi]
Program analyses for automatic and precise error detectionMichael Pradel. PhD thesis, ETH Zurich, Zürich, Switzerland, 2012. [doi]
Semantic bug seeding: a learning-based approach for creating realistic bugsJibesh Patra, Michael Pradel. FSE 2021: 906-918 [doi]
Ontology Composition using a Role Modeling ApproachMichael Pradel. informatiktage 2008: 99-102
Statically checking API protocol conformance with mined multi-object specificationsMichael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross. ICSE 2012: 925-935 [doi]
Automated Program Repair (Dagstuhl Seminar 17022)Sunghun Kim 0001, Claire Le Goues, Michael Pradel, Abhik Roychoudhury. dagstuhl-reports, 7(1):19-31, 2017. [doi]
Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter NotebooksJibesh Patra, Michael Pradel. ICSE 2022: 1469-1481 [doi]
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation CommitteePhilipp Haller, Michael Pradel, Tijs van der Storm. darts, 3(2), 2017. [doi]
Learning to make compiler optimizations more effectiveRahim Mammadli, Marija Selakovic, Felix Wolf 0001, Michael Pradel. PLDI 2021: 9-20 [doi]
Dynamically inferring, refining, and checking API usage protocolsMichael Pradel. OOPSLA 2009: 773-774 [doi]
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScriptMasudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu. ICSE 2023: 1059-1070 [doi]
Performance Issues and Optimizations in JavaScript: An Empirical StudyMarija Selakovic, Michael Pradel. se 2017: 63
Making malory behave maliciously: targeted fuzzing of android execution environmentsSiegfried Rasthofer, Steven Arzt, Stefan Triller, Michael Pradel. ICSE 2017: 300-311 [doi]
JITProf: pinpointing JIT-unfriendly JavaScript codeLiang Gong, Michael Pradel, Koushik Sen. FSE 2015: 357-368 [doi]
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScriptMichael Pradel, Koushik Sen. ECOOP 2015: 519-541 [doi]
Monkey see, monkey do: effective generation of GUI tests with inferred macro eventsMarkus Ermuth, Michael Pradel. ISSTA 2016: 82-93 [doi]
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded codeAdrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov. ICSE 2012: 727-737 [doi]
Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro EventsMarkus Ermuth, Michael Pradel. se 2017: 87
Wasabi: A Framework for Dynamically Analyzing WebAssemblyDaniel Lehmann, Michael Pradel. asplos 2019: 1045-1058 [doi]
LExecutor: Learning-Guided ExecutionBeatriz Souza, Michael Pradel. FSE 2023: 1522-1534 [doi]
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScriptMichael Pradel, Parker Schuh, Koushik Sen. ICSE 2015: 314-324 [doi]
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing PlatformMatteo Paltenghi, Michael Pradel. ICSE 2023: 2413-2424 [doi]
Interactive metamorphic testing of debuggersSandro Tolksdorf, Daniel Lehmann, Michael Pradel. ISSTA 2019: 273-283 [doi]
A Survey of Dynamic Analysis and Test Generation for JavaScriptEsben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu. ACM Comput. Surv., 50(5), 2017. [doi]
A Good Role Model for Ontologies: CollaborationsMichael Pradel, Jakob Henriksson, Uwe Aßmann. ijeis, 6(1):1-11, 2010. [doi]
Performance issues and optimizations in JavaScript: an empirical studyMarija Selakovic, Michael Pradel. ICSE 2016: 61-72 [doi]
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test GenerationMichael Pradel, Parker Schuh, George C. Necula, Koushik Sen. se 2015: 131
Poster: Automatically Fixing Real-World JavaScript Performance BugsMarija Selakovic, Michael Pradel. ICSE 2015: 811-812 [doi]
Automatic Generation of Object Usage Specifications from Large Method TracesMichael Pradel, Thomas R. Gross. ASE 2009: 371-382 [doi]
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JSCristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits. ndss 2018: [doi]
Anything to Hide? Studying Minified and Obfuscated Code in the WebPhilippe Skolka, Cristian-Alexandru Staicu, Michael Pradel. WWW 2019: 1735-1746 [doi]
Resource Usage and Optimization Opportunities in Workflows of GitHub ActionsIslem Bouzenia, Michael Pradel. ICSE 2024: [doi]
Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssemblyAlan Romano, Daniel Lehmann 0002, Michael Pradel, Weihang Wang 0001. sp 2022: 1574-1589 [doi]
Generating realistic vulnerabilities via neural code editing: an empirical studyYu Nong, Yuzhe Ou, Michael Pradel, Feng Chen 0001, Haipeng Cai. FSE 2022: 1097-1109 [doi]
Extracting taint specifications for JavaScript librariesCristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel. ICSE 2020: 198-209 [doi]
A Survey of Compiler TestingJunjie Chen 0003, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang 0002, Dan Hao, Lu Zhang 0023. ACM Comput. Surv., 53(1), 2020. [doi]
TypeWriter: neural type prediction with search-based validationMichael Pradel, Georgios Gousios, Jason Liu, Satish Chandra 0001. FSE 2020: 209-220 [doi]
Change-Aware Dynamic Program Analysis for JavaScriptDileep Ramachandrarao Krishna Murthy, Michael Pradel. ICSM 2018: 127-137 [doi]
No Strings Attached: An Empirical Study of String-related Software BugsAryaz Eghbali, Michael Pradel. ASE 2020: 956-967 [doi]
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of CodeMatteo Paltenghi, Michael Pradel. ASE 2021: 867-879 [doi]
The evolution of type annotations in python: an empirical studyLuca Di Grazia, Michael Pradel. FSE 2022: 209-220 [doi]
Programming Language Processing (Dagstuhl Seminar 23062)Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav. dagstuhl-reports, 13(2):20-32, February 2023. [doi]
DiffSearch: A Scalable and Precise Search Engine for Code ChangesLuca Di Grazia, Paul Bredl, Michael Pradel. TSE, 49(4):2366-2380, April 2023. [doi]
Nomen est omen: exploring and exploiting similarities between argument and parameter namesHui Liu, Qiurong Liu, Cristian-Alexandru Staicu, Michael Pradel, Yue Luo. ICSE 2016: 1063-1073 [doi]
IdBench: Evaluating Semantic Representations of Identifier Names in Source CodeYaza Wainakh, Moiz Rauf, Michael Pradel. ICSE 2021: 562-573 [doi]
Finding the dwarf: recovering precise types from WebAssembly binariesDaniel Lehmann 0002, Michael Pradel. PLDI 2022: 410-425 [doi]
Automated program repairClaire Le Goues, Michael Pradel, Abhik Roychoudhury. CACM, 62(12):56-65, 2019. [doi]
Scaffle: bug localization on millions of filesMichael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra 0001. ISSTA 2020: 225-236 [doi]
Performance regression testing of concurrent classesMichael Pradel, Markus Huggler, Thomas R. Gross. ISSTA 2014: 13-25 [doi]
ConflictJS: finding and understanding conflicts between JavaScript librariesJibesh Patra, Pooja N. Dixit, Michael Pradel. ICSE 2018: 741-751 [doi]
ConfProf: White-Box Performance Profiling of Configuration OptionsXue Han, Tingting Yu, Michael Pradel. wosp 2021: 1-8 [doi]
Bita: Coverage-guided, automatic testing of actor programsSamira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson. ASE 2013: 114-124 [doi]
A framework for the evaluation of specification miners based on finite state machinesMichael Pradel, Philipp Bichsel, Thomas R. Gross. ICSM 2010: 1-10 [doi]
VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep LearningYu Nong, Yuzhe Ou, Michael Pradel, Feng Chen 0001, Haipeng Cai. ICSE 2023: 2527-2539 [doi]
Automatically reducing tree-structured test inputsSatia Herfert, Jibesh Patra, Michael Pradel. ASE 2017: 861-871 [doi]
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of CodeAryaz Eghbali, Michael Pradel. ICSE 2022: 341-342 [doi]
Beware of the Unexpected: Bimodal Taint AnalysisYiu Wai Chow, Max Schäfer, Michael Pradel. ISSTA 2023: 211-222 [doi]
Detecting argument selection defectsAndrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, Yulissa Arroyo-Paredes. PACMPL, 1(OOPSLA), 2017. [doi]
Continuous test suite failure predictionCong Pan, Michael Pradel. ISSTA 2021: 553-565 [doi]
Bugs in Quantum computing platforms: an empirical studyMatteo Paltenghi, Michael Pradel. PACMPL, 6(OOPSLA):1-27, 2022. [doi]
Test generation for higher-order functions in dynamic languagesMarija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip. PACMPL, 2(OOPSLA), 2018. [doi]
Synthesizing programs that expose performance bottlenecksLuca Della Toffola, Michael Pradel, Thomas R. Gross. CGO 2018: 314-326 [doi]
Saying źhi!ź is not enough: mining inputs for effective test generationLuca Della Toffola, Cristian-Alexandru Staicu, Michael Pradel. ASE 2017: 44-49 [doi]
Name-Based Analysis of Equally Typed Method ArgumentsMichael Pradel, Thomas R. Gross. TSE, 39(8):1127-1143, 2013. [doi]
DynaPyt: a dynamic analysis framework for PythonAryaz Eghbali, Michael Pradel. FSE 2022: 760-771 [doi]
Scala Roles: Reusable Object Collaborations in a LibraryMichael Pradel, Martin Odersky. ICSOFT 2009: 23-36 [doi]
Performance problems you can fix: a dynamic analysis of memoization opportunitiesLuca Della Toffola, Michael Pradel, Thomas R. Gross. OOPSLA 2015: 607-622 [doi]
DLint: dynamically checking bad coding practices in JavaScriptLiang Gong, Michael Pradel, Manu Sridharan, Koushik Sen. ISSTA 2015: 94-105 [doi]
Detecting anomalies in the order of equally-typed method argumentsMichael Pradel, Thomas R. Gross. ISSTA 2011: 232-242 [doi]
Systematic black-box analysis of collaborative web applicationsMarina Billes, Anders Møller, Michael Pradel. PLDI 2017: 171-184 [doi]
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of CodeAryaz Eghbali, Michael Pradel. ASE 2022: [doi]
Satisfying Increasing Performance Requirements With Caching at the Application LevelJhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic, Michael Pradel. IEEE Software, 38(3):87-95, 2021. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Michael Pradel's Profile

Unidentified Publications