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

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

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.