课题基金 / 基金详情

PLDI'12 and Trends in Concurrency'12 Travel Support

PLDI'12 and Trends in Concurrency'12 Travel Support
PLDI12 和并发趋势12 差旅支持
批准号：
1160282
负责人：
Iulian Neamtiu
金额：
$2.5万
依托单位：
University of California-Riverside
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2012
资助国家：
美国
项目状态：
已结题
起止时间：
2012-04-01 至 2012-09-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1160282&HistoricalAwards=false
关键词：
PLDI12TrendsConcurrencyTravel

项目摘要

项目成果

Iulian Neamtiu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The grant will support student travel to the ACM SIGPLAN Symposium on Programming Language Design and Implementation (PLDI'12) and a pre-conference workshop on discussing collaboration in research and education between US and Chinese researchers, titled Trends in Concurrency (TiC'12). The main conference, PLDI, is being held in Beijing, China. PLDI is a top conference in the field of programming language and compiler technology. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Broader impacts include building the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce.
期刊论文(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
国内基金
海外基金
STAT3/C/EBPD-SLC5A12生物轴调控内质网应激相关蛋白乳酸化修饰在脓毒症急性肺损伤中的作用及机制研究
  • 批准号：
    JCZRLH202602096
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
  • 依托单位：
    鄂州市中心医院
血清素介导的H3Q5ser组蛋白修饰通过激活MRPL12驱动线粒体代谢重编程促进前列腺癌侵袭转移的机制
  • 批准号：
    2026JJ30162
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    蒋书算
  • 依托单位：
    湖南省肿瘤医院
高效Mage转座系统赋能KRAS G12D突变结直肠癌新型TCR-T疗法开发临床前研究
HX-12C的抑菌机理及其在对肉类防腐保鲜中的应用研究
  • 批准号：
    2026JJ80571
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    余惠
  • 依托单位：
    湖南科技学院