NSF Student Travel Grant for 2018 Programming Languages

NSF 2018 年编程语言学生旅行补助金

基本信息

  • 批准号:
    1749155
  • 负责人:
  • 金额:
    $ 1.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-09-01 至 2018-05-31
  • 项目状态:
    已结题

项目摘要

Title: Student Travel Support for Programming Languages Mentoring Workshop at POPL 2018The Seventh Programming Languages Mentoring Workshop (PLMW) will take place on January 17 2018, as part of the flagship programming language conference, Principles of Programming Languages (POPL), which will be held in Los Angeles, California. This grant will support approximately 10 students to attend the PLMW event, in addition to the POPL conference. While there is other funding available (through ACM SIGPLAN PAC) for students who are presenting papers at POPL, this proposal is intended specifically to increase the numbers of students from underrepresented groups and gives priority to US citizens and permanent residents. The broader significance and importance of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from leading members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
职务名称:第七届编程语言指导研讨会(PLMW)将于2018年1月17日举行,作为旗舰编程语言会议的一部分,编程语言原则(POPL),将在加州的洛杉矶举行。这笔赠款将支持大约10名学生参加PLMW活动,除了POPL会议。虽然有其他资金(通过ACM SIGPLAN PAC)可用于在POPL提交论文的学生,但该提案特别旨在增加来自代表性不足群体的学生人数,并优先考虑美国公民和永久居民。赠款的更广泛的意义和重要性涉及到需要扩大参与,为学生提供机会,从编程语言社区的主要成员接受指导,并在这个重要的研究竞技场建立下一代的研究人员和知识渊博的从业人员。

项目成果

期刊论文数量(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 }}

Stephan Zdancewic其他文献

Stephan Zdancewic的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Stephan Zdancewic', 18)}}的其他基金

REU Site: Research Experience for undergraduates in Programming Languages (REPL)
REU 网站:编程语言本科生研究经验 (REPL)
  • 批准号:
    2244494
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Secure and Formally-verified Low-level Languages
SaTC:核心:中:安全且经过正式验证的低级语言
  • 批准号:
    2247088
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
2019 年 ACM SIGACT-SIGPLAN 编程语言原理研讨会学生编程语言指导研讨会 (PLMW@POPL)
  • 批准号:
    1841603
  • 财政年份:
    2018
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: SMALL: NONSTANDARD COMPUTATIONAL MODELS OF LINEAR LOGIC
SHF:小:线性逻辑的非标准计算模型
  • 批准号:
    1421193
  • 财政年份:
    2014
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
CCF: Medium: Validating Program Transformations in a Mechanized LLVM
CCF:中:在机械化 LLVM 中验证程序转换
  • 批准号:
    1065166
  • 财政年份:
    2011
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
TC: Small: WATCHDOG: Hardware-Assisted Prevention of All Use-After-Free Security Vulnerabilities
TC:小:WATCHDOG:硬件辅助预防所有释放后使用安全漏洞
  • 批准号:
    1116682
  • 财政年份:
    2011
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: SMALL: Practical Linear Types for Safe Protocols
SHF:SMALL:用于安全协议的实用线性类型
  • 批准号:
    1017027
  • 财政年份:
    2010
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Unifying Events and Threads: Language Support for Network Services
统一事件和线程:网络服务的语言支持
  • 批准号:
    0541040
  • 财政年份:
    2006
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
CT-T: Resource-Guided Implementation of Secure Embedded Software
CT-T:安全嵌入式软件的资源引导实施
  • 批准号:
    0524059
  • 财政年份:
    2005
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments
合作研究:CT-T:动态环境下灵活、分散的信息流控制
  • 批准号:
    0524035
  • 财政年份:
    2005
  • 资助金额:
    $ 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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了