Dr. Martin Schäf is an Applied Scientist at Amazon Web Services.
Prior to that, he worked as a
Senior Computer Scientist at SRI International in
Menlo Park, CA, and at
the United Nations University in Macau.
He received his PhD from University of
Freiburg in 2011, and his MS degree in computer science from
Saarland University in 2006.
His research interests include static analysis, software verification, fault localization, and test
automation.
- Recent Publications
-
-
Understanding Developer-Analyzer Interactions in Code Reviews
B. Cirisci, L. Luo, N. Mansur, D. Sanchez, Martin Schäf, O. Tripp, B. Zafar, Q. Zhou
39th IEEE/ACM International Conference on Automated Software Engineering, 2024
-
Inference for ever-changing policy of taint analysis
W. Chiang, . Li, Q. Zhou, S. Banerjee, M. Schäf, Y. Lyu, . Nguyen, O. Tripp
46th International Conference on Software Engineering, 2024
-
Static Analysis Rule Quality Monitoring Using True Negatives
L. Luo, R. Mukherjee, D. Sanchez, M. Schäf, O. Tripp, and Q. Zhou
45th International Conference on Software Engineering (ICSE - SEIP), 2023
See the full list of publications here or at:
- Education
-
Albert-Ludwig Universität - PhD Freiburg, Germany 2006-2011
Major: Computer Science
Advisor Prof. Andreas Podelski
Universität des Saarlands - MS Saarbrücken, Germany 2002-2006
Major: Computer Science
- Misc
-
My Erdös number is 3: Pascal
Schweitzer, Brendan D. McKay, Paul Erdös.
My academic family tree, including some co-authors, is here.
I'm an ordained minister and marriage officiant in the state of New York.