PLDI 2014 Travel Support

PLDI 2014 旅行支持

基本信息

  • 批准号:
    1430129
  • 负责人:
  • 金额:
    $ 2万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    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.
该奖项为将于2014年6月9日至13日在苏格兰爱丁堡举行的第35届ACM SIGPLAN编程语言设计与实现研讨会(PLDI 2014)提供学生旅行支持。PLDI是展示编程语言和编译器研究方面令人兴奋的新进展的顶级技术论坛。研讨会涵盖了该领域的广泛主题,包括:语言设计和扩展;静态和动态分析程序,特定领域的语言和工具;类型系统和程序逻辑;方案改造与优化;检查或改进程序的安全性或正确性;内存管理;并行,包括隐含的和明确的;绩效分析、评估和工具;新颖的编程模型;调试技术和工具;程序理解;编译器/运行时与底层系统的交互;程序合成。学生将能够参加与会议相关的所有活动,以及丰富的研讨会和教程。美国国家科学基金会的支持确保了美国学生的参与,同时关注了代表性不足的群体。为了扩大参与范围,该助学金专门用于增加无法入学的学生人数,即没有任何经济支持的学生,例如他们的导师、院系、大学。更广泛的影响包括在会议的研究领域建立国际社会和合作,以及通过接触前沿研究和研究人员加强对学生的教育和互动。因此,该奖项将有助于培养下一代语言设计者、编译器实现者和系统研究人员。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Santosh Nagarakatte其他文献

Termination-Checking for LLVM Peephole Optimizations
LLVM 窥孔优化的终止检查
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
Alive-FP:LLVM 中基于浮点的窥孔优化的自动验证
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    David Menendez;Santosh Nagarakatte;Aarti Gupta
  • 通讯作者:
    Aarti Gupta
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM
Alive-Infer:LLVM 中窥孔优化的数据驱动前提条件推理
On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph
使用增强型 OpenMP 系列并行图进行动态数据竞争检测
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Nader Boushehrinejadmoradi;Adarsh Yoga;Santosh Nagarakatte
  • 通讯作者:
    Santosh Nagarakatte
Hardware-Enforced Comprehensive Memory Safety
硬件强制的全面内存安全
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    3.6
  • 作者:
    Santosh Nagarakatte;Milo M. K. Martin;Steve Zdancewic
  • 通讯作者:
    Steve Zdancewic

Santosh Nagarakatte的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Santosh Nagarakatte', 18)}}的其他基金

Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing
合作研究:DOE/NSF 科学计算正确性研讨会
  • 批准号:
    2319661
  • 财政年份:
    2023
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries
SHF:Small:生成正确舍入的数学库的技术
  • 批准号:
    2110861
  • 财政年份:
    2021
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries
FMITF:轨道 II:密码库汇编实现的自动验证
  • 批准号:
    1917897
  • 财政年份:
    2019
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point
SHF:小:浮点替代方案的形式主义、实现和验证程序
  • 批准号:
    1908798
  • 财政年份:
    2019
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
CAREER: Semantics, Abstractions, and Tools for a Pragmatic Verified LLVM Compiler
职业:经过验证的实用 LLVM 编译器的语义、抽象和工具
  • 批准号:
    1453086
  • 财政年份:
    2015
  • 资助金额:
    $ 2万
  • 项目类别:
    Continuing Grant
PLDI 2015 Travel Support
PLDI 2015 旅行支持
  • 批准号:
    1538838
  • 财政年份:
    2015
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
SaTC: Hardware-Assisted Methods for Operating System Integrity
SaTC:操作系统完整性的硬件辅助方法
  • 批准号:
    1441724
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant

相似国自然基金

2014年云南盈江地震前震序列与成核过程研究
  • 批准号:
    41604053
  • 批准年份:
    2016
  • 资助金额:
    18.0 万元
  • 项目类别:
    青年科学基金项目
复杂震源构造与地震滑坡分布:2014年云南鲁甸Ms6.5级地震解析
  • 批准号:
    41572194
  • 批准年份:
    2015
  • 资助金额:
    67.0 万元
  • 项目类别:
    面上项目
2014年现代生物数学暑期学校
  • 批准号:
    11426027
  • 批准年份:
    2014
  • 资助金额:
    60.0 万元
  • 项目类别:
    数学天元基金项目
应用数学暑期学校(2014)
  • 批准号:
    11426030
  • 批准年份:
    2014
  • 资助金额:
    10.0 万元
  • 项目类别:
    数学天元基金项目
2014年西部地区统计学青年教师暑期培训
  • 批准号:
    11426005
  • 批准年份:
    2014
  • 资助金额:
    60.0 万元
  • 项目类别:
    数学天元基金项目
数学天元基金统计学研究生暑期学校2014
  • 批准号:
    11426025
  • 批准年份:
    2014
  • 资助金额:
    60.0 万元
  • 项目类别:
    数学天元基金项目
中国运筹学会2014年学术交流年会
  • 批准号:
    11426229
  • 批准年份:
    2014
  • 资助金额:
    9.0 万元
  • 项目类别:
    数学天元基金项目
2014年中国数学会学术年会
  • 批准号:
    11426016
  • 批准年份:
    2014
  • 资助金额:
    20.0 万元
  • 项目类别:
    数学天元基金项目
2014 数学之星夏令营
  • 批准号:
    11426010
  • 批准年份:
    2014
  • 资助金额:
    35.0 万元
  • 项目类别:
    数学天元基金项目
台湾海峡科学考察实验研究(2014年)
  • 批准号:
    41349904
  • 批准年份:
    2013
  • 资助金额:
    270.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

SIINN JTC 2014 Tanguay Travel
SIINN JTC 2014 唐圭旅游
  • 批准号:
    1556081
  • 财政年份:
    2015
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Travel Support Request for Institute for Advanced Study Workshop on Physics Approach to Simplifying Complexity in Biology; Hong Kong University, China; December 15-19, 2014.
高等研究院关于简化生物学复杂性的物理方法研讨会的差旅支持请求;
  • 批准号:
    1420602
  • 财政年份:
    2015
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Nottingham PATT-Linked Travel Grant 2014 - 2016
诺丁汉 PATT 相关旅行补助金 2014 - 2016
  • 批准号:
    ST/L004879/1
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Research Grant
Student and Junior Faculty Travel Support for International Symposium on Sustainable Systems and Technology (ISSST) 2014-Marriott City Center, Oakland, CA, May 19-21, 2014
2014 年可持续系统与技术国际研讨会 (ISSST) 的学生和初级教员旅行支持 - 加利福尼亚州奥克兰市中心万豪酒店,2014 年 5 月 19 日至 21 日
  • 批准号:
    1432890
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Student Travel Support for the 2014 IEEE International Conference on Big Data
2014 年 IEEE 国际大数据会议学生旅行支持
  • 批准号:
    1444666
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Collaborative Research: Student Travel Support: International Workshop on Big Data in Life Sciences, Newport Beach, CA, September 20, 2014
合作研究:学生旅行支持:生命科学大数据国际研讨会,加利福尼亚州纽波特比奇,2014 年 9 月 20 日
  • 批准号:
    1444794
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Funding for Student Travel to CRYPTO 2014
资助学生参加 2014 年 CRYPTO 旅行
  • 批准号:
    1441163
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Student Travel Support for the IEEE Communications Society Conference on Sensing, Communication, and Networking (SECON) 2014
2014 年 IEEE 通信学会传感、通信和网络会议 (SECON) 的学生旅行支持
  • 批准号:
    1442034
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Student Travel Support for the ACM HotWireless 2014 Workshop
ACM HotWireless 2014 研讨会的学生旅行支持
  • 批准号:
    1454953
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
Proposal to Support Student Travel for the ACM CoNEXT 2014 Conference
支持学生参加 ACM CoNEXT 2014 会议的旅行提案
  • 批准号:
    1451227
  • 财政年份:
    2014
  • 资助金额:
    $ 2万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了