54 citations · 77 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.PL2024★ 3 cited
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…
cs.PL2024★ 2 cited
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…