NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)
NSF 学生旅费补助金用于 2021 年 POPL 编程语言指导研讨会 (PLMW@POPL)
基本信息
- 批准号:2041337
- 负责人:
- 金额:$ 2.34万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2020
- 资助国家:美国
- 起止时间:2020-10-01 至 2023-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award seeks to support U.S. student participation in the Programming Languages Mentoring Workshop (PLMW), being organized as part of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), the premier conference on programming language theory. The event is in Copenhagen, Denmark in January 2021. 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 POPL 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 expertise in programming languages theory.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),该研讨会是作为编程语言理论顶级会议ACM SIGACT-SIGPLAN编程语言原理研讨会(POPL)的一部分组织的。该活动将于2021年1月在丹麦哥本哈根举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加除了POPL会议之外的辅导研讨会。该奖项的影响涉及到扩大参与计算,为学生提供机会,接受来自领先的研究人员的指导,并建立下一代的研究人员和知识渊博的从业人员与专业知识的编程语言理论。学生参加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 }}
Stephanie Balzer其他文献
Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing
选择性所有权:结合对象和类型层次结构以实现灵活共享
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
Stephanie Balzer;T. Gross - 通讯作者:
T. Gross
Relations: Abstracting object collaborations
关系:抽象对象协作
- DOI:
10.3929/ethz-a-006783052 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Stephanie Balzer;P. Eugster;T. Gross - 通讯作者:
T. Gross
DisLog: A Separation Logic for Disentanglement
DisLog:解开的分离逻辑
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Alexandre Moine;Sam Westrick;Stephanie Balzer - 通讯作者:
Stephanie Balzer
Rumer: A programming language and modular verification technique based on relationships
Rumer:一种基于关系的编程语言和模块化验证技术
- DOI:
10.3929/ethz-a-007086593 - 发表时间:
2011 - 期刊:
- 影响因子:6.5
- 作者:
Stephanie Balzer - 通讯作者:
Stephanie Balzer
Ferrite: A Judgmental Embedding of Session Types in Rust
铁氧体:Rust 中会话类型的判断嵌入
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Ruofei Chen;Stephanie Balzer - 通讯作者:
Stephanie Balzer
Stephanie Balzer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Stephanie Balzer', 18)}}的其他基金
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols
合作研究:SHF:中:物联网和实时通信协议的集成验证
- 批准号:
2211996 - 财政年份:2022
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
相似海外基金
Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
- 批准号:
2413092 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
- 批准号:
2409934 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
- 批准号:
2416160 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
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
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)
旅费:2024 年 IEEE 国际量子计算与工程会议 (QCE) 的 NSF 学生旅费补助金
- 批准号:
2417602 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
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
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
- 批准号:
2420866 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant
Conference: SHF: Small: NSF Student Travel Grant for 2024 IEEE VLSI Test Symposium
会议:SHF:小型:2024 年 IEEE VLSI 测试研讨会 NSF 学生旅费补助金
- 批准号:
2334367 - 财政年份:2024
- 资助金额:
$ 2.34万 - 项目类别:
Standard Grant