All Stories

  1. Sound and Complete Invariant-Based Heap Encodings

    Article • Proceedings of the ACM on Programming Languages, April 2026, ACM (Association for Computing Machinery)

    Tjark Weber

  2. The SMT Competition 2015–2018

    Article • Journal on Satisfiability Boolean Modeling and Computation, September 2019, IOS Press

    Tjark Weber, Giles Reger