A student project experience: a virtual campus tour. - Emily Tucker; Jaden Terry; Quinn Bryant; John Peterson (J. Comput. Sci. Coll., 2015)

Formal Verification of Source-to-Source Transformations for HLS. - Louis-Noël Pouchet; Emily Tucker; Niansong Zhang; Hongzheng Chen; Debjit Pal; Gabriel Rodríguez 001; Zhiru Zhang (FPGA, 2024)

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs. - Alonso Rodríguez-Iglesias; Santoshkumar T. Tongli; Emily Tucker; Louis-Noël Pouchet; Gabriel Rodríguez 001; Juan Touriño (Proc. ACM Program. Lang., 2025)