Conference: Midwest Programming Languages Summits 2023, 2024, 2025

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

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.