Summer School on Language-Based Techniques for Integrating with the External World

点击翻译按钮获取中文摘要

We propose to develop and run a summer school on Language-Based Techniques for Integrating with the External World. The aim of the school is to prepare graduate students, post-docs, and researchers in academiaand industry to conduct research on this topic.The school will present and discuss material on several related topics in this area. See Section 3 forthe importance of the topic area and Section 4 for the specific topics and speakers. Specifically, the panelsoutlined at the end of Section 4 show the interrelated and synergistic nature of many of the topics.Each topic will be covered for approximately four hours of lectures, providing ample time for speakersto address the topic from three perspectives:1. Foundational Theory Each speaker will begin with tutorial-level background on the fundamentalprinciples and theory underlying the problems and solutions in the topic area. With this foundationalperspective, the summer-school will cover key issues in areas such as type systems, logic, flow analysis,statistics, and distributed computing. These foundations are important because they motivate theadvanced techniques and provide participants the skills they need to attack new problems.2. Advanced Techniques Each speaker will cover extensions to the classic theory that bring students upto-speed with respect to the latest results from cutting-edge research. The speakers have all publishedtop research papers on their topic in the last year or two, so these perspective allows for the rapiddissemination of important ideas that can motivate additional research.3. Theory, in Practice Each speaker will describe how the theory and advanced techniques have informedpractical tools used to make software development easier, faster, or more secure. Especiallygiven the topic of external-world integration, the experience of the speakers in using principled engineeringto apply cutting-edge research in the real world is a perspective the summer-school willemphasize.