Martin Schf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
15
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | Inference for Ever-Changing Policy of Taint Analysis. | Wen-Hao Chiang, Peixuan Li, Qiang Zhou, Subarno Banerjee, Martin Schf, Yingjun Lyu, Hoan Nguyen, Omer Tripp |
| 2023 | FM | Shifting Left for Early Detection of Machine-Learning Bugs. | Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schf, Omer Tripp, Willem Visser |
| 2023 | ICSE | Long-term Static Analysis Rule Quality Monitoring Using True Negatives. | Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schf, Qiang Zhou, Daniel Sanchez |
| 2023 | ICST | Model Generation For Java Frameworks. | Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schf |
| 2021 | TACAS | Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. | Julien Lepiller, Ruzica Piskac, Martin Schf, Mark Santolucito |
| 2020 | ICSE | Verifying object construction. | Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schf, Michael D. Ernst |
| 2019 | TACAS | JayHorn: A Java Model Checker - (Competition Contribution). | Temesghen Kahsai, Philipp Rmmer, Martin Schf |
| 2017 | LPAR | Abduction by Non-Experts. | Nikolaj S. Bjrner, Dejan Jovanovic, Tancrde Lepoint, Philipp Rmmer, Martin Schf |
| 2017 | LPAR | Quantified Heap Invariants for Object-Oriented Programs. | Temesghen Kahsai, Rody Kersten, Philipp Rmmer, Martin Schf |
| 2016 | CAV | JayHorn: A Framework for Verifying Java programs. | Temesghen Kahsai, Philipp Rmmer, Huascar Sanchez, Martin Schf |
| 2016 | ICSE | Crowdsourcing program preconditions via a classification game. | Daniel Fava, Daniel G. Shapiro, Joseph C. Osborn, Martin Schf, E. James Whitehead Jr. |
| 2016 | ICSR | Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel. | Wenchao Li, Hossein Saidi, Huascar Sanchez, Martin Schf, Pascal Schweitzer |
| 2016 | TAP | Classifying Bugs with Interpolants. | Andreas Podelski, Martin Schf, Thomas Wies |
| 2015 | ATVA | Severity Levels of Inconsistent Code. | Martin Schf, Ashish Tiwari |
| 2015 | ICSE | Bixie: Finding and Understanding Inconsistent Code. | Tim McCarthy, Philipp Rmmer, Martin Schf |
| 2015 | ICSE | VERMEER: A Tool for Tracing and Explaining Faulty C Programs. | Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schf, Thomas Wies |
| 2015 | LPAR | Gamifying Program Analysis. | Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schf, Ashish Tiwari |
| 2015 | LPAR | Finding Inconsistencies in Programs with Loops. | Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schf |
| 2014 | SCAM | Concolic Fault Localization. | Chanseok Oh, Martin Schf, Daniel Schwartz-Narbonne, Thomas Wies |
| 2013 | ATVA | A Theory for Control-Flow Graph Exploration. | Stephan Arlt, Philipp Rmmer, Martin Schf |
| 2013 | ICFEM | Reconstructing Paths for Reachable Code. | Stephan Arlt, Zhiming Liu, Martin Schf |
| 2013 | PLDI | Joogie: from Java through Jimple to Boogie. | Stephan Arlt, Philipp Rmmer, Martin Schf |
| 2013 | VMCAI | Flow-Sensitive Fault Localization. | Jrgen Christ, Evren Ermis, Martin Schf, Thomas Wies |
| 2012 | CAV | Joogie: Infeasible Code Detection for Java. | Stephan Arlt, Martin Schf |
| 2012 | FM | Error Invariants. | Evren Ermis, Martin Schf, Thomas Wies |
| 2012 | ISSRE | Lightweight Static Analysis for GUI Testing. | Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schf, Ishan Banerjee, Atif M. Memon |
| 2011 | ICST | Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. | Stephan Arlt, Cristiano Bertolini, Martin Schf |
| 2010 | ISoLA | AutoPA: Automatic Prototyping from Requirements. | Xiaoshan Li, Zhiming Liu, Martin Schf, Ling Yin |
| 2009 | FM | It's Doomed; We Can Prove It. | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schf, Thomas Wies |