Student travel support for POPL 2016
Student travel support for POPL 2016
批准号:
1549324
负责人:
Rastislav Bodik
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-08-01 至 2016-02-29
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Title: Student Travel Support for 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2016This award supports student travel to the 2016 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). The conference takes place in St. Petersburg, Florida, USA, in January 2016. POPL is a forum for the discussion of leading work on all aspects of programming languages and programming systems. The conference has a rich tradition of supporting ideas that have made enduring contributions to the theory, design, implementation or application of programming languages. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. The broader significance and importance includes supporting travel for women and underrepresented minorities, thereby fostering a diverse pool of next generation researchers in this important research area. In particular, students have the opportunity to learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
-
批准号:2219864
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Rastislav Bodik
-
依托单位:
FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models
-
批准号:2122950
-
项目类别:Standard Grant
-
资助金额:$74.97万
-
财政年份:2021
-
负责人:Rastislav Bodik
-
依托单位:
RAPID: Collecting Reliable COVID-19 Datasets in Crisis Conditions
-
批准号:2029457
-
项目类别:Standard Grant
-
资助金额:$7.0万
-
财政年份:2020
-
负责人:Rastislav Bodik
-
依托单位:
FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science
-
批准号:1918027
-
项目类别:Standard Grant
-
资助金额:$9.89万
-
财政年份:2019
-
负责人:Rastislav Bodik
-
依托单位:
Convergence Accelerator Phase I (RAISE): Linking the Open Knowledge Network to the Web with End-User Programming
-
批准号:1936731
-
项目类别:Standard Grant
-
资助金额:$99.47万
-
财政年份:2019
-
负责人:Rastislav Bodik
-
依托单位:
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis
-
批准号:1723352
-
项目类别:Standard Grant
-
资助金额:$85.0万
-
财政年份:2017
-
负责人:Rastislav Bodik
-
依托单位:
SI2-SSE: Algorithms and Tools for Data-Driven Executable Biology
-
批准号:1535191
-
项目类别:Standard Grant
-
资助金额:$49.98万
-
财政年份:2015
-
负责人:Rastislav Bodik
-
依托单位:
Student travel support for POPL 2016
-
批准号:1625220
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2015
-
负责人:Rastislav Bodik
-
依托单位:
SHF: Small: Programming Abstractions for Algorithmic Software Synthesis
-
批准号:0916351
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:Rastislav Bodik
-
依托单位:
SoD-TEAM: Programming by Sketching
-
批准号:0613997
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Rastislav Bodik
-
依托单位:
CT-ISG: Implementing Provably Correct High-Performance Ciphers with Sketching
-
批准号:0524815
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2005
-
负责人:Rastislav Bodik
-
依托单位:
CAREER: Scalable Compiler Optimizations for New Software
-
批准号:0243657
-
项目类别:Continuing Grant
-
资助金额:$24.15万
-
财政年份:2002
-
负责人:Rastislav Bodik
-
依托单位:
CAREER: Scalable Compiler Optimizations for New Software
-
批准号:0093275
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2001
-
负责人:Rastislav Bodik
-
依托单位:
海外基金