Travel Support For ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2014)
Travel Support For ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2014)
批准号:
1434610
负责人:
Xiangyu Zhang
金额:
$2.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-04-15 至 2017-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The grant provides student travel support to the Symposium on Foundations of Software Engineering (FSE 2014), to be held on November 11-16, 2014 in Hong Kong, China. This is one of the flagship conferences in the Software Engineering field for researchers and educators to present and discuss the most recent innovations, trends, experiences, etc. Funding for student travel has significant broader impacts because of the opportunity it gives the students to become part of the research community, discuss their research with others, listen to and meet with leaders in the field, and so on. This conference is international and takes place in China, which provides an international dimension, because students will have experiences relevant to becoming part of a global workforce.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: AI Model Debugging by Analyzing Model Internals with Python Program Analysis
-
批准号:1910300
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2019
-
负责人:Xiangyu Zhang
-
依托单位:
EAGER: A Python Program Analysis Infrastructure to Facilitate Better Data Processing
-
批准号:1748764
-
项目类别:Standard Grant
-
资助金额:$14.7万
-
财政年份:2017
-
负责人:Xiangyu Zhang
-
依托单位:
CSR: Small: Elastic and Robust Cloud Programming
-
批准号:1618923
-
项目类别:Standard Grant
-
资助金额:$48.55万
-
财政年份:2016
-
负责人:Xiangyu Zhang
-
依托单位:
SHF: Small: Collaborative Research: Towards Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
-
批准号:1320326
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2013
-
负责人:Xiangyu Zhang
-
依托单位:
SHF: Small: Reliable Data Processing by Dynamic Program Analysis
-
批准号:1320444
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2013
-
负责人:Xiangyu Zhang
-
依托单位:
SHF: CSR: Small: Collaborative Research: Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis
-
批准号:1218993
-
项目类别:Standard Grant
-
资助金额:$4.48万
-
财政年份:2012
-
负责人:Xiangyu Zhang
-
依托单位:
CSR: Small: Automated Software Failure Causal Path Computation
-
批准号:0917007
-
项目类别:Standard Grant
-
资助金额:$49.33万
-
财政年份:2009
-
负责人:Xiangyu Zhang
-
依托单位:
CAREER: Scalable Dynamic Program Reasoning
-
批准号:0845870
-
项目类别:Continuing Grant
-
资助金额:$42.5万
-
财政年份:2009
-
负责人:Xiangyu Zhang
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0720516
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2007
-
负责人:Xiangyu Zhang
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0708464
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Xiangyu Zhang
-
依托单位:
国内基金
海外基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
-
批准号:21002080
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2010
-
负责人:霍聪德
-
依托单位:
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
-
批准号:70501008
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2005
-
负责人:曹丽娟
-
依托单位: