Slides

What do cheating on fuel economy, the London Whale, and building a better mosquito trap have in common?

We are constantly bombarded with technical innovations that disrupt business models, social structures, labor markets, etc. Widely visible technical advances such as Internet of Things, Big Data, and Deep Learning are driving markets and creating a huge demand for computer science education. What role, if any, does programming language research have in an age of technical disruptions? In my talk, I argue that historically, as well as today, programming languages are central to major technical disruptions and that language innovation is often driven by technical innovation in other areas. To have the most impact, language researchers have a great opportunity to look beyond problems in their own research area to embrace and understand the impact that their ideas can have on critical societal problems. Increasing, people are assuming that software will be an essential part of solutions to societal problems. At the same time we know that building an infrastructure on software creates new challenges that threaten to reduce or eliminate the benefits altogether. To make the discussion concrete, I consider three problem domains: global health, financial market stability, and cybersecurity. In each case, I argue that programming language research can and should have a lot of impact. My challenge to the audience is to embrace these problems enthusiastically and bring the great depth of insight and innovation that the field has already created to the broadest audience possible.

Since I will be discussing topics that I have far too limited knowledge of, consider this a great opportunity to hear me say outrageous things that are almost certainly not true but at the same time hopefully provocative and entertaining.

Ben Zorn is a Research Manager and Principal Researcher, co-managing the Research in Software Engineering (RiSE) group, a group of over 30 researchers and developers working on programming languages and software engineering in Microsoft Research, Redmond. After receiving a PhD in Computer Science from UC Berkeley in 1989, he served eight years on the Computer Science faculty at the University of Colorado in Boulder, receiving tenure and being promoted to Associate Professor in 1996. Dr. Zorn left the University of Colorado in 1998 to join Microsoft Research, where he currently works. His research interests include programming language design and implementation for reliability, security, and performance. He has served as both Program Chair (1999) and General Chair (2010) of the PLDI conference, as an Associate Editor of the ACM journals Transactions on Programming Languages and Systems and Transactions on Architecture and Code Optimization. He has also served seven years as a Member-at-Large of the SIGPLAN Executive Committee and four years as a member of the ACM Software Systems Award Committee. He is currently a member of the Computing Community Consortium (CCC) Council, a committee of the Computing Research Association. For more information, visit his web page at: http://research.microsoft.com/~zorn/.