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.
编程语言指导研讨会 (PLMW) 是第 47 届 ACM SIGPLAN-SIGACT 编程语言原理研讨会 (POPL) 的一部分,该研讨会是关于编程语言基础的重要会议。会议将于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其他文献
Separated and Shared Effects in Higher-Order Languages
高阶语言中的分离和共享效果
- DOI:
10.48550/arxiv.2303.01616 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
P. Amorim;Justin Hsu - 通讯作者:
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
Relational Reasoning via Probabilistic Coupling
通过概率耦合进行关系推理
- DOI:
10.1007/978-3-662-48899-7_27 - 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
G. Barthe;Thomas Espitau;B. Grégoire;Justin Hsu;Léo Stefanesco;Pierre - 通讯作者:
Pierre
Programming language techniques for differential privacy
差分隐私的编程语言技术
- DOI:
10.1145/2893582.2893591 - 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
G. Barthe;Marco Gaboardi;Justin Hsu;B. Pierce - 通讯作者:
B. Pierce
Do prices coordinate markets?
价格能否协调市场?
- DOI:
10.1145/2897518.2897559 - 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Justin Hsu;Jamie Morgenstern;Ryan M. Rogers;Aaron Roth;R. Vohra - 通讯作者:
R. Vohra
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
相似国自然基金
非对称旅行商相关问题的近似算法研究
- 批准号:12301414
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
打张白条去旅行:消费者旅游分期决策的影响机制研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于凸优化近似模型的交会旅行商问题解空间分析方法
- 批准号:12202504
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
灵长类动物内侧颞叶心理旅行构建过程的神经元机制
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
面向大规模复杂任务的多约束着色旅行商问题建模和智能优化算法研究
- 批准号:62203108
- 批准年份:2022
- 资助金额:20 万元
- 项目类别:青年科学基金项目
相似海外基金
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
The Helicase and Nucleic Acid-based Machines Conference: Structure, Mechanism, Regulation and Roles in Human Diseases
解旋酶和核酸机器会议:结构、机制、调节和在人类疾病中的作用
- 批准号:
10753877 - 财政年份:2023
- 资助金额:
$ 1.98万 - 项目类别:
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