To refer to this page use:
|Abstract:||A confluence occurs when two rivers flow together; downstream the combined forces gather strength and propel their waters forward with increased vigor. In academic research, according to Varghese, a confluence occurs after some trigger, perhaps a discovery or a change in technology, and brings two previously separate branches of research together. In this talk, I will discuss confluences in programming languages research. Here, confluences often occur when basic research finds application in some important new domain. Two prime examples from my own career involve the confluence of research in type theory and systems security, triggered by new theoretical tools for reasoning about programming language safety, and the confluence of formal methods and networking, triggered by the rise of data centers. These experiences may shed light on what to teach our students and what is next for programming languages research.|
|Citation:||Walker, David. "Confluences in programming languages research (keynote)." In ACM SIGPLAN Notices 51, no. 1 (2016): pp. 4. doi:10.1145/2914770.2843896|
|Type of Material:||Conference Article|
|Journal/Proceeding Title:||ACM SIGPLAN Notices|
|Version:||Final published version. Article is made available in OAR by the publisher's permission or policy.|
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.