Conference: Midwest Programming Languages Summits 2023, 2024, 2025

会议：2023、2024、2025 年中西部编程语言峰会

• 批准号: 2330888
• 负责人: Jean-Baptiste Jeannin
• 金额: $ 1.5万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-07-15 至 2026-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2330888&HistoricalAwards=false
• 关键词: Conference; Midwest; Programming; Languages; Summits

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.

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