All Stories

  1. Precisely reasoning about internal pointers in containers

    Article • January 2026, ACM (Association for Computing Machinery)

    Yawen Guan