Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures. - Akash Kothari; Abdul Rafae Noor; Muchen Xu; Hassam Uddin; Dhruv Baronia; Stefanos Baziotis; Vikram S. Adve; Charith Mendis; Sudipta Sengupta (ASPLOS (2), 2024)

MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations. - Abdul Rafae Noor; Dhruv Baronia; Akash Kothari; Muchen Xu; Charith Mendis; Vikram S. Adve (Proc. ACM Program. Lang., 2025)