NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
NSF 学生旅费资助,用于 2019 年国际函数式编程会议上的编程语言指导研讨会 (PLMW@ICFP)
基本信息
- 批准号:1940774
- 负责人:
- 金额:$ 1.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-08-01 至 2021-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award seeks to support U.S. student participation in the Programming Languages Mentoring Workshop (PLMW), being organized as part of the 24th ACM International Conference on Functional Programming (ICFP), the premier conference on the design, implementations, principles, and uses of functional programming. The event is in Berlin, Germany during 18-23 August 2019. This award specifically supports students from underrepresented groups and gives priority to US citizens and permanent residents to attend the mentoring workshop in addition to the ICFP conference. The impact of the award relates to broadening participation in computing, providing opportunities for students to receive mentoring from leading researchers, and building the next generation of researchers and knowledgeable practitioners with general expertise in programming languages, and specific expertise in functional programming.Students attending the PLMW workshop with support from this grant will hear eminent researchers in the field talk about the latest trends in the field, and get one-on-one mentoring from these speakers and other mentors in research and pursuing their career aspirations. The connections formed at this event will help create lasting connections between researchers and students, thereby shaping emerging innovations in computer programming languages.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.
该奖项旨在支持美国学生参与编程语言指导研讨会 (PLMW),该研讨会是第 24 届 ACM 国际函数式编程会议 (ICFP) 的一部分,该会议是关于函数式编程的设计、实现、原理和使用的重要会议。该活动将于 2019 年 8 月 18 日至 23 日在德国柏林举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加 ICFP 会议之外的指导研讨会。该奖项的影响涉及扩大对计算的参与,为学生提供接受领先研究人员指导的机会,以及培养具有编程语言一般专业知识和函数式编程特定专业知识的下一代研究人员和知识丰富的实践者。在该资助的支持下参加 PLMW 研讨会的学生将听到该领域的杰出研究人员谈论该领域的最新趋势,并从这些演讲者和其他人那里获得一对一的指导。 研究和追求职业抱负的导师。此次活动中形成的联系将有助于在研究人员和学生之间建立持久的联系,从而塑造计算机编程语言的新兴创新。该奖项反映了 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 }}
David Van Horn其他文献
Soft contract verification for higher-order stateful programs
高阶有状态程序的软合约验证
- DOI:
10.1145/3158139 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Phuc C. Nguyen;Thomas Gilray;Sam Tobin;David Van Horn - 通讯作者:
David Van Horn
Running Probabilistic Programs Backwards
向后运行概率程序
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
N. Toronto;J. McCarthy;David Van Horn - 通讯作者:
David Van Horn
Higher-order symbolic execution via contracts
通过合约进行高阶符号执行
- DOI:
10.1145/2384616.2384655 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Sam Tobin;David Van Horn - 通讯作者:
David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates
AnaDroid:使用用户提供的谓词对 Android 进行恶意软件分析
- DOI:
10.1016/j.entcs.2015.02.002 - 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Shuying Liang;M. Might;David Van Horn - 通讯作者:
David Van Horn
The effects of catastrophic wildfire on water quality along a river continuum
灾难性野火对河流连续体沿线水质的影响
- DOI:
10.1086/684001 - 发表时间:
2015 - 期刊:
- 影响因子:1.8
- 作者:
Justin K. Reale;David Van Horn;K. Condon;C. Dahm - 通讯作者:
C. Dahm
David Van Horn的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('David Van Horn', 18)}}的其他基金
CAREER: Gradual Verification: From Scripting to Proving
职业:逐步验证:从脚本编写到证明
- 批准号:
1846350 - 财政年份:2019
- 资助金额:
$ 1.5万 - 项目类别:
Continuing Grant
SHF: Medium: Collab Research: Synthesizing Verified Analyzers for Critical Software
SHF:媒介:协作研究:为关键软件综合经过验证的分析器
- 批准号:
1900563 - 财政年份:2019
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)
2018 年函数式编程国际会议上的学生编程语言旅行指导研讨会 (PLMW@ICFP)
- 批准号:
1841504 - 财政年份:2018
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Online Verification-Validation
SHF:小型:协作研究:在线验证-确认
- 批准号:
1618756 - 财政年份:2016
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Collaborative Research: Climatic and Environmental Constraints on Aboveground-Belowground Linkages and Diversity across a Latitudinal Gradient in Antarctica
合作研究:气候和环境对南极洲纬度梯度地上地下联系和多样性的限制
- 批准号:
1341427 - 财政年份:2014
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Collaborative Research: THE MCMURDO DRY VALLEYS: A landscape on the Threshold of Change
合作研究:麦克默多干谷:变革门槛上的景观
- 批准号:
1245991 - 财政年份:2013
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
相似海外基金
Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
- 批准号:
2413092 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
- 批准号:
2409934 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
- 批准号:
2416160 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel for 2024 USENIX Conferences USENIX ATC 2024 and OSDI 2024
旅行:2024 年 USENIX 会议 USENIX ATC 2024 和 OSDI 2024 的 NSF 学生旅行
- 批准号:
2404784 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)
旅费:2024 年 IEEE 国际量子计算与工程会议 (QCE) 的 NSF 学生旅费补助金
- 批准号:
2417602 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE Symposium on Security and Privacy (IEEE S&P 2024)
旅行:2024 年 IEEE 安全与隐私研讨会 (IEEE S
- 批准号:
2419095 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
- 批准号:
2420866 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
Conference: SHF: Small: NSF Student Travel Grant for 2024 IEEE VLSI Test Symposium
会议:SHF:小型:2024 年 IEEE VLSI 测试研讨会 NSF 学生旅费补助金
- 批准号:
2334367 - 财政年份:2024
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant














{{item.name}}会员




