PLDI 2015 Travel Support
PLDI 2015 Travel Support
批准号:
1538838
负责人:
Santosh Nagarakatte
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-06-01 至 2016-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This award provides student travel support for the 36th ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2015) that will held from June 13-17, 2015 in Portland, Oregon. PLDI is the top technical forum for the presentation of new and exciting advances in programming languages and compiler research. The symposium covers a wide range of topics in the field, including: Language designs and extensions; Static and dynamic analysis of programs, Domain-specific languages and tools; Type systems and program logics; Program transformation and optimization; Checking or improving the security or correctness of programs; Memory management; Parallelism, both implicit and explicit; Performance analysis, evaluation, and tools; Novel programming models; Debugging techniques and tools; Program understanding; Interaction of compilers/runtimes with underlying systems; Program synthesis. Students will be able to attend all events associated with the conference, and a rich set of workshops and tutorials. The NSF support ensures participation of US students while paying attention to underrepresented groups. To broaden participation, the grant is intended specifically to increase the number of students who cannot otherwise attend, that is, students who do not have any financial support whatsoever, e.g., from their advisors, departments, universities. The broader impacts include building international community and cooperation in the research areas of the conference, and enhancing education of students with exposure to and interaction with leading-edge research and researchers. This award will therefore help train the next generation of language designers, compiler implementers and systems researchers.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing
-
批准号:2319661
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2023
-
负责人:Santosh Nagarakatte
-
依托单位:
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries
-
批准号:2110861
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2021
-
负责人:Santosh Nagarakatte
-
依托单位:
FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries
-
批准号:1917897
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2019
-
负责人:Santosh Nagarakatte
-
依托单位:
SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point
-
批准号:1908798
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2019
-
负责人:Santosh Nagarakatte
-
依托单位:
CAREER: Semantics, Abstractions, and Tools for a Pragmatic Verified LLVM Compiler
-
批准号:1453086
-
项目类别:Continuing Grant
-
资助金额:$54.5万
-
财政年份:2015
-
负责人:Santosh Nagarakatte
-
依托单位:
PLDI 2014 Travel Support
-
批准号:1430129
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2014
-
负责人:Santosh Nagarakatte
-
依托单位:
SaTC: Hardware-Assisted Methods for Operating System Integrity
-
批准号:1441724
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Santosh Nagarakatte
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于致灾因子动态变化的震后长时序滑坡危险性研究——以2015年尼泊尔地震为例
-
批准号:42307268
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:田颖颖
-
依托单位:
2015年以来格陵兰海溢流快速减弱的机理与影响
-
批准号:--
-
项目类别:面上项目
-
资助金额:56万元
-
批准年份:2022
-
负责人:王晓宇
-
依托单位:
青藏高原及周边2002-2015地下水储量变化的分离研究
-
批准号:42004007
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:相龙伟
-
依托单位:
2015年尼泊尔地震震后形变动力学机理及岩石流变性质研究
-
批准号:42074116
-
项目类别:面上项目
-
资助金额:59.0万元
-
批准年份:2020
-
负责人:赵斌
-
依托单位:
卷柏属同穗亚属Selaginella subg. Stachygynandrum sensu Zhou & Zhang (2015) 的分子系统学和分类学研究
-
批准号:31900186
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2019
-
负责人:周新茂
-
依托单位:
2015年Mw6.4 皮山地震震后变形及其对岩石圈流变结构的制约
-
批准号:41904094
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2019
-
负责人:王洵
-
依托单位:
中国援外建筑研究 1960-2015
-
批准号:51878584
-
项目类别:面上项目
-
资助金额:61.0万元
-
批准年份:2018
-
负责人:薛求理
-
依托单位:
面向MOSAIC气溶胶机制的GSI同化系统开发及对2015-2017年冬季京津冀地区污染变化特征的研究
-
批准号:41807312
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:陈丹
-
依托单位:
基于大地测量观测的 2015年 Mw 7.8尼泊尔地震震后变形研究
-
批准号:41674023
-
项目类别:面上项目
-
资助金额:70.0万元
-
批准年份:2016
-
负责人:刁法启
-
依托单位:
2015年尼泊尔地震影响珠峰地区垂向变化的大地测量监测及反演研究
-
批准号:41674015
-
项目类别:面上项目
-
资助金额:70.0万元
-
批准年份:2016
-
负责人:陈刚
-
依托单位: