Programming Reliable Systems @ TU Darmstadt

@article{sprokholt_asplos27,
  author       = {Dennis Sprokholt and
                  Reese Levine and
                  Susmit Sarkar and
                  Andr{\'{e}}s Goens and
                  Vijay Nagarajan and
                  Soham Chakraborty},
  title        = {Beyond the Fence: Sound Compilation for GPU and Heterogeneous CPU+GPU Systems},
  booktitle    = {(to appear in) Proceedings of the 32nd {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS} 2027, Heraklion, Crete, Greece, April 11-15, 2027},
  publisher    = {{ACM}},
  year         = {2027},
}

@article{kapoor_asplos27,
  author       = {Hastin Kapoor and
                  Soham Bagchi and
                  An Qi Zhang and
                  Soham Chakraborty and 
                  Marco Elver and
                  Andr{\'{e}}s Goens and
                  Susmit Sarkar and
                  Ryan Stutsman and
                  Vijay Nagarajan},
  title        = {Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model},
  booktitle    = {(to appear in) Proceedings of the 32nd {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS} 2027, Heraklion, Crete, Greece, April 11-15, 2027},
  publisher    = {{ACM}},
  year         = {2027},
}

@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},
}