Max Schäfer

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