Midwest Programming Languages Summit 2018
2018 年中西部编程语言峰会
基本信息
- 批准号:1834480
- 负责人:
- 金额:$ 0.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-09-01 至 2020-02-29
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award will support student travel to the seventh Midwest Programming Languages Summit, to be held at University of Wisconsin-Madison in September 2018. This 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 funds from this award will help support U.S. based students, focusing on graduate students at an advanced stage in their program and students who would otherwise not be able to attend this workshop. The impacts include training the next generation of researchers in this important research area. Higher priority will be assigned to students giving presentations and a strong emphasis will be put on supporting students from underrepresented groups.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.
该奖项将支持学生前往参加将于 2018 年 9 月在威斯康星大学麦迪逊分校举行的第七届中西部编程语言峰会。该研究研讨会将成为研究人员和学生分享正在进行的研究想法并及时获得信息的宝贵论坛。反馈影响后续工作。这将特别有价值,因为中西部的编程语言研究人员高度集中,并且因为它将为研究生研究人员提供建立人际网络并进一步发展他们的研究和演示技能的机会。该奖项的资金将帮助支持美国学生,重点关注处于课程高级阶段的研究生以及否则无法参加本次研讨会的学生。其影响包括培训这一重要研究领域的下一代研究人员。将优先分配给进行演讲的学生,并重点支持来自代表性不足群体的学生。该奖项反映了 NSF 的法定使命,并通过使用基金会的智力优点和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Loris DAntoni其他文献
Loris DAntoni的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Loris DAntoni', 18)}}的其他基金
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline
SHF:Medium:机器学习管道中多重性的推理
- 批准号:
2402833 - 财政年份:2024
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
SHF: Medium: Compositional Semantics-Guided Synthesis
SHF:媒介:组合语义引导合成
- 批准号:
2211968 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
FMitF: Track I: Formal Methods for Explainable Machine Learning
FMITF:第一轨:可解释机器学习的形式化方法
- 批准号:
1918211 - 财政年份:2019
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Collaborative Research: Verification Mentoring Workshop at Computer Aided Verification 2019-2021
协作研究:2019-2021 年计算机辅助验证验证指导研讨会
- 批准号:
1905145 - 财政年份:2019
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
CAREER: Program Synthesis with Quantitative Guarantees
职业:具有定量保证的程序合成
- 批准号:
1750965 - 财政年份:2018
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
NeTS: Medium: Collaborative research: Automatic Network Repair
NeTS:媒介:协作研究:自动网络修复
- 批准号:
1763871 - 财政年份:2018
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
Programming languages mentoring workshop at POPL17
POPL17 编程语言指导研讨会
- 批准号:
1650816 - 财政年份:2016
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
AitF: Collaborative Research: Foundations of Intent-based Networking
AitF:协作研究:基于意图的网络的基础
- 批准号:
1637516 - 财政年份:2016
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
相似国自然基金
面向监管科技的智能合约编程语言及可靠性保障机制研究
- 批准号:
- 批准年份:2021
- 资助金额:59 万元
- 项目类别:面上项目
基于多方会话的多时钟同步规范合成与验证机制的研究
- 批准号:61902108
- 批准年份:2019
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
非单调推理在动作语言系统刻画中的理论与应用研究
- 批准号:61806132
- 批准年份:2018
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
小样本约束下情境化自然语言驱动的人机交互式共融机器人自动任务编程研究
- 批准号:61806175
- 批准年份:2018
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
面向异构众核系统的统一编程框架研究
- 批准号:61572394
- 批准年份:2015
- 资助金额:65.0 万元
- 项目类别:面上项目
相似海外基金
Theory and Application for Robust and High-Performance Systems Programming Languages
鲁棒高性能系统编程语言的理论与应用
- 批准号:
22KJ0561 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Travel: NSF Student Travel Grant for 2024 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2024 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
- 批准号:
2327889 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
REU Site: Research Experience for undergraduates in Programming Languages (REPL)
REU 网站:编程语言本科生研究经验 (REPL)
- 批准号:
2244494 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行:2023 年俄勒冈编程语言暑期学校:类型、语义和逻辑
- 批准号:
2329771 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2023 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
- 批准号:
2311257 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant