Martin Schäf

     fb  fb

That's me!

Dr. Martin Schäf is a Applied Scientist in the AWS CodeGuru team. 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
  • Long-term 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
  • Shifting left for early detection of machine-learning bugs
    B. Liblit, L. Luo, A. Ramirez, R. Mukherjee, Z. Patterson, G. Piskachev, M. Schäf, O. Tripp, and W. Visser
    25th international symposium in a series organized by Formal Methods Europe (FME), 2023
  • Input Splitting for Cloud-Based Static Application Security Testing Platforms
    M. Christakis, T. Cottenier, A. Filieri, L. Luo, M. N. Mansur, L. Pike, N. Rosner, M. Schäf, A. Sengupta, W. Visser
    22nd ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022
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.