NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)

NSF 2017 年编程语言实施暑期学校学生旅费补助金 (PLISS)

基本信息

  • 批准号:
    1723053
  • 负责人:
  • 金额:
    $ 1.75万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-04-01 至 2017-12-31
  • 项目状态:
    已结题

项目摘要

Title: 2017 Programming Language Implementation Summer School (PLISS) This award provides student travel and subsistence for the 2017 Programming Language Implementation Summer School (PLISS). This summer school provides an important and valuable educational opportunity for students to study topics related to designs and implementations of programming languages. The award's broader significance and importance include building international community, broadening participation, and enhancing education of US students, including women and underrepresented minorities. The school also provides students exposure to and multiple opportunities to interact with leading-edge research and researchers. By supporting US-based students, the school thus imparts training to the next generation of programming languages, compilers and software engineering researchers in both industry and academia, as well as to future application developers.
名称:2017 年编程语言实施暑期学校 (PLISS) 该奖项为 2017 年编程语言实施暑期学校 (PLISS) 的学生提供旅费和生活费。这个暑期学校为学生提供了一个重要且有价值的教育机会,学习与编程语言的设计和实现相关的主题。该奖项具有更广泛的意义和重要性,包括建设国际社区、扩大参与范围以及加强对美国学生(包括女性和代表性不足的少数族裔)的教育。学校还为学生提供接触前沿研究和研究人员的机会并与他们互动。通过支持美国学生,学校为工业界和学术界的下一代编程语言、编译器和软件工程研究人员以及未来的应用程序开发人员提供培训。

项目成果

期刊论文数量(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 }}

Jan Vitek其他文献

Reusing Just-in-Time Compiled Code
重用即时编译的代码
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Meetesh Kalpesh Mehta;Sebastián Krynski;Hugo Musso Gualandi;Manas Thakur;Jan Vitek
  • 通讯作者:
    Jan Vitek
Julia’s efficient algorithm for subtyping unions and covariant tuples (Pearl)
Julia 用于子类型联合和协变元组的高效算法 (Pearl)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Benjamin Chung;Francesco Zappa;Nardelli Inria;Jan Vitek;Francesco Zappa Nardelli
  • 通讯作者:
    Francesco Zappa Nardelli
Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
第一届面向对象编程中的别名、限制和所有权国际研讨会 (IWACO) 论文集
  • DOI:
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dave Clarke;Chandrasekhar Boyapati;Robert Lee;Richard Paige;J. Ostroff;Phillip Brooke;James Noble;Robert Biddle;E. Tempero;A. Potanin;Tian Zhao;Jens Palsberg;Jan;Sophia Drosspoulou;Workshop Organisers;Jonathan Aldrich;Doug Lea;Suny Oswego;David Naumann;Queen Mary;Martin Rinard;Jan Vitek;Anindya Banerjee;S. Drossopoulou;Matthew Smith;C. Pierik;Tobias Wrigstad;P. O 'hearn;John Tang Boyland;M. Fähndrich;K. Rustan;M. Leino;Scott F Smith;Mark Thober Discussion
  • 通讯作者:
    Mark Thober Discussion

Jan Vitek的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Jan Vitek', 18)}}的其他基金

SHF: Small: Predictable Performance for Just-in-Time Compilation
SHF:小型:可预测的即时编译性能
  • 批准号:
    2139612
  • 财政年份:
    2022
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
CCRI:ENS:协作研究:增强 R 的可扩展性和部署
  • 批准号:
    1925644
  • 财政年份:
    2019
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
SHF: Small: Program Analysis for Data Science
SHF:小型:数据科学程序分析
  • 批准号:
    1910850
  • 财政年份:
    2019
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
SHF:小型:协作研究:Julia 类型系统的合理重建
  • 批准号:
    1908389
  • 财政年份:
    2019
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
SHF:达尔文计划_迈向有原则的语言进化
  • 批准号:
    1544542
  • 财政年份:
    2016
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
ECOOP Travel support
ECOOP 旅行支持
  • 批准号:
    1643041
  • 财政年份:
    2016
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
SHF: Small: Foundations of Just-in-Time Compilation
SHF:小型:即时编译的基础
  • 批准号:
    1618732
  • 财政年份:
    2016
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
European Conference on Object Oriented Programming
欧洲面向对象编程会议
  • 批准号:
    1521864
  • 财政年份:
    2015
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
CPS: Medium: Robust Distributed Wind Power Engineering
CPS:中:稳健的分布式风电工程
  • 批准号:
    1523426
  • 财政年份:
    2014
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
CSR:CC:小型:协作研究:大规模数据分析的语言和运行时支持
  • 批准号:
    1460683
  • 财政年份:
    2014
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant

相似国自然基金

液相硝酸铵体系棕色碳光化学生成机制及对大气氧化性的影响
  • 批准号:
    22376029
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
面向大学生价值观引导的智能算法分发信息服务方法与机制研究
  • 批准号:
    72304090
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
精准碱基编辑的化学生物学研究
  • 批准号:
    22337001
  • 批准年份:
    2023
  • 资助金额:
    230 万元
  • 项目类别:
    重点项目
MUC15通过整合素调控胰腺癌细胞迁移和侵袭的力学生物学机制
  • 批准号:
    12372316
  • 批准年份:
    2023
  • 资助金额:
    53 万元
  • 项目类别:
    面上项目
基于机器学习的大学生自杀风险识别研究
  • 批准号:
    32300917
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
  • 批准号:
    2413092
  • 财政年份:
    2024
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 Digital Forensics Research Conference (DFRWS)
旅行:2024 年数字取证研究会议 (DFRWS) 的 NSF 学生旅行补助金
  • 批准号:
    2409934
  • 财政年份:
    2024
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for Real World Cryptography 2024 (RWC'24)
旅行:2024 年现实世界密码学 NSF 学生旅行补助金 (RWC24)
  • 批准号:
    2410618
  • 财政年份:
    2024
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
  • 批准号:
    2416160
  • 财政年份:
    2024
  • 资助金额:
    $ 1.75万
  • 项目类别:
    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
  • 资助金额:
    $ 1.75万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了