计算之智与哲学之慧分享 http://blog.sciencenet.cn/u/huangfuqiang

博文

2010微软软件工程创新基金会奖

已有 3871 次阅读 2010-5-17 11:41 |个人分类:计算机软件理论与工程|系统分类:海外观察

信息来源于:http://research.microsoft.com/en-us/collaboration/focus/cs/seif.aspx

Microsoft External Research, Computer Science, and the Research in Software Engineering Group (RiSE) are pleased to announce the recipients of the Microsoft Research Software Engineering Innovation Foundation (SEIF) Awards 2010.

Some of the SEIF awardees at the New Horizons Demo Event hosted by Microsoft Research at the 32nd International Conference on Software Engineering in Cape Town on May 5, 2010, from left to right: Judith Bishop, Director of Computer Science, Microsoft Research (MSR); Jane Prey, Director of Gender, MSR; Yuriy Brun and Reid Holmes (representing David Notkin); Alessandro Orso; Nachi Nagappan, MSR; Gail Murphy; Stefano Tonetta; Wolfram Schulte, Research Area Manager, RiSE Group; Karin Breitman and son; Guido de Caso (with Uchitel); Sebastien Uchitel

We received 85 proposals for research grants in seminal software engineering areas, innovative software engineering education methods, and improvements in the software development process. After a thorough internal review process, 12 proposals were selected to receive awards for the period June 2010 to May 2011. The SEIF Award recipients are listed below.

Name      Title  Institution 

Diego Garbervetsky

Resource Usage Contracts for .NET

Universidad de Buenos Aires, Argentina

Sebastian Uchitel

Strengthening Code Contracts with Typestates

Universidad de Buenos Aires, Argentina

Karin Breitman

Cloud‐Based Software Engineering: Weaving Elasticity into Early Design

PUC do Rio de Janeiro, Brazil

Gail Murphy

Automatically Finding Help for Framework Usage

University of British Columbia, Vancouver, Canada

Sunghun Kim

Detecting and Fixing Bugs as they are Created in Visual Studio

The Hong Kong University of Science and Technology, China

Pankaj Jalote

An Integrated Approach for Software Engineering Projects using Visual Studio Platform

IIIT-Delhi, India

Stefano Tonetta

Formal Methods for Embedded Systems Requirements

Povo-Trento, Italy

Baris Aktemur

A Type System with Subtyping for Program Generation Using Quasiquotations

Ozyegin University Istanbul, Turkey

Daniel Kroening

Testing Embedded Software with the Z3 SMT Solver

Oxford University, United Kingdom

Kendra Cooper

SimSys: An Engaging Game for Software Engineering Education

The University of Texas at Dallas, United States

David Notkin

Speculation and Continuous Validation for Software Development

University of Washington, Seattle, United States

Alessandro Orso

BERT – BEhavioral Regression Testing

Georgia Institute of Technology, Atlanta, United States



https://wap.sciencenet.cn/blog-89075-325367.html

上一篇:信息化与城市发展论坛:互联网之父的演讲
下一篇:分布式哈希表(DHT)
收藏 IP: .*| 热度|

0

该博文允许实名用户评论 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-6-9 08:50

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部