Adrian Sampson

Cornell University

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Ernest Ng (1)Ernest Ng (1)Nikil V. Shyamsunder (1)Nikil Shyamsunder (1)

Papers (1)

Jun 11, 2026

Jun 11, 2026·also Affiliation:

Specifying Hardware Communication as Programs

A unified DSL for hardware communication protocols could eliminate inconsistencies and streamline the testing process, transforming how hardware modules are developed and debugged.

Ernest Ng, Ernest Ng, Nikil V. Shyamsunder +7

Code Generation & Program Synthesis Distributed Systems & Hardware

Search

Adrian Sampson

Research focus

Frequent co-authors

Papers (1)