Martin Schäf -

Registered user since Fri 6 Jan 2017

Name:Martin Schäf

Bio:

Martin Schäf is a senior applied scientist at AWS. Before joining AWS, he worked at SRI International. Martin did his PostDoc 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 testing.

Country:United States

Affiliation:Amazon Web Services

Personal website:http://www.martinschaef.de/

Research interests:software verification, static analysis, fault localization, testing

Contributions

ESEC/FSE 2023	Committee Member in Program Committee within the Industry Papers-track
ICSE 2023	Author of Long-term Static Analysis Rule Quality Monitoring Using True Negatives within the SEIP - Software Engineering in Practice-track
ICST 2023	Author of Model Generation For Java Frameworks within the Research Papers-track
ESEC/FSE 2022	Author of Input Splitting for Cloud-Based Static Application Security Testing Platforms within the Industry Paper-track
ESEC/FSE 2021	Author of IDE Support for Cloud-Based Static Analyses within the Research Papers-track Author of RAPID: Checking API Usage for the Cloud in the Cloud within the Industry Papers-track
ASE 2020	Author of Continuous Compliance within the Research Papers-track
ICSE 2020	Author of Verifying Object Construction within the Technical Papers-track
SEConfig 2019	Committee Member in Program Committee within the SEConfig 2019-track
FTfJP 2019	Committee Member in Program Committee within the FTfJP 2019-track