Tanja Schindler

Tanja Schindler University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-021 +49 761 203 8209 schindle@informatik.uni-freiburg.de

Research Interests

Satisfiability modulo theories, Craig interpolation

Publications

DBLP

• 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

• SMTInterpol
  

Consultation Hours

Please write me an e-mail to make an appointment.