Martin Schäf

     fb  fb

That's me!

Dr. Martin Schäf is a Sofware Engineer at Amazon. 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.

Tools & Projects

JayHorn jayhorn.github.io/jayhorn/

Software Model Checker for Java

Bixie sri-csl.github.io/bixie/

Inconsistent Code detection for Java

Recent Publications

2017

  • Quantified Heap Invariants for Object-Oriented Programs
    T. Kahsai, R. Kersten, Philipp Ruemmer, and M. Schäf
    21st International Conference on Logic for Programming, Artificial Intelligence, and Readoning (LPAR), 2017.
  • Abduction by Non-Experts
    N. Bjørner, D. Jovanoviá, T. Lepoint, P. Rümmer, and M. Schäf
    21st International Conference on Logic for Programming, Artificial Intelligence, and Readoning (LPAR), 2017.

2016

See the full list of publications.
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 co-authors is here.