SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 13:40 - 14:00 at SPLASH-VI - Novices and Application Domains Chair(s): Luke Church

Board-level hardware description languages (HDLs) are one approach to increasing automation and raising the level of abstraction for designing electronics. These systems borrow programming languages concepts like generators and type systems, but also must be designed with human factors in mind to serve existing hardware engineers. In this work, we look at one recent prototype system, and discuss open questions from fundamental models through usable interfaces.

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
Novices and Application DomainsHATRA at SPLASH-VI
Chair(s): Luke Church University of Cambridge
13:00
20m
Talk
Model-Driven Synthesis for Programming Tutors
HATRA
Niek Mulleners Utrecht University, Johan Jeuring Open University of the Netherlands, Netherlands
Link to publication
13:20
20m
Talk
Towards Solver-Aided Creativity
HATRA
Chris Martens North Carolina State University
Pre-print
13:40
20m
Talk
Opportunities and Challenges for Circuit Board Level Hardware Description Languages
HATRA
Richard Lin University of California, Berkeley, Bjoern Hartmann UC Berkeley
Link to publication Pre-print
14:00
20m
Talk
Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
HATRA
Hannah Potter University of Michigan, Cyrus Omar University of Michigan
Pre-print