Max Schäfer

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Relational Data

Duplicate Elimination

Static Analysis

Top Venues

IEEE Trans. Software Eng.

Publications

Frank Tip, Jonathan Bell, Max Schäfer
LLMorpheus: Mutation Testing using Large Language Models. CoRR (2024)
Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation. IEEE Trans. Software Eng. 50 (1) (2024)
Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip
Adaptive Test Generation Using a Large Language Model. CoRR (2023)
Yiu Wai Chow, Max Schäfer, Michael Pradel
Beware of the Unexpected: Bimodal Taint Analysis. ISSTA (2023)
Ellen Arteca, Max Schäfer, Frank Tip
Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs. IEEE Trans. Software Eng. 49 (1) (2023)
Ellen Arteca, Max Schäfer, Frank Tip
A statistical approach for finding property-access errors. CoRR (2023)
Yiu Wai Chow, Max Schäfer, Michael Pradel
Beware of the Unexpected: Bimodal Taint Analysis. CoRR (2023)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. ICSE (SEIP) (2022)
Adriana Sejfia, Max Schäfer
Practical Automated Detection of Malicious npm Packages. ICSE (2022)
Adriana Sejfia, Max Schäfer
Practical Automated Detection of Malicious npm Packages. CoRR (2022)
Ellen Arteca, Frank Tip, Max Schäfer
Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Ellen Arteca, Max Schäfer, Frank Tip
Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs. CoRR (2021)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. CoRR (2021)
Ellen Arteca, Frank Tip, Max Schäfer
Enabling Additional Parallelism in Asynchronous JavaScript Applications. ECOOP (2021)
Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Extracting taint specifications for JavaScript libraries. ICSE (2020)
Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer
QL: Object-oriented Queries on Relational Data. ECOOP (2016)
Martin Mariusz Lester, Luke Ong, Max Schäfer
Information flow analysis for a dynamically typed language with staged metaprogramming. J. Comput. Secur. 24 (5) (2016)
Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble
Tracking Static Analysis Violations over Time to Capture Developer Characteristics. ICSE (1) (2015)
Danny Dig, William G. Griswold, Emerson R. Murphy-Hill, Max Schäfer
The Future of Refactoring (Dagstuhl Seminar 14211). Dagstuhl Reports 4 (5) (2014)
Soroush Radpour, Laurie J. Hendren, Max Schäfer
Refactoring MATLAB. CC (2013)
Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev
Refactoring with synthesis. OOPSLA (2013)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Dynamic determinacy analysis. PLDI (2013)
Martin Lester, C.-H. Luke Ong, Max Schäfer
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming CoRR (2013)
Martin Lester, Luke Ong, Max Schäfer
Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming. CSF (2013)
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Efficient construction of approximate call graphs for JavaScript IDE services. ICSE (2013)
Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs. IEEE Trans. Software Eng. 38 (6) (2012)
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
Correlation Tracking for Points-To Analysis of JavaScript. ECOOP (2012)
Max Schäfer
Refactoring tools for dynamic languages. WRT@ICSE (2012)
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE (2012)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Tool-supported refactoring for JavaScript. OOPSLA (2011)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Refactoring towards the good parts of javascript. OOPSLA Companion (2011)
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
Refactoring Java programs for flexible locking. ICSE (2011)
Max Schäfer, Oege de Moor
Specifying and implementing refactorings. OOPSLA (2010)
Max Schäfer, Oege de Moor
Type inference for datalog with complex type hierarchies. POPL (2010)
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
Correct Refactoring of Concurrent Java Code. ECOOP (2010)
Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor
Stepping Stones over the Refactoring Rubicon. ECOOP (2009)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Formalising and Verifying Reference Attribute Grammars in Coq. ESOP (2009)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Challenge proposal: verification of refactorings. PLPV (2009)
Max Schäfer, Torbjörn Ekman, Oege de Moor
Sound and extensible renaming for java. OOPSLA (2008)
Torbjörn Ekman, Max Schäfer, Mathieu Verbaere
Refactoring is not (yet) about transformation. WRT@OOPSLA (2008)
Tyng-Ruey Chuang, Max Schäfer
Status report: layered streaming XML processing with modules. ML (2007)