List of works - Zachary Tatlock - Paulina

List of works by Zachary Tatlock

ADA, the Center for Applications Driving Architectures: accomplishments and vision forward

scientific article published on 28 June 2024

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

scientific article published on 29 December 2023

FPGA Technology Mapping Using Sketch-Guided Program Synthesis

scientific article published on 22 April 2024

Magic Markup: Maintaining Document-External Markup with an LLM

scientific article published on 09 July 2024

Paulina is supported by:

About Paulina

Help