2 papers
cs.PL2026
Parameterized Hardware Design with Latency-Abstract Interfaces
Rachit Nigam, Ethan Gabizon, Edmund Lam +3
Hardware designs must use latency-insensitive (LI) interfaces when timing is input-dependent. When timing is input-independent, designs should use latency-sensitive (LS) interfaces…
cs.PL2024
WatChat: Explaining perplexing programs by debugging mental models
Kartik Chandra, Katherine M. Collins, Will Crichton +6
Often, a good explanation for a program's unexpected behavior is a bug in the programmer's code. But sometimes, an even better explanation is a bug in the programmer's mental model…