Triangle Computer Science Distinguished Lecturer Series
Date and Time
For decades, Moore’s Law and its partner Dennard Scaling have together enabled exponential computer systems performance improvements at manageable power dissipation. Unfortunately, the scaling gains afforded by these techniques come with significant costs: increased hardware and software complexity, degraded programmability and portability, and increased likelihood of design errors and security vulnerabilities. The talk will cover a range of design opportunities and challenges, with a particular emphasis on my group’s recent work on automated full-stack verification and optimization, and the surprising alignments between their applications in both classical and quantum computing systems.