Tanja Schindler
Tanja Schindler
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
Research Interests
Satisfiability modulo theories, Craig interpolation
Publications
-
Solving and Interpolating Constant Arrays Based on Weak Equivalences, in VMCAI 2019, together with Jochen Hoenicke. [doi]
- Efficient Interpolation for the Theory of Arrays, in IJCAR 2018, together with Jochen Hoenicke. [doi] [extended version]
- Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution), in TACAS 2018, together with Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, and Christian Schilling. [doi]
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution), in TACAS 2018, together with Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, and Andreas Podelski. [doi]
- Selfless Interpolation for Infinite-State Model Checking, in VMCAI 2018, together with Dejan Jovanović. [doi]
Internships
- SRI International, New York. Working on interpolation for infinite-state model checking with Dejan Jovanović.
Tools
Consultation Hours
Please write me an e-mail to make an appointment.