课题基金 / 基金详情

PLDI 2015 Travel Support

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

项目摘要

项目成果

Santosh Nagarakatte的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
国内基金
海外基金
基于致灾因子动态变化的震后长时序滑坡危险性研究——以2015年尼泊尔地震为例
  • 批准号:
    42307268
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30.00万元
  • 批准年份:
    2023
  • 负责人:
    田颖颖
  • 依托单位:
2015年以来格陵兰海溢流快速减弱的机理与影响
  • 批准号:
    --
  • 项目类别:
    面上项目
  • 资助金额:
    56万元
  • 批准年份:
    2022
  • 负责人:
    王晓宇
  • 依托单位:
青藏高原及周边2002-2015地下水储量变化的分离研究
  • 批准号:
    42004007
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    24.0万元
  • 批准年份:
    2020
  • 负责人:
    相龙伟
  • 依托单位:
2015年尼泊尔地震震后形变动力学机理及岩石流变性质研究
  • 批准号:
    42074116
  • 项目类别:
    面上项目
  • 资助金额:
    59.0万元
  • 批准年份:
    2020
  • 负责人:
    赵斌
  • 依托单位: