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.
正在组织一次编程语言指导讲习班,作为第39届ACM SIGPLAN国际编程语言设计和实施会议(PLDI)的一部分,这是编程语言和编译器领域的主要会议。会议将在宾夕法尼亚州费城举行。该奖项专门支持代表不足的群体的学生,并优先考虑美国公民和永久居民参加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 }}

Michael Carbin其他文献

Reinforcement Learning for General LTL Objectives Is Intractable
针对一般 LTL 目标的强化学习很棘手
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cambridge Yang;Michael S. Littman;Michael Carbin
  • 通讯作者:
    Michael Carbin
Proving acceptability properties of relaxed nondeterministic approximate programs
证明宽松的非确定性近似程序的可接受性
?ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
?ₛ:具有高阶函数和数据类型的可微分编程的可计算语义
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Benjamin Sherman;Jesse Michel;Michael Carbin
  • 通讯作者:
    Michael Carbin
( Relative ) Safety Properties for Relaxed Approximate Programs
松弛近似程序的(相对)安全属性
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Michael Carbin
  • 通讯作者:
    Michael Carbin
Trace types and denotational semantics for sound programmable inference in probabilistic languages
概率语言中声音可编程推理的跟踪类型和指称语义
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alexander K. Lew;Marco F. Cusumano;Benjamin Sherman;Michael Carbin;Vikash K. Mansinghka
  • 通讯作者:
    Vikash K. Mansinghka

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

相似海外基金

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
NSF Student Travel Grant for the 2019 Programming Languages Mentoring Workshop (PLMW) at ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
NSF 学生旅费补助金用于 2019 年 ACM SIGPLAN 编程语言设计与实现会议上的 2019 年编程语言指导研讨会 (PLMW)
  • 批准号:
    1923092
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
NSF 学生旅费资助,用于 2019 年国际函数式编程会议上的编程语言指导研讨会 (PLMW@ICFP)
  • 批准号:
    1940774
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
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
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)
2018 年函数式编程国际会议上的学生编程语言旅行指导研讨会 (PLMW@ICFP)
  • 批准号:
    1841504
  • 财政年份:
    2018
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)
2019 年 ACM SIGACT-SIGPLAN 编程语言原理研讨会学生编程语言指导研讨会 (PLMW@POPL)
  • 批准号:
    1841603
  • 财政年份:
    2018
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了