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 编程语言设计与实现 (PLDI) 会议的一部分,该会议是编程语言和编程系统研究领域的首要论坛,涵盖设计、实现、理论等领域、应用程序和性能。会议和研讨会将于 2023 年在佛罗里达州奥兰多举行; 2024 年在丹麦哥本哈根举行;以及 2025 年在韩国。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加除 PLDI 会议之外的指导研讨会。该奖项的影响涉及扩大对计算的参与,为学生提供接受领先研究人员指导的机会,以及在编程语言和编程系统研究方面培养下一代研究人员和知识渊博的实践者。该奖项反映了 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其他文献
Morphological Studies of Lymphatic Labyrinths in the Rat Mesenteric Lymph Node
大鼠肠系膜淋巴结淋巴迷路的形态学研究
- DOI:
10.1002/ar.22509 - 发表时间:
2012-08-01 - 期刊:
- 影响因子:0
- 作者:
Limin Jia;Zunjiang Xie;Jinhua Zheng;Li Liu;Y. He;Fu Liu;Yechun He - 通讯作者:
Yechun He
Research on a kind of hybrid systems and its application in coke oven automatic heating control
一种混合系统研究及其在焦炉自动加热控制中的应用
- DOI:
10.1109/wcica.2002.1022065 - 发表时间:
2002-11-07 - 期刊:
- 影响因子:0
- 作者:
Junwei Gao;Yangdong Ye;T. Shi;Limin Jia - 通讯作者:
Limin Jia
Self-assembling Bioadhesive Inspired by the Fourth Repetitive Sequence of Balanus albicostatus Cement Protein 20 kDa (Balcp-20 k)
受白龟头胶结蛋白 20 kDa (Balcp-20 k) 第四重复序列启发的自组装生物粘合剂
- DOI:
10.1007/s10126-022-10177-1 - 发表时间:
2022-11-02 - 期刊:
- 影响因子:3
- 作者:
Limin Jia;Yabiao Yu;Jinyang Zheng;Hao Zhou;Qiang Liu;Wen Wang;Xinxin Liu;Xiuming Zhang;Dongtao Ge;Wei Shi;Yanan Sun - 通讯作者:
Yanan Sun
Intrapleural Hyperthermic Perfusion for Malignant Pleural Effusion Under Video-Assisted Thoracoscopic Surgery
电视胸腔镜手术中胸腔热灌注治疗恶性胸腔积液
- DOI:
10.21203/rs.3.rs-208061/v1 - 发表时间:
2021-02-12 - 期刊:
- 影响因子:0
- 作者:
Xinxin Wang;M. Kong;Jiang Jin;Yulian Lin;Limin Jia;M. Ye - 通讯作者:
M. Ye
A Program Logic for Verifying Secure Routing Protocols
验证安全路由协议的程序逻辑
- DOI:
10.2168/lmcs-11(4:19)2015 - 发表时间:
2015-10-13 - 期刊:
- 影响因子:0
- 作者:
Cheng Chen;Limin Jia;Hao Xu;Cheng Luo;Wenchao Zhou;B. T. Loo - 通讯作者:
B. T. Loo
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
相似国自然基金
面向小样本教育场景的学生知识追踪方法研究
- 批准号:62307006
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
湿热地区高校宿舍多物种霉菌共存对学生过敏性鼻炎的健康影响机理研究
- 批准号:52308086
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
改性卤氧化铋基纳米阵列微流控-光电化学生物传感器构建与肝癌标志物检测应用研究
- 批准号:22304068
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
混合课堂学生认知投入量化机制与干预策略研究
- 批准号:62377025
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基础学科拔尖学生发展及其影响机制的追踪研究
- 批准号:72304231
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
- 批准号:
2410618 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for the 2024 ACM International Conference on Mobile Systems, Applications, and Services (MobiSys)
旅行:2024 年 ACM 国际移动系统、应用程序和服务会议 (MobiSys) 的 NSF 学生旅行补助金
- 批准号:
2414460 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 ISOC Symposium on Vehicle Security and Privacy (VehicleSec)
旅行:2024 年 ISOC 车辆安全和隐私研讨会 (VehicleSec) 的 NSF 学生旅行补助金
- 批准号:
2419978 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
- 批准号:
2420866 - 财政年份:2024
- 资助金额:
$ 4.51万 - 项目类别:
Standard Grant