Denso/CHESS Interactions

The denso workgroup has been split into two groups:

  • densoeal - for interactions between Denso and Professor Edward A. Lee's group
  • densosas - for interactions between Denso and Professor Sanjit A. Seshia's group

Please use the above two groups instead of the denso group.

Membership in the denso workgroup is only open to industrial participants from Denso and academic participants from UC Berkeley who are associated with CHESS faculty.


  • June 6, 2014: Denso has joined CHESS.


  • Denso Wiki
  • If you are seeing this page, then you are not logged in or do not otherwise have permission to read the home page. To modify this page, edit the profile
  • To modify page that appears when a user is logged in and has permission, use Subversion.

This group has the following subpages:

©2002-2018 Chess