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其他文献
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
Scoped types and aspects for real-time Java memory management
- DOI:
10.1007/s11241-007-9024-3 - 发表时间:
2007-05-23 - 期刊:
- 影响因子:1.300
- 作者:
Chris Andreae;Yvonne Coady;Celina Gibbs;James Noble;Jan Vitek;Tian Zhao - 通讯作者:
Tian Zhao
Reusing Just-in-Time Compiled Code
重用即时编译的代码
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Meetesh Kalpesh Mehta;Sebastián Krynski;Hugo Musso Gualandi;Manas Thakur;Jan Vitek - 通讯作者:
Jan Vitek
The JavaSeal Mobile Agent Kernel
- DOI:
10.1023/a:1012715226170 - 发表时间:
2001-12-01 - 期刊:
- 影响因子:2.600
- 作者:
Ciarán Bryce;Jan Vitek - 通讯作者:
Jan Vitek
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
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
相似海外基金
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
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 1.75万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)
旅费:2024 年 IEEE 国际量子计算与工程会议 (QCE) 的 NSF 学生旅费补助金
- 批准号:
2417602 - 财政年份:2024
- 资助金额:
$ 1.75万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 IEEE Symposium on Security and Privacy (IEEE S&P 2024)
旅行:2024 年 IEEE 安全与隐私研讨会 (IEEE S
- 批准号:
2419095 - 财政年份:2024
- 资助金额:
$ 1.75万 - 项目类别:
Standard Grant
Travel: NSF Student Travel Grant for 2024 Academy of Management Annual Meeting (AOM)
旅行:2024 年管理学院年会 (AOM) 的 NSF 学生旅行补助金
- 批准号:
2420866 - 财政年份:2024
- 资助金额:
$ 1.75万 - 项目类别:
Standard Grant
Conference: SHF: Small: NSF Student Travel Grant for 2024 IEEE VLSI Test Symposium
会议:SHF:小型:2024 年 IEEE VLSI 测试研讨会 NSF 学生旅费补助金
- 批准号:
2334367 - 财政年份:2024
- 资助金额:
$ 1.75万 - 项目类别:
Standard Grant