Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2020 (PLMW@POPL)

2020 年 ACM SIGACT-SIGPLAN 编程语言原理研讨会上的学生编程语言指导研讨会 (PLMW@POPL)

基本信息

  • 批准号:
    1940734
  • 负责人:
  • 金额:
    $ 1.98万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2019
  • 资助国家:
    美国
  • 起止时间:
    2019-10-01 至 2020-06-30
  • 项目状态:
    已结题

项目摘要

A Programming Languages Mentoring Workshop (PLMW) is being organized as part of the 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), the premier conference on the foundations of programming languages. The conference will be held during Jan 19-25, 2020, in New Orleans, Louisiana. 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 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.
作为第47届ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL)的一部分,正在组织编程语言指导研讨会(PLMW),这是关于编程语言基础的主要会议。会议将于2020年1月19日至25日在路易斯安那州新奥尔良举行。该奖项专门支持代表人数不足的群体的学生,并优先考虑美国公民和永久居民参加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 }}

Justin Hsu其他文献

A Program Logic for Union Bounds
联合界限的程序逻辑
  • DOI:
    10.4230/lipics.icalp.2016.107
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    G. Barthe;Marco Gaboardi;B. Grégoire;Justin Hsu;Pierre
  • 通讯作者:
    Pierre
Separated and Shared Effects in Higher-Order Languages
高阶语言中的分离和共享效果
  • DOI:
    10.48550/arxiv.2303.01616
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    P. Amorim;Justin Hsu
  • 通讯作者:
    Justin Hsu
Jointly Private Convex Programming
联合私有凸规划
A Logic to Reason about Dependence and Independence
推理依赖和独立的逻辑
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jialu Bao;Simon Docherty;Justin Hsu;Alexandra Silva
  • 通讯作者:
    Alexandra Silva
Do prices coordinate markets?
价格能否协调市场?

Justin Hsu的其他文献

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

{{ truncateString('Justin Hsu', 18)}}的其他基金

FMitF: Track I: Formal Verification for Mechanism Design
FMITF:第一轨:机制设计的形式验证
  • 批准号:
    2319186
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
CAREER: SHF: Compositional Analysis of Randomized Algorithms
职业:SHF:随机算法的成分分析
  • 批准号:
    2153916
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
SaTC:核心:中:SPIPS:可编程交换机的安全性和隐私
  • 批准号:
    2152831
  • 财政年份:
    2021
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
CAREER: SHF: Compositional Analysis of Randomized Algorithms
职业:SHF:随机算法的成分分析
  • 批准号:
    1943130
  • 财政年份:
    2020
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
SaTC:核心:中:SPIPS:可编程交换机的安全性和隐私
  • 批准号:
    2023222
  • 财政年份:
    2020
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant

相似海外基金

Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
  • 批准号:
    2328059
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
  • 批准号:
    2310964
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2023 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2311257
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2024 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2327889
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
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 学生旅行补助金
  • 批准号:
    2334703
  • 财政年份:
    2023
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
Travel: Student Support for the 38th International Conference on Logic Programming in 2022
旅行:2022 年第 38 届国际逻辑编程会议的学生支持
  • 批准号:
    2211786
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
Travel: Student Travel Grant for the Programming Languages Mentoring Workshop at PLDI 2022
旅费:PLDI 2022 编程语言指导研讨会的学生旅费补助
  • 批准号:
    2227746
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the 2022 to 2024 ACM SIGPLAN Conferences on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
NSF 学生旅费补助金用于 2022 年至 2024 年 ACM SIGPLAN 系统、编程、语言和应用程序会议:人类软件 (SPLASH)
  • 批准号:
    2230863
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
Travel: Student Travel Grant for 2022 Logic Programming and Non-Monotonic Reasoning Conference and Doctoral Consortium
旅费:2022 年逻辑编程和非单调推理会议及博士联盟的学生旅费补助
  • 批准号:
    2230673
  • 财政年份:
    2022
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2020 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
NSF 学生旅费资助 2020 年 ACM 国际编程语言和操作系统架构支持会议 (ASPLOS)
  • 批准号:
    1936025
  • 财政年份:
    2020
  • 资助金额:
    $ 1.98万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了