Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026

旅行:2024-2026 年 ACM SIGPLAN 编程语言原理研讨会编程语言指导研讨会的 NSF 学生旅行补助金

基本信息

项目摘要

A Programming Languages Mentoring Workshop (PLMW) is organized as part of the Association for Computing Machinery (ACM) Special Interest Group on Programming Languages (SIGPLAN) Symposium on Principles of Programming Languages (POPL), which is the flagship conference in the field of programming language theory and one of the premier conferences in all of computer science. The conference is held in London, U.K., in 2024. This award supports students to attend the mentoring workshop in addition to the POPL conference and aims to broaden participation by students from underrepresented groups, giving priority to US citizens and permanent residents. 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 in all aspects of programming languages and systems.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)编程语言特别兴趣小组(SIGPLAN)编程语言原理研讨会(POPL)的一部分组织的,该研讨会是编程语言理论领域的旗舰会议,也是所有计算机科学领域的首要会议之一。该会议将于2024年在英国伦敦举行。该奖项支持学生参加除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 }}

Leonidas Lampropoulos其他文献

Testing noninterference, quickly
快速测试无干扰
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Cătălin Hriţcu;Leonidas Lampropoulos;Antal Spector;Arthur Azevedo de Amorim;Maxime Dénès;John Hughes;B. Pierce;Dimitrios Vytiniotis
  • 通讯作者:
    Dimitrios Vytiniotis
Measuring Neural Net Robustness ?
测量神经网络的鲁棒性?
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    O. Bastani;Yani Andrew Ioannou;Leonidas Lampropoulos;Dimitrios Vytiniotis;A. Nori;A. Criminisi
  • 通讯作者:
    A. Criminisi
Random Testing for Language Design
语言设计的随机测试
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Leonidas Lampropoulos
  • 通讯作者:
    Leonidas Lampropoulos
Ode on a random urn (functional pearl)
随机瓮颂(功能性珍珠)

Leonidas Lampropoulos的其他文献

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

{{ truncateString('Leonidas Lampropoulos', 18)}}的其他基金

CAREER: Fuzzing Formal Specifications
职业:模糊正式规范
  • 批准号:
    2145649
  • 财政年份:
    2022
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Medium: Efficient and Trustworthy Proof Engineering
合作研究:SHF:中:高效且值得信赖的证明工程
  • 批准号:
    2107206
  • 财政年份:
    2021
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
合作研究:SHF:Medium:加快 Python 速度
  • 批准号:
    1955610
  • 财政年份:
    2020
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant

相似国自然基金

SYNJ1蛋白片段通过促进突触蛋白NSF聚集在帕金森病发生中的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
NSF蛋白亚硝基化修饰所介导的GluA2 containing-AMPA受体膜稳定性在卒中后抑郁中的作用及机制研究
  • 批准号:
    82071300
  • 批准年份:
    2020
  • 资助金额:
    55 万元
  • 项目类别:
    面上项目
参加中美(NSFC-NSF)生物多样性项目评审会
  • 批准号:
    31981220281
  • 批准年份:
    2019
  • 资助金额:
    2.3 万元
  • 项目类别:
    国际(地区)合作与交流项目
参加中美(NSFC-NSF)生物多样性项目评审会
  • 批准号:
  • 批准年份:
    2019
  • 资助金额:
    2 万元
  • 项目类别:
    国际(地区)合作与交流项目
中美(NSFC-NSF)EEID联合评审会
  • 批准号:
  • 批准年份:
    2019
  • 资助金额:
    2.6 万元
  • 项目类别:
    国际(地区)合作与交流项目
中美(NSFC-NSF)EEID联合评审会
  • 批准号:
    81981220037
  • 批准年份:
    2019
  • 资助金额:
    2.1 万元
  • 项目类别:
    国际(地区)合作与交流项目
中美(NSFC-NSF)EEID联合评审会
  • 批准号:
  • 批准年份:
    2019
  • 资助金额:
    1.2 万元
  • 项目类别:
    国际(地区)合作与交流项目
Mon1b 协同NSF调控早期内吞体膜融合的机制研究
  • 批准号:
    31671397
  • 批准年份:
    2016
  • 资助金额:
    67.0 万元
  • 项目类别:
    面上项目

相似海外基金

Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
  • 批准号:
    2413092
  • 财政年份:
    2024
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
  • 批准号:
    2409934
  • 财政年份:
    2024
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
  • 批准号:
    2410618
  • 财政年份:
    2024
  • 资助金额:
    $ 4.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
  • 资助金额:
    $ 4.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
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
  • 批准号:
    2412574
  • 财政年份:
    2024
  • 资助金额:
    $ 4.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
  • 资助金额:
    $ 4.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
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
  • 批准号:
    2420866
  • 财政年份:
    2024
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
Conference: SHF: Small: NSF Student Travel Grant for 2024 IEEE VLSI Test Symposium
会议:SHF:小型:2024 年 IEEE VLSI 测试研讨会 NSF 学生旅费补助金
  • 批准号:
    2334367
  • 财政年份:
    2024
  • 资助金额:
    $ 4.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了