NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
批准号:
1723053
负责人:
Jan Vitek
金额:
$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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Predictable Performance for Just-in-Time Compilation
-
批准号:2139612
-
项目类别:Standard Grant
-
资助金额:$49.96万
-
财政年份:2022
-
负责人:Jan Vitek
-
依托单位:
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
-
批准号:1925644
-
项目类别:Standard Grant
-
资助金额:$179.97万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Program Analysis for Data Science
-
批准号:1910850
-
项目类别:Standard Grant
-
资助金额:$49.97万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
-
批准号:1908389
-
项目类别:Standard Grant
-
资助金额:$24.72万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
-
批准号:1544542
-
项目类别:Standard Grant
-
资助金额:$109.97万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
ECOOP Travel support
-
批准号:1643041
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Foundations of Just-in-Time Compilation
-
批准号:1618732
-
项目类别:Standard Grant
-
资助金额:$44.98万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
European Conference on Object Oriented Programming
-
批准号:1521864
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2015
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1523426
-
项目类别:Standard Grant
-
资助金额:$47.44万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1460683
-
项目类别:Standard Grant
-
资助金额:$13.7万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1218348
-
项目类别:Standard Grant
-
资助金额:$24.66万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
SI2: Conceptualization: Dynamic Languages for Scalable Data Analytics
-
批准号:1216853
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1136045
-
项目类别:Standard Grant
-
资助金额:$160.0万
-
财政年份:2011
-
负责人:Jan Vitek
-
依托单位:
Third International Summer School on Trends in Concurrency
-
批准号:1024387
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
EAGER: Foundations of Data-Centric Concurrency Control
-
批准号:1048398
-
项目类别:Standard Grant
-
资助金额:$11.0万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
II-New: A Computational Infrastructure for Scalable Transactional Memory Abstractions in Managed Languages
-
批准号:0958465
-
项目类别:Standard Grant
-
资助金额:$55.63万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
VEESC: Virtual Execution Environments for Scientific Computing Workshop
-
批准号:1042905
-
项目类别:Standard Grant
-
资助金额:$4.68万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SI2-SSE: A Tracing Virtual Machine for Statistical Computing
-
批准号:1047962
-
项目类别:Standard Grant
-
资助金额:$48.91万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java
-
批准号:0916310
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Jan Vitek
-
依托单位:
CPA-SEL-T: Collaborative Research: Unified Open Source Transactional Infrastructure
-
批准号:0811631
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2008
-
负责人:Jan Vitek
-
依托单位:
海外基金