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-Sipplan题材的一部分,关于编程语言原则(POPL),《编程语言理论》的主要会议。该活动于2021年1月在丹麦哥本哈根举行。该奖项专门为来自代表性不足的团体的学生提供支持,并优先考虑美国公民和永久居民参加POPL会议之外的指导研讨会。该奖项的影响与扩大计算的参与,为学生提供从领先研究人员那里获得指导的机会以及建立下一代研究人员和知识渊博的从业人员,在编程语言理论方面具有专业知识。愿望。在此活动中形成的联系将有助于在研究人员和学生之间建立持久的联系,从而塑造计算机编程语言中新兴的创新。该奖项反映了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
关系:抽象对象协作
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
DisLog: A Separation Logic for Disentanglement
DisLog:解开的分离逻辑
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alexandre Moine;Sam Westrick;Stephanie Balzer
  • 通讯作者:
    Stephanie Balzer
Contracted Persistent Object Programming
契约式持久对象编程
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    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

相似国自然基金

心理危机预警大学生园艺疗法方案制定关键问题研究
  • 批准号:
    32301661
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于机器学习的大学生自杀风险识别研究
  • 批准号:
    32300917
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
面向大学生价值观引导的智能算法分发信息服务方法与机制研究
  • 批准号:
    72304090
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
树突状细胞应对不同维度细胞外基质迁移策略切换的力学生物学耦合机制研究
  • 批准号:
    32371373
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
应力、材料降解与细胞组织相互作用的生物力学和力学生物学研究
  • 批准号:
    12332019
  • 批准年份:
    2023
  • 资助金额:
    239.00 万元
  • 项目类别:
    重点项目

相似海外基金

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了