2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2020
Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Richard Lin, Björn Hartmann
Board-level hardware description languages (HDLs) are one approach to increasing automation and raising the level of abstraction for designing electronics. These systems borrow pro…
cs.HC2017★ 2 cited
TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
Ryo Suzuki, Gustavo Soares, Andrew Head +5
Recent advances in program synthesis offer means to automatically debug student submissions and generate personalized feedback in massive programming classrooms. When automatically…