Skip to main content

Confluences in programming languages research (keynote)

Author(s): Walker, David

To refer to this page use:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWalker, David-
dc.identifier.citationWalker, David. "Confluences in programming languages research (keynote)." In ACM SIGPLAN Notices 51, no. 1 (2016): pp. 4. doi:10.1145/2914770.2843896en_US
dc.description.abstractA 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.en_US
dc.relation.ispartofACM SIGPLAN Noticesen_US
dc.rightsFinal published version. Article is made available in OAR by the publisher's permission or policy.en_US
dc.titleConfluences in programming languages research (keynote)en_US
dc.typeConference Articleen_US

Files in This Item:
File Description SizeFormat 
ConfluenceProgrammingLanguageResearch.pdf104.91 kBAdobe PDFView/Download

Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.