课题基金 / 基金详情

PLDI 2013 Travel Support

PLDI 2013 Travel Support
PLDI 2013 旅行支持
批准号：
1329263
负责人：
Iulian Neamtiu
金额：
$1.2万
依托单位：
University of California-Riverside
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2013
资助国家：
美国
项目状态：
已结题
起止时间：
2013-05-01 至 2013-10-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1329263&HistoricalAwards=false
关键词：
PLDI2013TravelSupport

项目摘要

项目成果

Iulian Neamtiu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This award will support student travel to the 2013 ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI '13), which is being held in Seattle, Washington. PLDI is a top conference in the fields of programming languages and compilers. The funds will help support U.S. students, focusing on Ph.D. students at an advanced stage in their program and students who would otherwise not be able to attend PLDI. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Broader impacts include training the next generation of researchers in this important research area.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Precise Static Analysis of Event-based Systems
  • 批准号：
    2106710
  • 项目类别：
    Standard Grant
  • 资助金额：
    $60.0万
  • 财政年份：
    2021
  • 负责人：
    Iulian Neamtiu
  • 依托单位：
    New Jersey Institute of Technology
SHF: Small: Program Analysis for Dependable Clustering
  • 批准号：
    2007730
  • 项目类别：
    Standard Grant
  • 资助金额：
    $40.0万
  • 财政年份：
    2020
  • 负责人：
    Iulian Neamtiu
  • 依托单位：
    New Jersey Institute of Technology
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
  • 批准号：
    1617584
  • 项目类别：
    Standard Grant
  • 资助金额：
    $24.98万
  • 财政年份：
    2016
  • 负责人：
    Iulian Neamtiu
  • 依托单位：
    New Jersey Institute of Technology
CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution
  • 批准号：
    1629186
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $33.92万
  • 财政年份：
    2015
  • 负责人：
    Iulian Neamtiu
  • 依托单位：
    New Jersey Institute of Technology
国内基金
海外基金
植物乳杆菌YI-Y2013介导的阿魏酸-大米淀粉消化性能变化机理研究
  • 批准号：
    2023JJ30013
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2023
  • 负责人：
    易翠平
  • 依托单位：
    长沙理工大学
科学基金学科发展总体态势评估研究:2013-2022
  • 批准号：
    L2224023
  • 项目类别：
    专项项目
  • 资助金额：
    40.00万元
  • 批准年份：
    2022
  • 负责人：
    杨立英
  • 依托单位：
    中国科学院文献情报中心
基于流固耦合作用研究2013年芦山地震静态库仑应力时空演化对余震的触发
  • 批准号：
    41804049
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2018
  • 负责人：
    缪淼
  • 依托单位：
    南方科技大学
中国制造业生产率分析：1998-2013
  • 批准号：
    71803161
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    18.0万元
  • 批准年份：
    2018
  • 负责人：
    王璐航
  • 依托单位：
    厦门大学