Headlights Workshop on New Directions in Design Productivity

Topic: 
New Directions in Design Productivity
Wednesday, April 12, 2017 (All day)
Venue: 
Allen Extension Building: 101X Auditorium
Speaker: 
Various
Abstract / Description: 

System complexity continues to grow rapidly, with more complex silicon platforms, more software, more new models distributing data capture, storage and computation across thousands of heterogeneous nodes from sensors to cloud.  Even more significantly, new issues in security, robustness, safety and scalability are triggering a rethinking of much of the design process, design languages, the nature of verification and the monumental tasks in composing diverse components into stable solutions.

This workshop will focus on three themes, related to the scaling of computing to meet the opportunity: 

What new abstractions are needed to capture design intent in ways that lead to both more productive development and more efficient implementations?
How do we extend verification to deal with the larger scale and diversity of the systems, while addressing the demand for better security, safety and reliability?
As design teams construct, reuse, adapt and compose hardware and software elements, how will robust system assembly really work?

We open the workshop with a talk by Prof. Melissa Valentine of Stanford’s Department of  Management Science and Engineering, on a foundational topic for all discussions of productivity:  What is the future of teams and tasks?   How can technology affect  not just specific steps in design, but fundamentally change how design work is specified, organized, and motivated? 

The workshop agenda is still being finalized, but will include talks from both the leading research teams at Stanford and from technical leaders in industry.

Likely invited talks include an assessment of the computation impact of new programmable platforms, the evolution of design automation into new markets and roles, and initiatives from DARPA on transforming and accelerating design.

Likely Stanford talks include breakthrough formal methods for verification of neural networks, using domain-specific languages to build improved systems, and robust post-silicon validation

The workshop is expected to be highly interactive, with ample opportunities to explore the implications of key ideas and technology trends, and to help mold the SystemX  research perspective on important initiatives in computing and design.

The day will conclude with a lively panel discussion with key speakers and the workshop participants, followed by an evening reception and student poster session.