Emily Tucker

Orcid: 0009-0002-1447-5683

According to our database¹, Emily Tucker authored at least 4 papers between 2015 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Practical Formal Verification for MLIR Programs.

[BibT_eX]

[DOI]

CoRR, May, 2026

2025

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs.

[BibT_eX]

[DOI]

Alonso Rodríguez-Iglesias

Santoshkumar T. Tongli

Proc. ACM Program. Lang., 2025

2024

Formal Verification of Source-to-Source Transformations for HLS.

[BibT_eX]

[DOI]

Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2024

2015

A student project experience: a virtual campus tour.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2015

Emily Tucker

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...