PLDI'12 and Trends in Concurrency'12 Travel Support
PLDI'12 and Trends in Concurrency'12 Travel Support
批准号:
1160282
负责人:
Iulian Neamtiu
金额:
$2.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2012
资助国家:
美国
项目状态:
已结题
起止时间:
2012-04-01 至 2012-09-30
中文摘要
这笔赠款将支持学生参加ACM SIGPLAN编程语言设计与实现研讨会(PLDI‘12)和一个关于讨论中美研究人员在研究和教育方面的合作的会议前研讨会,题为并发趋势(TIC’12)。主要会议,PLDI,正在北京举行,中国。PLDI是编程语言和编译技术领域的顶级会议。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的影响包括在这一研究领域培养下一代研究人员,以及提供国际经验来建设一支具有全球意识的劳动力队伍。
英文摘要
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
-
依托单位:
SHF: Small: Program Analysis for Dependable Clustering
-
批准号:2007730
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2020
-
负责人:Iulian Neamtiu
-
依托单位:
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
-
批准号:1617584
-
项目类别:Standard Grant
-
资助金额:$24.98万
-
财政年份:2016
-
负责人:Iulian Neamtiu
-
依托单位:
CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution
-
批准号:1629186
-
项目类别:Continuing Grant
-
资助金额:$33.92万
-
财政年份:2015
-
负责人:Iulian Neamtiu
-
依托单位:
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
-
批准号:1630037
-
项目类别:Standard Grant
-
资助金额:$4.64万
-
财政年份:2015
-
负责人:Iulian Neamtiu
-
依托单位:
PLDI 2013 Travel Support
-
批准号:1329263
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2013
-
负责人:Iulian Neamtiu
-
依托单位:
CAREER: Differential Types and Declarative Hypothesis Testing for Software Evolution
-
批准号:1149632
-
项目类别:Continuing Grant
-
资助金额:$49.82万
-
财政年份:2012
-
负责人:Iulian Neamtiu
-
依托单位:
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
-
批准号:1064646
-
项目类别:Standard Grant
-
资助金额:$36.59万
-
财政年份:2011
-
负责人:Iulian Neamtiu
-
依托单位:
国内基金
海外基金
登录
查看更多内容
中央杏仁核中钾通道调节蛋白KCTD12介导右美托咪定抗焦虑作用的机制
-
批准号:2026JJ81363
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:段彬
-
依托单位:
Decorin调控ADAMTS12 m6A甲基化与IL12B/VEGF免疫互作介导肥胖合并妊娠期糖尿病子代心血管疾病的作用研究
-
批准号:2026JJ81694
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:罗慧
-
依托单位:
血清素介导的H3Q5ser组蛋白修饰通过激活MRPL12驱动线粒体代谢重编程促进前列腺癌侵袭转移的机制
-
批准号:2026JJ30162
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:蒋书算
-
依托单位:
HX-12C的抑菌机理及其在对肉类防腐保鲜中的应用研究
-
批准号:2026JJ80571
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:余惠
-
依托单位:
STAT3/C/EBPD-SLC5A12生物轴调控内质网应激相关蛋白乳酸化修饰在脓毒症急性肺损伤中的作用及机制研究
-
批准号:JCZRLH202602096
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
高效Mage转座系统赋能KRAS G12D突变结直肠癌新型TCR-T疗法开发临床前研究
-
批准号:JCZRQNB202600936
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
NOL12-ETAA1乙酰化-线粒体稳态信号轴在糖尿病视网膜神经保护中的作用与机制研究
-
批准号:JCZRQNB202600065
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
基于mRNA的可调控MSLN-IL-12-CAR T联合表达Mesothelin的溶瘤病毒协同提高对非小细胞肺癌杀伤活性的研究
-
批准号:JCZRMS202601676
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
Cyclic Apelin-12新型环肽上调内质网膜蛋白REEP5促线粒体相关内质网膜MAMs形成拮抗Apelin-13/APJ诱导的VSMC增殖
-
批准号:2026JJ82403
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:邓轶轩
-
依托单位:
等温扩增联合CRISPR/Cas12a系统在疱疹病毒性脑炎精准诊断中的应用研究
-
批准号:2026JJ82346
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:陆玉颖
-
依托单位: