Programming Reliable Systems @ TU Darmstadt

@article{zhang_pldi26,
  author       = {An Qi Zhang and
                  Andr{\'{e}}s Goens and
                  Daniel J. Sorin and
                  Vijay Nagarajan},
  title        = {A Formally Verified Foundation for Compositional Heterogeneous Coherence},
  journal      = {Proc. {ACM} Program. Lang.},
  number       = {{PLDI}},
  year         = {2026},
}

@article{rossel_popl26,
  author       = {Marcus Rossel and
                  Rudi Schneider and
                  Thomas Koehler and
                  Michel Steuwer and
                  Andr{\'{e}}s Goens},
  title        = {Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem
                  Provers by Equality Saturation},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {10},
  number       = {{POPL}},
  pages        = {718--747},
  year         = {2026},
  url          = {https://doi.org/10.1145/3776667},
  doi          = {10.1145/3776667},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
}

@article{srivastava_cal25,
  author       = {Sanya Srivastava and
                  Fletch Rydell and
                  Andr{\'{e}}s Goens and
                  Vijay Nagarajan and
                  Daniel J. Sorin},
  title        = {Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies,
                  and Topology},
  journal      = {{IEEE} Comput. Archit. Lett.},
  volume       = {24},
  number       = {2},
  pages        = {305--308},
  year         = {2025},
  url          = {https://doi.org/10.1109/LCA.2025.3618627},
  doi          = {10.1109/LCA.2025.3618627},
  timestamp    = {Sun, 16 Nov 2025 00:00:00 +0100},
}