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
- 负责人:
- 金额:$ 4.51万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-02-01 至 2026-01-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
A Programming Languages Mentoring Workshop (PLMW) is organized as part of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. The conference and workshop will be held in Orlando, Florida, in 2023; in Copenhagen, Denmark, in 2024; and in South Korea in 2025. 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 PLDI 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 programming languages and programming systems research.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语言设计和实施方面的ACM Sigplan会议(PLDI)的一部分,这是编程语言和编程系统研究领域的总理论坛,涵盖了设计,实施,理论,理论,应用和绩效领域。会议和研讨会将于2023年在佛罗里达州的奥兰多举行; 2024年在丹麦哥本哈根;在2025年,在韩国。该奖项专门为人数不足的团体的学生提供支持,并优先考虑美国公民和永久居民参加PLDI会议之外的指导研讨会。该奖项的影响与扩大计算的参与有关,为学生提供了从领先的研究人员那里获得指导的机会,以及在编程语言和编程系统研究中建立下一代研究人员和知识渊博的从业人员。该奖项反映了NSF的法定任务,并通过使用该基金会的知识优点和广泛影响来评估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 }}
Limin Jia其他文献
An integrated model for train rescheduling and station track assignment
列车重新调度和车站轨道分配的集成模型
- DOI:
10.1049/itr2.12001 - 发表时间:
2020-11 - 期刊:
- 影响因子:2.7
- 作者:
Xuelei Meng;Yahui Wang;Wanli Xiang;Limin Jia - 通讯作者:
Limin Jia
Policy auditing over incomplete logs: theory, implementation and applications
不完整日志的策略审计:理论、实现和应用
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
D. Garg;Limin Jia;Anupam Datta - 通讯作者:
Anupam Datta
Reliability of high-speed electric multiple units in terms of the expanded multi-state flow network
扩展多态流网络下高速动车组的可靠性
- DOI:
10.1016/j.ress.2022.108608 - 发表时间:
2022-05 - 期刊:
- 影响因子:8.1
- 作者:
Shuai Lin;Limin Jia;Hengrun Zhang;Pengzhu Zhang - 通讯作者:
Pengzhu Zhang
Energy-Efficient Speed Profile Approximation: An Optimal Switching Region-Based Approach with Adaptive Resolution
节能的速度曲线近似:具有自适应分辨率的基于最佳开关区域的方法
- DOI:
10.3390/en9100762 - 发表时间:
2016-09 - 期刊:
- 影响因子:3.2
- 作者:
Limin Jia;Shaofeng Lu;Yunxiao Fu;Ji Ge - 通讯作者:
Ji Ge
Monitors and blame assignment for higher-order session types
高阶会话类型的监控和责任分配
- DOI:
10.1145/2837614.2837662 - 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
Limin Jia;Hannah Gommerstadt;F. Pfenning - 通讯作者:
F. Pfenning
Limin Jia的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Limin Jia', 18)}}的其他基金
Collaborative Research: SaTC: CORE: Small: Hyperproperty-based Enforcement of Information-flow Security
协作研究:SaTC:核心:小型:基于超产权的信息流安全执行
- 批准号:
2245115 - 财政年份:2023
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究:SaTC:核心:中:迈向安全、私密和可靠的家庭自动化:从形式建模到用户评估
- 批准号:
2114148 - 财政年份:2021
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2019 IEEE Computer Security Foundations Symposium (CSF19)
2019 年 IEEE 计算机安全基金会研讨会 (CSF19) 的 NSF 学生旅费补助
- 批准号:
1901636 - 财政年份:2019
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
SaTC: CORE: Medium: Towards a Usable, Practical, and Provably Secure Browser Infrastructure
SaTC:核心:中:迈向可用、实用且可证明安全的浏览器基础设施
- 批准号:
1704542 - 财政年份:2017
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: DEFIND: DEclarative Formal Interactive Network Design
NeTS:媒介:协作研究:DEFIND:声明式形式交互网络设计
- 批准号:
1513961 - 财政年份:2015
- 资助金额:
$ 4.51万 - 项目类别:
Continuing Grant
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks
SHF:Small:协作研究:异构软件协议栈的组合验证
- 批准号:
1422705 - 财政年份:2014
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
TWC: Small: Provably Enforcing Practical Multi-Layer Policies in Today's Extensible Software Platforms
TWC:小型:在当今的可扩展软件平台中可证明地执行实用的多层策略
- 批准号:
1320470 - 财政年份:2013
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols
TC:小型:协作研究:建立分析和实施安全路由协议的正式框架
- 批准号:
1115706 - 财政年份:2011
- 资助金额:
$ 4.51万 - 项目类别:
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
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
- 批准号:
2409934 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
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.51万 - 项目类别:
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.51万 - 项目类别:
Standard Grant