Urmăriți
Max Schaefer
Max Schaefer
GitHub
Adresă de e-mail confirmată pe github.com
Titlu
Citat de
Citat de
Anul
Efficient Construction of Approximate Call Graphs for JavaScript IDE Services
A Feldthaus, M Schäfer, M Sridharan, J Dolby, F Tip
ICSE, 2013
1752013
Correlation Tracking for Points-To Analysis of JavaScript
M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip
ECOOP, 435-458, 2012
1592012
Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving
H Samimi, M Schäfer, S Artzi, T Millstein, F Tip, L Hendren
ICSE, 277-287, 2012
1482012
Specifying and Implementing Refactorings
M Schäfer, O de Moor
OOPSLA, 286-301, 2010
1252010
Sound and Extensible Renaming for Java
M Schäfer, T Ekman, O de Moor
OOPSLA, 277-294, 2008
1112008
Distributed analysis and attribution of source code
A Baars, AS Henriksen, M Schaefer
US Patent 9,417,985, 2016
1052016
QL: Object-oriented Queries on Relational Data
P Avgustinov, O de Moor, M Peyton Jones, M Schäfer
ECOOP, 2015
1012015
Dynamic determinacy analysis
M Schäfer, M Sridharan, J Dolby, F Tip
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
912013
Tool-supported Refactoring for JavaScript
A Feldthaus, T Millstein, A Møller, M Schäfer, F Tip
OOPSLA, 119-138, 2011
842011
Stepping Stones over the Refactoring Rubicon
M Schäfer, M Verbaere, T Ekman, O De Moor
ECOOP, 369-393, 2009
80*2009
Refactoring Java Programs for Flexible Locking
M Schäfer, M Sridharan, J Dolby, F Tip
ICSE, 71-80, 2011
732011
Correct Refactoring of Concurrent Java Code
M Schäfer, J Dolby, M Sridharan, E Torlak, F Tip
ECOOP, 225-249, 2010
652010
Refactoring with synthesis
V Raychev, M Schäfer, M Sridharan, M Vechev
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
592013
Challenge proposal: Verification of refactorings
M Schäfer, T Ekman, O de Moor
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
542009
Extracting Taint Specifications for JavaScript Libraries
CA Staicu, MT Torp, M Schäfer, A Møller, M Pradel
Proc. 42nd International Conference on Software Engineering (ICSE), 2020
452020
Tracking Static Analysis Violations Over Time to Capture Developer Characteristics
P Avgustinov, AI Baars, AS Henriksen, G Lavender, G Menzel, O de Moor, ...
International Conference on Software Engineering, 2015
442015
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
M Schäfer, S Nadi, A Eghbali, F Tip
IEEE Transactions on Software Engineering, 2023
432023
Practical automated detection of malicious npm packages
A Sejfia, M Schäfer
Proceedings of the 44th International Conference on Software Engineering …, 2022
412022
Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
D Gonzalez, T Zimmermann, P Godefroid, M Schäfer
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
412021
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs
M Schäfer, A Thies, F Steimann, F Tip
Transactions on Software Engineering 38 (6), 1233-1257, 2012
392012
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20