Publications
All publications →- ASPLOS'27 Beyond the Fence: Sound Compilation for GPU and Heterogeneous CPU+GPU Systems
@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}, } - ASPLOS'27 Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model
@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}, } - PLDI'26 A Formally Verified Foundation for Compositional Heterogeneous Coherence
@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
@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
@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
@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
@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
@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
@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
@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}, }
B.Sc/M.Sc./Diploma Theses
No theses listed yet.