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.
- Life in the Fast Lane: Viewed from the Confluence Lens. George Varghese. In ACM SIGCOMM Computer Communication Review, Volume 45, Issue 1, January 2015. Google Scholar
Digital Library
Index Terms
Confluences in programming languages research (keynote)
Recommendations
Confluences in programming languages research (keynote)
POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesA 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 ...
Component-based description of programming languages
VoCS'08: Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic ConferenceResearch in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete major programming languages, and theoretical foundations for novel ...
The when, why and why not of the BETA programming language
HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languagesThis paper tells the story of the development of BETA: a programming language with just one abstraction mechanism, instead of one abstraction mechanism for each kind of program element (classes, types, procedures, functions, etc.). The paper explains ...






Comments