Andrés Goens

Andrés Goens

Universitair Docent (Assistant Professor)

University of Amsterdam

About me

I have been working as an Assistant Professor at the University of Amsterdam since 2023. Before that, I was a Research Associate at the University of Edinburgh from 2021 to 2023. Before that, I was at the Barkhausen Institut and the Chair for Compiler Construction, TU Dresden. I received a Ph.D. (Dr.rer.nat.) degree (Hons.) in computer science from TU Dresden, Dresden, Germany, in 2021 and an M.Sc. degree in mathematics in 2014 from RWTH Aachen University, Aachen, Germany.

My primary research interest is in the intersection of programming languages and compilers. Much of my work has focused on using models of computation to reason about an efficient execution of concurrent programs in heterogeneous multicore systems. An overarching goal of my research is to find the right abstractions that help both programmers and compilers reason about the program and its execution. I am interested in using theorem proving software and type theory to help bridge this gap, be it for hardware development or pure mathematics. From the other side, I am also interested in machine learning on compilers and programming languages.

Interests
  • Programming Languages
  • Formal Methods
  • Theorem Proving
  • Heterogeneous Systems
  • Concurrency
  • Weak Memory
  • Machine Learning for Compliers

Latest Publications

(2024). Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model. The 33rd International Conference on Parallel Architectures and Compilation Techniques (PACT'24).

PDF Cite DOI URL

(2024). Guided Equality Saturation. The 51st ACM SIGPLAN Symposium on Principles of Programing Languages, January 2024 (POPL 2024).

PDF Cite DOI URL

(2024). Determining the Minimum Number of Virtual Networks for Different Coherence Protocols. The 51st International Symposium on Computer Architecture (ISCA), June-July 2024 (ISCA'24).

PDF Cite DOI URL

(2024). Transforming Optimization Problems into Disciplined Convex Programming Form. Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, Quebéc, Canada, August 5-9, 2024, Proceedings.

PDF Cite DOI

(2024). Verifying Peephole Rewriting In SSA Compiler IRs. 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia.

PDF Cite

Contact

The best way to contact me is probably per email:
a <dot> goens <at> uva <dot> nl

Or for personal matters:
andres <at> goens <dot> org