Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
2018 年 ACM SIGPLAN 编程语言设计与实现会议上的编程语言指导研讨会
基本信息
- 批准号:1832649
- 负责人:
- 金额:$ 1.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-05-01 至 2019-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
A Programming Languages Mentoring Workshop (PLMW) is being organized as part of the 39th ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), the premier conference in the areas of programming languages and compilers. The conference will be held in Philadelphia, Pennsylvania. 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 compilers.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)是第39届ACM SIGPLAN国际编程语言设计与实施国际会议(PLDI)的一部分,该国际编程语言设计与实施会议是编程语言和编译器领域的主要会议。会议将在宾夕法尼亚州的费城举行。该奖项专门为来自代表性不足的团体的学生提供支持,并优先考虑美国公民和永久居民参加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 }}
Michael Carbin其他文献
Proving acceptability properties of relaxed nondeterministic approximate programs
证明宽松的非确定性近似程序的可接受性
- DOI:
10.1145/2254064.2254086 - 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
Michael Carbin;Deokhwan Kim;Sasa Misailovic;M. Rinard - 通讯作者:
M. Rinard
Reinforcement Learning for General LTL Objectives Is Intractable
针对一般 LTL 目标的强化学习很棘手
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Cambridge Yang;Michael S. Littman;Michael Carbin - 通讯作者:
Michael Carbin
( Relative ) Safety Properties for Relaxed Approximate Programs
松弛近似程序的(相对)安全属性
- DOI:
- 发表时间:
2012 - 期刊:
- 影响因子:0
- 作者:
Michael Carbin - 通讯作者:
Michael Carbin
?ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
?ₛ:具有高阶函数和数据类型的可微分编程的可计算语义
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Benjamin Sherman;Jesse Michel;Michael Carbin - 通讯作者:
Michael Carbin
BioMedLM: A 2.7B Parameter Language Model Trained On Biomedical Text
BioMedLM:基于生物医学文本训练的 2.7B 参数语言模型
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Elliot Bolton;Abhinav Venigalla;Michihiro Yasunaga;David Hall;Betty Xiong;Tony Lee;R. Daneshjou;Jonathan Frankle;Percy Liang;Michael Carbin;Christopher D. Manning - 通讯作者:
Christopher D. Manning
Michael Carbin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Carbin', 18)}}的其他基金
SPX: Collaborative Research: NSF Scalable Parallelism in the Extreme (SPX) Workshop on Future Directions for Parallel and Distributed Computing
SPX:协作研究:NSF 可扩展并行性极限 (SPX) 并行和分布式计算未来方向研讨会
- 批准号:
1931313 - 财政年份:2019
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
CAREER: A Programming Language for Developing Software to Execute Reliably on Unreliable Hardware
职业:一种用于开发在不可靠的硬件上可靠执行的软件的编程语言
- 批准号:
1751011 - 财政年份:2018
- 资助金额:
$ 1.5万 - 项目类别:
Continuing Grant
相似国自然基金
成人型弥漫性胶质瘤患者语言功能可塑性研究
- 批准号:82303926
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
拷贝数突变致良性癫痫伴中央颞区棘波语言障碍的认知心理学及神经影 像学研究
- 批准号:82371201
- 批准年份:2023
- 资助金额:47 万元
- 项目类别:面上项目
通过检索提高大语言模型的可靠性
- 批准号:62306177
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
语言感知的多语言神经机器翻译模型优化
- 批准号:62306210
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于结构语言模型的蛋白质表征及功能预测方法研究
- 批准号:62302311
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
- 批准号:
2328059 - 财政年份:2023
- 资助金额:
$ 1.5万 - 项目类别:
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.5万 - 项目类别:
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.5万 - 项目类别:
Standard Grant
Travel: Student Travel Grant for the Programming Languages Mentoring Workshop at PLDI 2022
旅费:PLDI 2022 编程语言指导研讨会的学生旅费补助
- 批准号:
2227746 - 财政年份:2022
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant
NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)
NSF 学生旅费补助金用于 2021 年 POPL 编程语言指导研讨会 (PLMW@POPL)
- 批准号:
2041337 - 财政年份:2020
- 资助金额:
$ 1.5万 - 项目类别:
Standard Grant