Max Schäfer

According to our database, Max Schäfer authored at least 36 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation.

Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip

IEEE Trans. Software Eng., January, 2024

LLMorpheus: Mutation Testing using Large Language Models.

Frank Tip, Jonathan Bell, Max Schäfer

CoRR, 2024

2023

Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs.

Ellen Arteca, Max Schäfer, Frank Tip

IEEE Trans. Software Eng., 2023

A statistical approach for finding property-access errors.

Ellen Arteca, Max Schäfer, Frank Tip

CoRR, 2023

Adaptive Test Generation Using a Large Language Model.

Max Schäfer, Sarah Nadi, Aryaz Eghbali, Frank Tip

CoRR, 2023

Beware of the Unexpected: Bimodal Taint Analysis.

Yiu Wai Chow, Max Schäfer, Michael Pradel

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Practical Automated Detection of Malicious npm Packages.

Adriana Sejfia, Max Schäfer

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

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.

Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer

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

2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact).

Ellen Arteca, Frank Tip, Max Schäfer

Dagstuhl Artifacts Ser., 2021

Enabling Additional Parallelism in Asynchronous JavaScript Applications.

Ellen Arteca, Frank Tip, Max Schäfer

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Extracting taint specifications for JavaScript libraries.

Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel

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

2016

Information flow analysis for a dynamically typed language with staged metaprogramming.

Martin Mariusz Lester, Luke Ong, Max Schäfer

J. Comput. Secur., 2016

QL: Object-oriented Queries on Relational Data.

Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Tracking Static Analysis Violations over Time to Capture Developer Characteristics.

Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble

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

2014

The Future of Refactoring (Dagstuhl Seminar 14211).

Danny Dig, William G. Griswold, Emerson R. Murphy-Hill, Max Schäfer

Dagstuhl Reports, 2014

2013

Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming

Martin Lester, C.-H. Luke Ong, Max Schäfer

CoRR, 2013

Dynamic determinacy analysis.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

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

Refactoring with synthesis.

Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Efficient construction of approximate call graphs for JavaScript IDE services.

Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

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

Refactoring MATLAB.

Soroush Radpour, Laurie J. Hendren, Max Schäfer

Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs.

Max Schäfer, Andreas Thies, Friedrich Steimann, Frank Tip

IEEE Trans. Software Eng., 2012

Refactoring tools for dynamic languages.

Max Schäfer

Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

Automated repair of HTML generation errors in PHP applications using string constraint solving.

Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren

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

Correlation Tracking for Points-To Analysis of JavaScript.

Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Refactoring towards the good parts of javascript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Tool-supported refactoring for JavaScript.

Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Refactoring Java programs for flexible locking.

Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Type inference for datalog with complex type hierarchies.

Max Schäfer, Oege de Moor

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Specifying and implementing refactorings.

Max Schäfer, Oege de Moor

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Correct Refactoring of Concurrent Java Code.

Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip

Proceedings of the ECOOP 2010, 2010

2009

Challenge proposal: verification of refactorings.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Formalising and Verifying Reference Attribute Grammars in Coq.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the Programming Languages and Systems, 2009

Stepping Stones over the Refactoring Rubicon.

Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor

Proceedings of the ECOOP 2009, 2009

2008

Sound and extensible renaming for java.

Max Schäfer, Torbjörn Ekman, Oege de Moor

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Refactoring is not (yet) about transformation.

Torbjörn Ekman, Max Schäfer, Mathieu Verbaere

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

2007

Status report: layered streaming XML processing with modules.

Tyng-Ruey Chuang, Max Schäfer

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007