Funding to Support Student Attendees to POPL 2011
Funding to Support Student Attendees to POPL 2011
批准号:
1058624
负责人:
Bor-Yuh Evan Chang
金额:
$1.2万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-01 至 2011-08-31
中文摘要
这笔旅费补助金要求资金,以支持研究生旅行的编程语言(POPL)的原则研讨会。这是计算机科学领域的顶级会议,用于软件和硬件基础计划核心领域的研究和教育。这些资金使学生能够听到该领域的最新成果,结识知名研究人员,并与下一代研究人员建立社区。
英文摘要
This travel grant requests funds to support graduate student travel to the Symposium on Principles of Programming Languages (POPL). This is a top conference in Computer Science for research and education in the core areas of Software and Hardware Foundations program. The funds enables students to hear the latest results in the field, meet established researchers, and build community with the next generation of researchers.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: A General Framework for Responsive Static Analysis
-
批准号:2223825
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2022
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
SHF: Small: Programming with Semantic Revision Requests
-
批准号:2008369
-
项目类别:Standard Grant
-
资助金额:$49.92万
-
财政年份:2020
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
IUCRC Planning University of Colorado Boulder: Center for Pervasive Personalized Intelligence (PPI)
-
批准号:1822135
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2018
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
SHF: Small: Collaborative Research: Online Verification-Validation
-
批准号:1619282
-
项目类别:Standard Grant
-
资助金额:$31.0万
-
财政年份:2016
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
SHF: Small: Modular Reflection
-
批准号:1218208
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2012
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
CAREER: Cooperative Program Analysis: Bridging the Gap Between User and Tool Reasoning
-
批准号:1055066
-
项目类别:Continuing Grant
-
资助金额:$45.96万
-
财政年份:2011
-
负责人:Bor-Yuh Evan Chang
-
依托单位:
国内基金
海外基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
-
批准号:21002080
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2010
-
负责人:霍聪德
-
依托单位:
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
-
批准号:70501008
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2005
-
负责人:曹丽娟
-
依托单位: