David Kasik, ACM Fellow and Boeing Senior Technical Fellow, visited our lab and gave the dept. colloquium talk at Sept. 14, 2015