课题基金 / 基金详情

PLDI 2014 Travel Support

PLDI 2014 Travel Support
PLDI 2014 旅行支持
批准号:
1430129
负责人:
Santosh Nagarakatte
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-04-15 至 2015-03-31
关键词:

项目摘要

项目成果

Santosh Nagarakatte的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
国内基金
海外基金
2014年云南盈江地震前震序列与成核过程研究
  • 批准号:
    41604053
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    18.0万元
  • 批准年份:
    2016
  • 负责人:
    谭毅培
  • 依托单位:
复杂震源构造与地震滑坡分布:2014年云南鲁甸Ms6.5级地震解析
  • 批准号:
    41572194
  • 项目类别:
    面上项目
  • 资助金额:
    67.0万元
  • 批准年份:
    2015
  • 负责人:
    陈晓利
  • 依托单位:
2014年现代生物数学暑期学校
  • 批准号:
    11426027
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    60.0万元
  • 批准年份:
    2014
  • 负责人:
    林伟
  • 依托单位:
应用数学暑期学校(2014)
  • 批准号:
    11426030
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2014
  • 负责人:
    李铁军
  • 依托单位: