Proceedings of the eighth ACM symposium on Solid modeling and applications