Conference: Midwest Programming Languages Summits 2023, 2024, 2025

由这笔赠款支持的团队正在组织一次年度研究研讨会，名为中西部编程语言峰会(MWPLS)，将来自大中西部地区的研究人员和学生聚集在一起。与计算机械协会(ACM)和电气和电子工程师学会(IEEE)组织的更正式的会议和研讨会场所不同，这个非正式的研究研讨会将成为研究人员和学生分享正在进行的研究想法并及时获得反馈以影响后续工作的宝贵论坛。这将是特别有价值的，因为编程语言研究人员在中西部高度集中，而且它将为研究生研究人员提供建立网络并进一步发展他们的研究和演示技能的机会。研讨会将于2023年秋季在密歇根大学安娜堡的密歇根大学举办，2024年和2025年的地点尚未确定。一年一度的为期一天的活动的主要重点将是展示和分享研究想法。这次活动将包括大约15个关于具体研究项目的陈述，以及一个可容纳更多人的海报会议。这些讲座和海报将涉及编程语言研究的各种及时和相关的主题，如用于软件验证的类型系统和程序逻辑；程序合成及其在不同领域的应用；并行和多核硬件的高性能编译器实现；软件工程、网络应用程序安全的工具和技术；以及编程语言技术在不同环境中的应用，如量子计算和人机交互。在中西部编程语言峰会上举行的许多演讲、对话和合作很可能有助于在未来的正式会议和研讨会上展示高质量的研究成果。这笔助学金将为那些可能无法前往马尼拉-马萨诸塞州中学的学生提供旅费津贴。组织者将接触服务于代表性不足群体的机构，以扩大参与。中西部编程语言峰会将促进中西部地区编程语言研究社区的发展，为研究人员提供跨组织合作的网络机会，并为学生发展与高级研究人员和其他研究生的联系，这将有助于他们未来的职业生涯。通过加强中西部地区研究人员之间的知识联系，研究生将发展一个社区，支持他们随后在研究、工业或其他领域的职业生涯。研讨会还将汇集来自不同组织(以研究为重点的大学、工业研究实验室和以教学为重点的学院)的学生和研究人员，这将有助于新的研究想法进入课堂环境，反之亦然。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

The team supported by this grant is organizing an annual research workshop, called the Midwest Programming Languages Summit (MWPLS), to bring together researchers and students from the greater Midwest region. In contrast to more formal conference and workshop venues organized by the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE), this informal research workshop will serve as a valuable forum for researchers and students to share in-progress research ideas and receive timely feedback to influence subsequent work. This will be particularly valuable because of the high concentration of programming languages researchers in the Midwest, and because it will provide graduate student researchers opportunities to network and further develop their research and presentation skills. The workshop will be organized at the University of Michigan in Ann Arbor, MI in Fall 2023, and in yet-to-be-determined locations in 2024 and 2025.The main focus of the annual one-day event will be to present and share research ideas. The event will include approximately fifteen presentations on specific research projects, as well as a poster session that will accommodate many more. These talks and posters will span a variety of timely and relevant topics in programming languages research, such as type systems and program logics for software verification; program synthesis and its applications in different domains; high-performance compiler implementations for parallel and multi-core hardware; tools and techniques for software engineering, web application security; and the application of programming language technology to diverse settings such as quantum computing and human-computer interaction. Many of the presentations, conversations, and collaborations that take place at the Midwest Programming Languages Summit are likely to facilitate high-quality research results to be presented at formal conferences and workshops in the future. This grant will provide travel grants to students who may not otherwise be able to travel to MWPLS. The organizers will reach out to institutions that serve underrepresented groups to broaden participation.The Midwest Programming Languages Summits will foster the programming languages research community in the Midwest region, by providing networking opportunities for researchers to develop collaborations across organizations and for students to develop connections with senior researchers and other graduate students that will help with their future careers. By strengthening the intellectual ties among researchers in the Midwest region, the graduate students will develop a community that will support them in their subsequent careers in research, industry, or other sectors. The workshops will also bring together students and researchers from a variety of organizations (research-focused universities, industrial research labs, and teaching-focused colleges), which will help new research ideas flow into classroom settings and vice versa.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.