Cubic Formula Size Lower Bounds Based on Compositions with Majority. - Anna Gál; Avishay Tal; Adrian Trejo Nuñez (Electron. Colloquium Comput. Complex., 2018)

Bottom-up synthesis of recursive functional programs using angelic execution. - Anders Miltner; Adrian Trejo Nuñez; Ana Brendel; Swarat Chaudhuri; Isil Dillig (Proc. ACM Program. Lang., 2022)