Dr. Lionel Parreaux and Dr. Amir Goharshady Receive Distinguished Paper Awards at OOPSLA 2024

Dr. Lionel Parreaux and Dr. Amir Goharshady have both been recognized with Distinguished Paper Awards at OOPSLA 2024, highlighting their exceptional contributions to the field of computer science. Out of 148 accepted papers, only seven were honored (less than 5%), underscoring the high quality and significant impact of their work. This achievement not only reflects their individual expertise and commitment to innovation but also emphasizes the importance of collaboration in advancing research.

Together with their PhD student, Mr. Lam Chun Kit, Dr. Parreaux and Dr. Goharshady co-authored a groundbreaking paper on equality graphs (e-graphs). Their research examines the hard problem of optimally extracting e-graphs and demonstrates that an efficient algorithm is possible for sparse e-graphs, beating previously proposed optimal extraction algorithms. This work is poised to make a meaningful contribution to the field, providing new insights and methodologies.

Additionally, Dr. Parreaux, alongside his PhD student, Mr. Cheng Luyu, authored another award-winning paper on a programming language feature they facetiously refer to as the Ultimate Conditional Syntax (UCS). Their work introduces a new framework for expressing pattern-matching code in a way that is more expressive and readable than previous alternatives. They also show how to translate the syntax into lower-level code that can be compiled efficiently and prove that this translation is semantics-preserving.

Together, these achievements showcase the dedication of Dr. Parreaux and Dr. Goharshady to enhancing the understanding and application of complex programming concepts.

Congratulations to Dr. Parreaux and Dr. Goharshady!

From left to right: Dr. Lionel Parreaux (Left 3), Mr. Lam Chun Kit (Left 4), and Dr. Alex Potanin, the Review Committee Co-Chair (Right).