PLDI 2014 Travel Support
PLDI 2014 Travel Support
批准号:
1430129
负责人:
Santosh Nagarakatte
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-04-15 至 2015-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This award provides student travel support for the 35th ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI 2014) that will be held from June 9-13, 2014, in Edinburgh, Scotland. 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 numbers 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 2015 Travel Support
-
批准号:1538838
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2015
-
负责人:Santosh Nagarakatte
-
依托单位:
SaTC: Hardware-Assisted Methods for Operating System Integrity
-
批准号:1441724
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Santosh Nagarakatte
-
依托单位:
国内基金
海外基金
登录
查看更多内容
2014年云南盈江地震前震序列与成核过程研究
-
批准号:41604053
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2016
-
负责人:谭毅培
-
依托单位:
复杂震源构造与地震滑坡分布:2014年云南鲁甸Ms6.5级地震解析
-
批准号:41572194
-
项目类别:面上项目
-
资助金额:67.0万元
-
批准年份:2015
-
负责人:陈晓利
-
依托单位:
2014年现代生物数学暑期学校
-
批准号:11426027
-
项目类别:数学天元基金项目
-
资助金额:60.0万元
-
批准年份:2014
-
负责人:林伟
-
依托单位:
应用数学暑期学校(2014)
-
批准号:11426030
-
项目类别:数学天元基金项目
-
资助金额:10.0万元
-
批准年份:2014
-
负责人:李铁军
-
依托单位:
2014年西部地区统计学青年教师暑期培训
-
批准号:11426005
-
项目类别:数学天元基金项目
-
资助金额:60.0万元
-
批准年份:2014
-
负责人:唐年胜
-
依托单位:
数学天元基金统计学研究生暑期学校2014
-
批准号:11426025
-
项目类别:数学天元基金项目
-
资助金额:60.0万元
-
批准年份:2014
-
负责人:史宁中
-
依托单位:
中国运筹学会2014年学术交流年会
-
批准号:11426229
-
项目类别:数学天元基金项目
-
资助金额:9.0万元
-
批准年份:2014
-
负责人:苗正科
-
依托单位:
2014年中国数学会学术年会
-
批准号:11426016
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2014
-
负责人:李兴校
-
依托单位:
2014 数学之星夏令营
-
批准号:11426010
-
项目类别:数学天元基金项目
-
资助金额:35.0万元
-
批准年份:2014
-
负责人:冯荣权
-
依托单位:
台湾海峡科学考察实验研究(2014年)
-
批准号:41349904
-
项目类别:专项基金项目
-
资助金额:270.0万元
-
批准年份:2013
-
负责人:张钒
-
依托单位: