Publications

PLDI'26 A Formally Verified Foundation for Compositional Heterogeneous Coherence
An Qi Zhang , Andrés Goens , Daniel J. Sorin , Vijay Nagarajan

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

POPL'26 Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation

Marcus Rossel , Rudi Schneider , Thomas Koehler , Michel Steuwer , Andrés Goens

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

CAL'25 Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology

Sanya Srivastava , Fletch Rydell , Andrés Goens , Vijay Nagarajan , Daniel J. Sorin

PDF DOI

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

PLDI'25 Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs

Rudi Schneider , Marcus Rossel , Amir Shaikhha , Andrés Goens , Thomas Koehler , Michel Steuwer

PDF DOI Video

@article{schneider_pldi25,
  author       = {Rudi Schneider and
                  Marcus Rossel and
                  Amir Shaikhha and
                  Andr{\'{e}}s Goens and
                  Thomas Koehler and
                  Michel Steuwer},
  title        = {Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {9},
  number       = {{PLDI}},
  pages        = {1888--1910},
  year         = {2025},
  url          = {https://doi.org/10.1145/3729326},
  doi          = {10.1145/3729326},
  timestamp    = {Thu, 11 Sep 2025 01:00:00 +0200},
}

ARXIV'25 The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

Matthew Bolan , Joachim Breitner , Jose Brox , Nicholas Carlini , Mario Carneiro , Floris van Doorn , Martin Dvorak , Andrés Goens , Aaron Hill , Harald Husum , Hernán Ibarra Mejia , Zoltan A. Kocsis , Bruno Le Floch , Amir Livne Bar-on , Lorenzo Luccioli , Douglas McNeil , Alex Meiburg , Pietro Monticone , Pace P. Nielsen , Emmanuel Osalotioman Osazuwa , Giovanni Paolini , Marco Petracci , Bernhard Reinke , David Renshaw , Marcus Rossel , Cody Roux , Jérémy Scanvic , Shreyas Srinivas , Anand Rao Tadipatri , Terence Tao , Vlad Tsyrklevich , Fernando Vaquerizo-Villar , Daniel Weber , Fan Zheng

PDF DOI Video

@article{bolan_arxiv25,
  author       = {Matthew Bolan and
                  Joachim Breitner and
                  Jose Brox and
                  Nicholas Carlini and
                  Mario Carneiro and
                  Floris van Doorn and
                  Martin Dvorak and
                  Andr{\'{e}}s Goens and
                  Aaron Hill and
                  Harald Husum and
                  Hern{\'{a}}n Ibarra Mejia and
                  Zoltan A. Kocsis and
                  Bruno Le Floch and
                  Amir Livne Bar{-}on and
                  Lorenzo Luccioli and
                  Douglas McNeil and
                  Alex Meiburg and
                  Pietro Monticone and
                  Pace P. Nielsen and
                  Emmanuel Osalotioman Osazuwa and
                  Giovanni Paolini and
                  Marco Petracci and
                  Bernhard Reinke and
                  David Renshaw and
                  Marcus Rossel and
                  Cody Roux and
                  J{\'{e}}r{\'{e}}my Scanvic and
                  Shreyas Srinivas and
                  Anand Rao Tadipatri and
                  Terence Tao and
                  Vlad Tsyrklevich and
                  Fernando Vaquerizo{-}Villar and
                  Daniel Weber and
                  Fan Zheng},
  title        = {The Equational Theories Project: Advancing Collaborative Mathematical
                  Research at Scale},
  journal      = {CoRR},
  volume       = {abs/2512.07087},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2512.07087},
  doi          = {10.48550/ARXIV.2512.07087},
  eprinttype    = {arXiv},
  eprint       = {2512.07087},
  timestamp    = {Sun, 01 Feb 2026 00:00:00 +0100},
}

EGRAPHS'24 Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Marcus Rossel , Andrés Goens

PDF DOI

@inproceedings{rossel_egraphs24,
  author       = {Marcus Rossel and
                  Andr{\'{e}}s Goens},
  title        = {Bridging Syntax and Semantics of Lean Expressions in E-Graphs},
  booktitle    = {Proceedings of the 3rd Workshop on E-Graphs and Equality Saturation (EGRAPHS 2024)},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.10188},
  doi          = {10.48550/ARXIV.2405.10188},
  note         = {arXiv preprint arXiv:2405.10188},
  eprinttype   = {arXiv},
  eprint       = {2405.10188},
}

ISCA'24 Determining the Minimum Number of Virtual Networks for Different Coherence Protocols

Weihang Li , Andrés Goens , Nicolai Oswald , Vijay Nagarajan , Daniel J. Sorin

PDF DOI

@inproceedings{li_isca24,
  author       = {Weihang Li and
                  Andr{\'{e}}s Goens and
                  Nicolai Oswald and
                  Vijay Nagarajan and
                  Daniel J. Sorin},
  title        = {Determining the Minimum Number of Virtual Networks for Different Coherence
                  Protocols},
  booktitle    = {51st {ACM/IEEE} Annual International Symposium on Computer Architecture,
                  {ISCA} 2024, Buenos Aires, Argentina, June 29 - July 3, 2024},
  pages        = {182--197},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/ISCA59077.2024.00023},
  doi          = {10.1109/ISCA59077.2024.00023},
  timestamp    = {Fri, 16 Aug 2024 20:48:15 +0200},
}

POPL'24 Guided Equality Saturation

Thomas Koehler , Andrés Goens , Siddharth Bhat , Tobias Grosser , Phil Trinder , Michel Steuwer

PDF DOI

@article{koehler_popl24,
  author       = {Thomas Koehler and
                  Andr{\'{e}}s Goens and
                  Siddharth Bhat and
                  Tobias Grosser and
                  Phil Trinder and
                  Michel Steuwer},
  title        = {Guided Equality Saturation},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {1727--1758},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632900},
  doi          = {10.1145/3632900},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
}

PACT'24 PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model

An Qi Zhang , Andrés Goens , Nicolai Oswald , Tobias Grosser , Daniel J. Sorin , Vijay Nagarajan

PDF DOI

@inproceedings{zhang_pact24,
  author       = {An Qi Zhang and
                  Andr{\'{e}}s Goens and
                  Nicolai Oswald and
                  Tobias Grosser and
                  Daniel J. Sorin and
                  Vijay Nagarajan},
  title        = {PipeGen: Automated Transformation of a Single-Core Pipeline into a
                  Multicore Pipeline for a Given Memory Consistency Model},
  booktitle    = {Proceedings of the 2024 International Conference on Parallel Architectures
                  and Compilation Techniques, {PACT} 2024, Long Beach, CA, USA, October
                  14-16, 2024},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3656019.3676889},
  doi          = {10.1145/3656019.3676889},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
}

CICM'24 Transforming Optimization Problems into Disciplined Convex Programming Form

Ramon Fernández Mir , Paul B. Jackson , Siddharth Bhat , Andrés Goens , Tobias Grosser

PDF DOI

@inproceedings{fernandez_mir_cicm24,
  author       = {Ramon Fern{\'{a}}ndez Mir and
                  Paul B. Jackson and
                  Siddharth Bhat and
                  Andr{\'{e}}s Goens and
                  Tobias Grosser},
  editor       = {Andrea Kohlhase and
                  Laura Kov{\'{a}}cs},
  title        = {Transforming Optimization Problems into Disciplined Convex Programming
                  Form},
  booktitle    = {Intelligent Computer Mathematics - 17th International Conference,
                  {CICM} 2024, Montr{\'{e}}al, QC, Canada, August 5-9, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14960},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-66997-2\_11},
  doi          = {10.1007/978-3-031-66997-2\_11},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
}

All 44 publications →

B.Sc/M.Sc./Diploma Theses

No theses listed yet.