75 citations · 315 across the 34 of their papers we have counts for
Showing 2024 · cs.PLShow all
2 papers · 2 filters
cs.PL2024
Exo 2: Growing a Scheduling Language
Yuka Ikarashi, Kevin Qian, Samir Droubi +3
User-schedulable languages (USLs) help programmers productively optimize programs by providing safe means of transforming them. Current USLs are designed to give programmers exactl…
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…