Summer School on Language-Based Techniques for Concurrent and Distributed Software

俄勒冈州尤金的Zena Ariola 0622244 U我们的日常生活以及经济、国防和政府的重要方面都依赖于软件。这种软件越来越多地是并发的（多个计算并行进行）和分布式的（计算分布在大型异构网络上）。随着芯片多处理器和无处不在的计算环境的出现，并发编程将很快成为许多程序员的主要问题。这所学校的主要目标是使参与者能够进行编程语言研究，以满足这一迫切的社会需求。通过展示一系列的材料，从逻辑和类型系统的基础工作到分析真实的并发软件的先进技术，我们将为参与者提供一个独特的机会来了解当前的研究前景。

ABSTRACTZena Ariola0622244U of Oregon EugeneEveryday life and critical aspects of our economy, defense, and government depend on software. Increasingly, this software is concurrent (with multiple computations proceeding in parallel) and distributed (with computations spread across large heterogenous networks). With chip multiprocessors and ubiquitous computing environments on the horizon, concurrent programming will soon become a primary issue for many programmers. The main aim of this school is to enable participants to conduct programming-language research to meet this pressing societal need. By presenting a range of material, from foundational work on logic and type systems to advanced techniques for analyzing real concurrent software, we will provide a unique opportunity for participants to understand the current research landscape.