Michael Pradel

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Satisfying Increasing Performance Requirements With Caching at the Application Level.

[BibT_eX]

[DOI]

IEEE Softw., 2021

Automatic Program Repair.

[BibT_eX]

[DOI]

IEEE Softw., 2021

A Survey of Compiler Testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2021

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

[BibT_eX]

[DOI]

Martin Toldam Torp

CoRR, 2021

An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases.

[BibT_eX]

[DOI]

Aaron Hilbig

Proceedings of the WWW '21: The Web Conference 2021, 2021

ConfProf: White-Box Performance Profiling of Configuration Options.

[BibT_eX]

[DOI]

Xue Han

Tingting Yu

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Semantic bug seeding: a learning-based approach for creating realistic bugs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Matteo Paltenghi

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Continuous test suite failure prediction.

[BibT_eX]

[DOI]

Cong Pan

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Finding data compatibility bugs with JSON subschema checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yaza Wainakh

Moiz Rauf

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction.

[BibT_eX]

[DOI]

Nikos Vasilakis

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

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

[BibT_eX]

[DOI]

Nikos Vasilakis

CoRR, 2020

Everything Old is New Again: Binary Security of WebAssembly.

[BibT_eX]

[DOI]

Johannes Kinder

Proceedings of the 29th USENIX Security Symposium, 2020

TypeWriter: neural type prediction with search-based validation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Aryaz Eghbali

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Scaffle: bug localization on millions of files.

[BibT_eX]

[DOI]

Vijayaraghavan Murali

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Extracting taint specifications for JavaScript libraries.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Getafix: learning to fix bugs automatically.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Type Safety with JSON Subschema.

[BibT_eX]

[DOI]

CoRR, 2019

Evaluating Semantic Representations of Source Code.

[BibT_eX]

[DOI]

Yaza Wainakh

Moiz Rauf

CoRR, 2019

Neural Bug Finding: A Study of Opportunities and Challenges.

[BibT_eX]

[DOI]

Andrew Habib

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Automated program repair.

[BibT_eX]

[DOI]

Claire Le Goues

Abhik Roychoudhury

Commun. ACM, 2019

Anything to Hide? Studying Minified and Obfuscated Code in the Web.

[BibT_eX]

[DOI]

Philippe Skolka

Proceedings of the World Wide Web Conference, 2019

Small World with High Risks: A Study of Security Threats in the npm Ecosystem.

[BibT_eX]

[DOI]

Markus Zimmermann

Cam Tenny

Proceedings of the 28th USENIX Security Symposium, 2019

Leaky Images: Targeted Privacy Attacks in the Web.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

Interactive metamorphic testing of debuggers.

[BibT_eX]

[DOI]

Sandro Tolksdorf

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

NL2Type: inferring JavaScript function types from natural language information.

[BibT_eX]

[DOI]

Rabee Sohail Malik

Proceedings of the 41st International Conference on Software Engineering, 2019

An Empirical Study of Information Flows in Real-World JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Wasabi: A Framework for Dynamically Analyzing WebAssembly.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Pinpointing and repairing performance bottlenecks in concurrent programs.

[BibT_eX]

[DOI]

Tingting Yu

Empir. Softw. Eng., 2018

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

[BibT_eX]

[DOI]

Rohan Bavishi

CoRR, 2018

Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Feedback-directed differential testing of interactive debuggers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Benjamin Livshits

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.

[BibT_eX]

[DOI]

Andrew Habib

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Is this class thread-safe? inferring documentation using graph-based learning.

[BibT_eX]

[DOI]

Andrew Habib

Dileep Ramachandrarao Krishna Murthy

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Change-Aware Dynamic Program Analysis for JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

ConflictJS: finding and understanding conflicts between JavaScript libraries.

[BibT_eX]

[DOI]

Pooja N. Dixit

Proceedings of the 40th International Conference on Software Engineering, 2018

Synthesizing programs that expose performance bottlenecks.

[BibT_eX]

[DOI]

Luca Della Toffola

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017

Detecting argument selection defects.

[BibT_eX]

[DOI]

Yulissa Arroyo-Paredes

Proc. ACM Program. Lang., 2017

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

[BibT_eX]

[DOI]

Philipp Haller

Tijs van der Storm

Dagstuhl Artifacts Ser., 2017

Automated Program Repair (Dagstuhl Seminar 17022).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

A Survey of Dynamic Analysis and Test Generation for JavaScript.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

Performance Issues and Optimizations in JavaScript: An Empirical Study.

[BibT_eX]

[DOI]

Marija Selakovic

Proceedings of the Software Engineering 2017, 2017

Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events.

[BibT_eX]

[DOI]

Markus Ermuth

Proceedings of the Software Engineering 2017, 2017

Systematic black-box analysis of collaborative web applications.

[BibT_eX]

[DOI]

Marina Billes

Anders Møller

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.

[BibT_eX]

[DOI]

Luca Della Toffola

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatically reducing tree-structured test inputs.

[BibT_eX]

[DOI]

Satia Herfert

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

An actionable performance profiler for optimizing the order of evaluations.

[BibT_eX]

[DOI]

Marija Selakovic

Thomas Glaser

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.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.

[BibT_eX]

[DOI]

Ankit Choudhary

Shan Lu

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.

[BibT_eX]

[DOI]

Tingting Yu

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Nomen est omen: exploring and exploiting similarities between argument and parameter names.

[BibT_eX]

[DOI]

Hui Liu

Qiurong Liu

Yue Luo

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

JITProf: pinpointing JIT-unfriendly JavaScript code.

[BibT_eX]

[DOI]

Liang Gong

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Markus Huggler

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.

[BibT_eX]

[DOI]

Luca Della Toffola

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

DLint: dynamically checking bad coding practices in JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Poster: Automatically Fixing Real-World JavaScript Performance Bugs.

[BibT_eX]

[DOI]

Marija Selakovic

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.

[BibT_eX]

[DOI]

Parker Schuh

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.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2013

Name-Based Analysis of Equally Typed Method Arguments.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Bita: Coverage-guided, automatic testing of actor programs.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Automatic testing of sequential and concurrent substitutability.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Program analyses for automatic and precise error detection.

[BibT_eX]

[DOI]

PhD thesis, 2012

Fully automatic and precise detection of thread safety violations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Static detection of brittle parameter typing.

[BibT_eX]

[DOI]

Severin Heiniger

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Statically checking API protocol conformance with mined multi-object specifications.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Leveraging test generation and specification mining for automated bug detection without false positives.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Detecting anomalies in the order of equally-typed method arguments.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

A Good Role Model for Ontologies: Collaborations.

[BibT_eX]

[DOI]

Jakob Henriksson

Uwe Aßmann

Int. J. Enterp. Inf. Syst., 2010

A framework for the evaluation of specification miners based on finite state machines.

[BibT_eX]

[DOI]

Philipp Bichsel

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009

Dynamically inferring, refining, and checking API usage protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

2008

Ontology Design and Reuse with Conceptual Roles.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Ontology Composition using a Role Modeling Approach.

[BibT_eX]

Proceedings of the Informatiktage 2008, 2008

Scala Roles: Reusable Object Collaborations in a Library.

[BibT_eX]

[DOI]

Martin Odersky

Proceedings of the Software and Data Technologies - Third International Conference, 2008

Scala Roles - A Lightweight Approach Towards Reusable Collaborations.

[BibT_eX]