Initiative - Microsoft Research

External Research & Programs

Innovation with Academia

Supported Projects

Compilers, Languages, and Runtimes


Common Larceny

(Scheme.NET)

The goal of this project is to produce a high-performance CLS-compliant scheme running on the CLR. Design a credible implementation of first-class continuations for the CLR.


Matthias Felleisen

Will Clinger

Northeastern University,

United States

Computer Science


Dynamic Languages for .NET

The goal of this project is to produce infrastructure, best practices, and community for creating highperformance CLS-compliant implementations of dynamic languages running on the CLR.


John Gough

Queensland University of

Technology (QUT),

Australia

Computer Science

Compilers, Languages, and Runtimes:

Phoenix

Compilers, Languages, and Runtimes: Phoenix

Constructing Compact

Debugging Traces with Binary

Code Analysis and

Instrumentation

We will use Phoenix to apply novel slicing techniques to automatically generate compact effect-cause traces which have wide applications to debugging, profiling, and monitoring.


Yinong Chen

Arizona State University

Computer Science


Phoenix-Based Compiler

Course Development

The purpose of this project is to enhance an undergraduate compiler curriculum to include more sophisticated backend and optimization content using Phoenix as the backend framework.


Regeti Govindarajulu

Indian Institute of

Information Technology,

Hyderabad

Computer Science


Compiler Backend

Experimentation and

Extensibility Using Phoenix

This project uses Phoenix as the code generation engine to decrease overhead and improve the safety for concurrent execution in multi-core processors thus leveraging the new architectural trends maintaining simplified program structure.


Suresh Jagannathan

Purdue University

Computer Science


Adaptive Inline Substitution in Phoenix

We are building a prototype inliner for

Phoenix that includes an adaptive control mechanism to find a good program-specific inlining strategy.


Keith Cooper

Rice University

Computer Science


Domain-Specific Language for

Efficient Design-Rule

Checking

The goal of this project is to develop a domain specific language to allow developers to express “Design Rules for Modularity.” The language allows the expression of patterns that generally constitute symptoms of bad modularity

“code smells” and scoping rules that describe the desired modular structure of a software system.


Eric Wohlstadter

The University of British

Columbia

Computer Science


Setpoint: An Aspect-Oriented

Framework Based on

Semantic Pointcuts

Setpoint involves annotating source code with semantic information through metadata, which can later be used in the construction of semantically rich pointcuts to guide aspect weaving: setpoints.


Victor Braberman

Universidad de Buenos

Aires

Computer Science


Phase Aware Profiling with

Phoenix

The goal of our research is to use the

Microsoft Phoenix Framework to enable transparent, software-based, postdeployment, program optimization, bug isolation, and coverage testing. The key to our approach is our exploitation of repeating patterns in program behavior, that is, phases, to reduce the overhead of accurate program sampling.


Chandra Krintz

University of California at

Santa Barbara

Electrical Computer

Engineering


Using Call Graph Analyses to

Guide Selective Specialization in Phoenix

The project will use the control flow and data flow analysis capabilities of

Phoenix to identify opportunities for specialization in code generation.


Cormac Flanagan


Santa Cruz

Computer Sciences


Program Visualization with

Fulcra and Phoenix

The goal of this project is to build an analysis and visualization framework using Phoenix and Fulcra to enable analysis and programmer feedback to identify parallelism in the programming model. The accurate context sensitive pointer analysis in Fulcra provides accurate discovery of call graphs and present information to the programmer to identify and alleviate performance bottlenecks.


Wen-Mei Hwu

University of Illinois at

Urbana-Champaign

Electrical and Computer

Engineering


Navel: Automating Software

Support Using Traces of

Software Behavior

The project will use Phoenix as the instrumentation engine for large, realworld client or server applications to insert probes which identify program behavior and provide a fingerprint to classify and identify software failures.


Emmett Witchel

University of Texas at

Austin

Computer Sciences


Techniques and Tools for

Software Assurance

The goal of this project is to create a

Phoenix-based framework which can be used to identify and test for security vulnerabilities. This framework will automate test case generation and provide for regression testing.


Jack Davidson


Austin

Computer Sciences


Type-Checking the

Intermediate Languages in the

Phoenix JIT Compiler

Our project is to design and implement a sound type system for the intermediate representation of Phoenix.

A sound type system will allow a way to automatically check that the result of compilation will not crash unexpectedly.


Zhong Shao

Yale University

Computer Sciences


Phoenix Optimization

Infrastructure

The goal of this project is to build a

Phoenix-based optimization framework based on experience with Machine

SUIF. Use this framework to implement optimizations on large, real-world code bases.


Michael Smith

Harvard University

Engineering and Applied

Sciences


Using Phoenix for Collecting

Whole Execution Trace and Its

Applications

This goal of this project is to develop a system for collection, compression, and storage of Whole Execution Traces

(WET). WETs of program runs are being used in automated fault location research based upon dynamic slicing and software piracy detection research based upon dynamic matching.


Rajiv Gupta

University of Arizona


Engineering


Selecting Software Phase

Markers with Code Structure

Analysis

We present an automated profiling approach to identify code locations whose executions correlate with phase changes. These “software phase markers” can be used to easily detect phase changes across different inputs to a program.


Brad Calder


San Diego

Computer Science

Compilers, Languages, and Runtimes: SSCLI


Framework for Domain-

Specific Optimization at Run

Time

The goal of this project is to provide a vehicle to deploy a domain-specific suite of static and dynamic analyses to enable optimization of code that makes use of particular APIs.


Paul Kelly

Imperial College London,

United Kingdom

Computer Science


On the Cost of Securing

Applications: Performance and Feasibility of Capability-

Based Security in the Rotor

Platform

The project will measure the cost of securing applications by means of protection mechanisms (Code Access

Security), in the case of capabilitybased security.


Dario Alvarez-Gutierrez

University of Oviedo,

Spain

Computer Science


BETA.NET

The goal of this project is to make a full port of the BETA programming language including a bootstrapped compiler and porting central BETA libraries to Rotor.


Peter Andersen

University of Aarhus,

Denmark

Computer Science


Ro-SC-tor: Software

Construction within Rotor

The purpose of the Ro-SC-tor project is to raise the profile of Rotor as a product by tackling the deep documentation of

Rotor’s components.


Judith Bishop

University of Pretoria,

South Africa

Computer Science


RMTk —A Memory

ManagementToolkit for Rotor

The project will port MMTk to Rotor

(yielding RMTk), giving Rotor researchers access to MMTk’s wide range of collectors and novel memory management tools.


Steve Blackburn

Australian National

University, Australia

Computer Science


Hardware-Based CIL-Machine

The project will investigate feasibility of hardware implementation of CILmachine functionality. The goal is to create a prototype of a software/ hardware system complying with

ECMA-335.


Sergey Chernyshev

Nizhniy Novgorod State

University, Russian

Federation

Computer Science


Meta-C# and Support for

Persistent Multi-stage

Programming within CLI

This project will introduce persistent multi-stage programming support within

CLI by means of assembly rewriting.


Antonio Cisternino

Università degli Studi di

Pisa, Italy

Computer Science


Traits in C#

Traits offer a simple compositional model for building classes from groups of methods and a small amount of glue code. This project will investigate how to apply traits to statically typed programming languages, in particular

C#.


Stéphane Ducasse

University of Berne,

Switzerland

Computer Science


Flexible Dynamic Linking for

.NET

This project will extend the dynamic linking mechanism of the Microsoft

SSCLI, so that the choice of which types to link can be made later, by loading and JIT compiling ‘flexible’ IL code that uses type variables.


Susan Eisenbach

Imperial College London,

United Kingdom

Computer Science


Compiler Construction .NET

This project will design and execute an undergraduate compiler construction course using SSCLI.


Michael Franz


Irvine

Computer Science


Parallel, Real-Time Garbage

Collection in Rotor

We propose to develop a parallel, realtime garbage collector for Rotor. Our proposal is based on earlier work on developing a similar collector for the

TILT/ML compiler and on ongoing work to extend this work to support pinning, address arithmetic, and finalization.


Robert Harper

Carnegie Mellon

University

Computer Science


Transactional, Persistent,

Managed Runtime

Environments

The project will support transactional execution of threads to improve concurrency, scalability, and reliability of applications.


Antony Hosking


Computer Science


Improving Rotor for

Dynamically Typed

Languages

This project will create Lua to CIL compiler, adding extensions to Rotor that will help the implementation of compilers for dynamically typed languages. These extensions include faster type checking and type casts, plus a more flexible garbage collector and coroutine support.


Roberto Ierusalimschy

Pontificia Universidade

Católica do Rio de

Janeiro, Brazil

Computer Science


GCspy for Rotor

The aims of this project are to make the

GCspy heap visualisation framework available to Rotor VM developers, to study the behaviour of Rotor applications, and to develop new abstractions and views for GCspy based on this experience.


Richard Jones

University of Kent, United

Kingdom

Computer Science


RAIL2 —Runtime Assembly

Instrumentation Library 2

The RAIL project created a code instrumentation library for the .NET platform. In RAIL2, we will add support for assemblies with multiple modules, truly perform dynamic instrumentation

(currently only static instrumentation is possible), introduce modifications in assemblies by source-code compilation, and further support high-level code instrumentation design patterns.


Paulo Marques

Universidade de Coimbra,

Portugal

Computer Science


SCOOP: Concurrent Object-

Oriented Programming for

ROTOR

This project will broaden and deepen the scope of the SCOOP mechanisms on .NET by formally reasoning about concurrent object-oriented applications in SCOOP for .NET; providing support for deadlock avoidance, prevention, and resolution; and providing a direct support for the concept of processor

(physical or virtual thread of control) in the SSCLI.


Bertrand Meyer

ETH Zurich, Switzerland

Computer Science


Extending Rotor with

Structural Reflection to

Support Reflective Languages

The goal of this project is to extend

SSCLI with structural reflection based on our knowledge of virtual machines and reflective platform development.


Francisco Ortin

University of Oviedo,

Spain

Computer Science


The Nemerle Project

The goal of this project is to design and implement a new hybrid (functional, object-oriented, and imperative) programming language for the .NET platform.


Leszek Pacholski

University of Wroclaw,

Poland

Computer Science


FreeSoDA

This project will support Rotor community building by hosting a freely accessible documentation database for

Rotor.


Frank Padberg

University of Karlsruhe,

Germany

Computer Science


Implementation of a Non-

Strict Functional Language on

Rotor

This project will investigate the implementation of non-strict functional languages that can interact well with other languages on Rotor.


Nigel Perry

University of Canterbury,

New Zealand

Computer Science


Xtatic: Native XML Processing for C#

The project will design and implement a lightweight extension of C# tailored for native XML processing.


Benjamin Pierce

University of

Pennsylvania

Computer Science


The Grid-Occam Project

The goal of this project is to develop an implementation of Occam on Rotor as a vehicle for education and teaching.


Andreas Polze

Hasso-PlattnerInstitut für

Softwaresystemtechnik,

Universität of Potsdam,

Germany

Computer Science


Rotor-Based Course

Development

It is proposed to develop software laboratory course material for the teaching of programming language concepts and compiler implementation techniques. A workshop also will be conducted inviting faculty outside our institute to share the course material and improving it based on their suggestion.


Govindarajulu Regeti

International Institute of


India

Computer Science


Using Software Interactions in the SSCLI Platform

This project will introduce into the

SSCLI an Interaction Service to allow the dynamic adaptation of componentbased applications.


Michel Riveill

Ecole Supérieure en

Sciences Informatiques

(ESSI), Université de Nice

Sophia Antipolis, France

Computer Science


Gardens Point Generics

(GPG)

This project will provide a guide to other programming language researchers on how to implement programming language features involving generics.


Paul Roe

Queensland University of

Technology (QUT),

Australia

Computer Science


Embedded Formal Verification

Assistants in the .NET

Framework

This project will develop a .NET library that will enable users to utilize structures and algorithms appearing in the tools supporting formal specification and verification.


Ondrej Rysavy

Brno Technical University,

Czech Republic

Computer Science


Aspect.NET

The goal of this project is to make full implementation of Aspect.NET with the following features: AOP meta-language, representation of aspects by custom attributes, converters of AOP metalanguage annotations to .NET language –specific AOP custom attributes definitions, aspect weaver working at PE/CIL/metadata level, and

“aspectizer” to discover aspects in non-

AOP programs.


Vladimir Safonov

St Petersburg State

University, Russian

Federation

Computer Science


Integrating Haskell with .NET

Using Rotor

The goal of this project is to research and implement support for integration of programs developed in the Haskell programming language into the .NET framework using Rotor as the supporting platform.


Andre Santos

Center of Informatics,

Universidade Federal de

Pernambuco, Brazil

Computer Science


Typed Compilation of .NET

Common Intermediate

Language

This project will extend and adapt proofcarrying code and typed intermediate language technologies for use in

SSCLI.


Zhong Shao

Yale University

Computer Science


Memory System Behaviour of

.NET Applications and a

Profile-guided Garbage

Collector

The goal of this project is to analyse properties of CLR objects such as object lifetime distributions, temporal and spatial locality, object size and reference distributions, and cache behavior. The study further intends to motivate the design of memory systems that are better suited to the requirements of runtime systems.


Y N Srikant


Science, India

Computer Science


MetaRotor

The goal of this project is to explore the possibilities to deeply integrate the

ASF+SDF Meta-Environment into the

SSCLI.


Mark van den Brand

Hogeschool van

Amsterdam, Netherlands

Computer Science


Computer Aided Instruction in

Graduate Compiler Design

Based on the C# Compiler

Source Code and a Hide-and-

Show Approach

The goal of this project is to develop and study a novel approach to using the

SSCLI C# compiler and Visual Studio

.NET to introduce graduate students to the inner workings of a real compiler in the context of a graduate compilers course.


Elizabeth White

George Mason University

Computer Science


Compiler Generation Tools for

C#

This project will develop a framework for generating compiler tools for the C# programming language.


Albrecht Woess

Johannes Kepler

Universität Linz, Austria

Computer Science

ConferenceXP

ConferenceXP

Enhancing Reliability by

Supporting Path-Diversity

Overlay Retransmission

This project investigates a pathdiversity overlay retransmission architecture and mechanism to achieve more effective and reliable packet delivery in challenging network environments.


Wenjun Zeng

University of Missouri at

Columbia

Computer Science

ConferenceXP

Visual Information Manager

We will design and implement a Visual

Information Manager as an extension to

ConferenceXP Platform that manages the screen display resource and coordinates the user interface presentation between video, presentation, and other visual channels.


Klara Nahrstedt



Computer Science and

Engineering

ConferenceXP

Supporting and Enhancing

Cooperative Learning with

ConferenceXP-powered

I-MINDS

My project is to empower a computersupported cooperative learning system called I-MINDS using the

ConferenceXP platform.


Leen-Kiat Soh

University of Nebraska


Engineering

ConferenceXP


Windows Media Transcoding

Using ConferenceXP Archive

Service Data

This project will address the transcoding of data stored by the

ConferenceXP Archive Service into

Windows Media format. The output of the transcoding process will include not only audio and video, but also presentation slides, navigation, and ink, and it will interoperate well with existing applications, such as Classroom

Presenter and ConferenceXP

WebViewer.

Fred Videon

University of Washington


Engineering

ConferenceXP


Classroom Presenter

Development and Deployment

This project is to continue the development and deployment of

Classroom Presenter, a Tablet PC – based presentation system used with

Conference XP for both distance and classroom instruction. The targets for

2004 are robust integration of student and instructor devices, support for additional interaction patterns in the classroom, enhanced inking for instructors attentional markings, and improved archiving and integration with other systems.

Richard Anderson



Engineering

ConferenceXP


Advanced Classrooms

Exploiting Tiled Displays and

Student Computers

We are experimenting with use of multiple (large and multi-mega pixel) tiled displays, allowing all lecture visuals to remain in view (and downloadable) during the lecture, and protocols for the instructor to enable and manage presentation of selected student responses and results. In addition, we will develop high-resolution and bandwidth-efficient support for high-resolution document cameras as an input to ConferenceXP.

Patrick Mantey


Santa Cruz


Engineering

ConferenceXP


Peer-to-Peer Multi-Reflector

Networking for ConferenceXP

We propose to employ peer-to-peer

(P2P) networking solutions, which are used to provide reliable and efficient services over underlying networks and systems. In the proposed effort, we will implement a peer-to-peer network which serves as an overlay network over a set of Multicast CXP Reflectors, and where each reflector serves a multicast isolated network. Building efficient P2P networks for

ConferenceXP reflector-enabled sites will be a primary objective of the proposed effort.

Hayder Radha

Michigan State University


Engineering

ConferenceXP


Implementing ConferenceXP in a Multi-cultural,

Collaborative, Academic

Environment

This curriculum development and research effort establishes permanent

ConferenceXP nodes on the University of Massachusetts Amherst and National

University of Ireland (NUI) Galway campuses and conducts classroom research involving ConferenceXP

Presentation and OneNote technology in a large lecture class.

Gino Sorcinelli

University of

Massachusetts at

Amherst

Isenberg School of

Management

Embedded Systems



Embedded Assistive Devices

A large segment of the Indian population face different types of physical disabilities —including visual impairment, speech impairment, and neuro motor disorders. A considerable proportion of this segment are children.

They are alienated from the mainstream of life, mainly because of communication barriers. Such barriers stem from physical impairments as well as due to non-availability of portable and affordable devices and systems.

We, at IIT Kharagpur, have developed an array of software systems that addresses the challenge posed by this communication barrier.

Anupam Basu


Technology, Kharagpur


Engineering



Cluster-Based Ad Hoc

Network Routing Protocol

Implementation Under

Windows CE .NET

Ad hoc networks, which have seen drastic increase in their usage scenarios and convergence of different applications’ traffic lately, are getting ready to support QoS and secure traffic.

Existing protocols for ad hoc networks provide little or no support for QoS and security. We have developed a new routing protocol ‘CRESQ’ for ad hoc networks, with adequate support for

QoS using resource reservation.

Gautam Barua


Technology, Guwahati


Engineering



A Real-Time/Embedded

System Software

Development Environment

Based on Windows CE and

Windows XP Embedded

This project proposal focuses on building a framework with strong tool support for addressing system modeling

(based on UML-RT), architectural/ design pattern library with customization, programming interfaces for configurable OS components and parameters, real-time performance measurement and tuning tools, and a debugging environment.

Sundar Balasubramiam

Birla Institute of

Technology and Science,

Pilani, India


Information Systems Group



GridOne: An IPv6 QoS-aware

Grid Computing Architecture

This project aims at using IPv6-aware

Grid Computing applications on

Microsoft OS-based Grid Computing

Infrastructure and enables early researchers and developers to get their work evaluated for performance, compatibility, interoperability, and security while focusing on the IPv6- and application-specific QoS requirements.

Rahul Banerjee



Pilani, India


Information Systems



Looking for New Instructions and Optimizations in


The goal of this project is to develop an infrastructure capable of detecting instruction patterns typical of modern application domains (for example, multimedia, networking). By using these instructions, we intend to design new optimizations to support pattern detection and synthesis of DirectX code

(new functions to the API). These optimizations can also open up the path to suggest future ISA extensions that are tailored to some specific application domain or to be incorporated inside some daughter boards.

Rodolfo Azevedo

Universidade Estadual de

Campinas

Institute of Computing



Traceit!: Event Trace

Generator for Distributed

Embedded Real-Time

Applications

Ubiquitous embedded applications will eventually have a major impact on our daily life. We are referring to applications and services that involve reacting to changing environments, synchronizing, exchanging sensitive information with previously unknown network partners in a coordinated way maintaining consistency, etc. Among other uses, these embedded systems will control devices that may risk lives or damage properties: safety-critical systems.

Victor Braberman

Universidad de Buenos

Aires

Computer Science



Teaching Project: Embedded

Systems Laboratory Course at

PUC

The College of Engineering at Pontificia

Universidad Católica de Chile (PUC), to which the Computer Science department belongs to, receives the top

1% of the best students in the country.

We propose the development of a graduate course in the area of embedded systems in order to prepare our students in this area. We base our proposal in a hands-on course, where students have to work in groups to design and implements solutions to real problems. We expect to produce many interesting side effects.

David Fuller

Pontificia Universidad

Católica de Chile

Computer Science


Embedded IPv6 Performance

Issues

To investigate performance issues with

IPv6 when implemented in embedded systems through simulation and actual hardware.


David Jones

RMIT University


Engineering



Microsoft Embedded

Program —RFP Response

The faculty of Information Technology at

Monash University has established the

CoolCampus project in an effort to connect its existing pervasive computing research activities and to generate more opportunities for its pervasive computing researchers to collaborate with and engage university and industry partners.

http://infotech.monash.edu/coolcampus/

Peter Stanski

Monash University


Engineering



Cornell Autonomous Aerial

Vehicle Research Proposal

The overall objective for this program is to further the development of high-end embedded systems in autonomous aerial vehicles. We would like to leverage the capabilities of both

Windows XP Embedded and Windows

CE .NET in order to rapidly develop cost-effective aerial platforms that fit into a connected world.

Kevin Kornegay

Cornell University


Engineering



Systems for Embodied

Evolutionary Robotics

This is a proposal for using Windows

CE .NET in the application area of realtime robotics. Evolutionary robotics research seeks processes that can generate intelligent machines by emulating open-ended natural selection, rather than by traditional manual design. Evolutionary robotics processes have traditionally been confined to simulation in virtual worlds, but as robotic systems become more complex, there is a growing need to carry out these processes in real time and on physical machines.

Hod Lipson


School of Mechanical and

Aerospace Engineering



Real-Time Control of Mobile

Robots with CE .NET

In order to fully exploit the new capabilities offered by faster computation, advanced sensors and actuators, and technology in general, control theoreticians must bring to bear new tools and techniques used in other disciplines. For example, there is potentially great synergy between computer scientists and control theoreticians for tackling new problems in distributed and hierarchical control of autonomous systems. Applications include any “dull, dirty, or dangerous” situation where autonomous entities aid human beings, such as space exploration, disaster relief, and national defense.

Raff D’Andrea



Engineering



Application-Specific PIM

(Processor-In Memory)

Architecture for Embedded

Systems

We propose to develop efficient application-specific PIM (Processor-In

Memory) architectures for Microsoft embedded systems. We also propose architectural techniques to further improve the performance inside these

PIM architectures. Our proposed research can be used to develop more efficient and high-performance embedded systems such as set-top boxes, gaming consoles, and media appliances.

Rodolfo Azevedo


Irvine


Engineering


Enhancement of the Real-

Time Application Support

Capabilities of Windows CE

.NET

We have recently launched an effort to establish a high-level real-time (RT) distributed programming facility on

.NET and .NET Compact Framework platforms. The effort is supported by

NSF, DARPA, and Microsoft Research.


Kane Kim


Irvine


Engineering



Embedded Sensor-Actuator

Networks

We propose to develop and deploy a flexible, distributed sensor and computational network based on the

Pocket PC platform and Windows CE

.NET. Our approach will be to extend our .NET

–based distributed application framework, ROCI (Remote Objects

Control Interface), to the Windows CE

.NET platform.

CJ Taylor

University of

Pennsylvania

Electrical and Systems

Engineering



MASLab: Mobile Autonomous

Systems Laboratory

MASLab is an intensive, one-month long robotics course in which MIT students build and program autonomous robots. We would like to use Windows XP as the host operating system, taking advantage of its small footprint to provide a robust and eminently extendable platform from which to control our robots. Students will write code in C#, taking advantage of the managed CLR to reduce application development time.

Edwin Olson

Massachusetts Institute of

Technology

Electrical Engineering and

Computer Science



Embedded Real-Time Control for Mobile Robots

The goal of this project is to design a hardware and software real-time control platform based on Windows CE .NET to support research, education, and applications for mobile robots. To be useful in these domains, it must be both powerful and low cost. The controller envisioned here would be compact and energy efficient, it would support wireless communications/networking, it would support programming in higherlevel languages, and it would be sufficiently powerful to provide significant intelligence to the application.

Wyatt Newman

Case Western Reserve

University


Computer Science



Context-Aware Smart Device

Grids

The problem being addressed in this proposal is that both applications and operating systems for constrained devices are at times unnecessarily over designed and implemented for the general case. The result of this is, at best, code that is unused in the particular situation and, at worst, code that does not satisfy the requirements of the particular situation (for example, time constraints). In many situations, this “mini PC” look-and-feel will not work.

Marty Humphrey

University of Virginia

Computer Science



Pervasive Embedded

Networks for Ad Hoc

Environments

Pervasive computing represents a new paradigm for computing where computing is “everywhere,” embedded in a variety of special- and generalpurpose devices, enables new processes and services, and

“disappears” from the view of the user to be an inherent and integrated part of the environment. The realization of the pervasive computing vision requires networking services that are beyond those offered by existing networks, operating systems, and application program interfaces (APIs).

Scott Midkiff

Virginia Polytech Institute and State University


Engineering



Development of a Fault-

Tolerant Distributed System

Environment-Based on

Windows CE PDA and Visual

Studio .NET Technologies

The purpose of this project is to fully convert my research environment and a part of my teaching environment into

Windows CE .NET and Window XP

Embedded technologies, and produce new results based on the new environment.

Yinong Chen

Arizona State University


Engineering


A Proposal for a Microsoft


Instructional Laboratory

The goal of this proposal is to provide target systems, development systems, and software to support embedded system senior design projects based on

Microsoft Windows CE .NET and

Windows XP Embedded.


James Hamblen

Georgia Institute of

Technology


Engineering



IPv6 Header Compression

We propose to add new header compression functionality for IPv6 to

Microsoft Windows CE .NET or

Windows XP Embedded. Many embedded systems will be connected over wireless, possibly ad-hoc, networks. These networks will often have limited capacity due to the links having limited capacity, the network being an ad-hoc network with congestion limitations, and the high degree of node mobility which causes the ad-hoc routing protocol to add significantly to network load. Header compression can alleviate the situation.

Mikael Degermark

University of Arizona

Management Information

Systems




Education: Low-Power

Handheld Systems

This project will develop a set of labs that will help students understand the temporal and power characteristics of embedded software. The labs will be well-structured such that students can complete them in a few hours while coming away with an appreciation for these basic concepts. The labs will be replicable at other institutions so that they can serve as a national and international model. The labs will not be tied to any particular textbook.

Wayne Wolf

Princeton University

Electrical Engineering



Integration of an Introduction to Windows CE .NET and .NET

Compact Framework in the

Senior/Graduate Networking

Course

The goal of this proposal is to incorporate an introduction to Windows

CE .NET and the .NET Compact

Framework in the existing senior/graduate-level networking course entitled: “Computer Networks and

Wireless Systems.”

Aura Ganz

University of

Massachusetts


Engineering



Teaching and Research

Proposal

There are two main objectives to this project. The first one is to introduce current engineering faculty and students to Windows-based real-time operating systems. The second objective is to apply a Windows-based operating system to a current project in which a life-like robotic head is to be used for a realistic speech source for the testing of large-aperture microphone arrays.

Harvey Silverman

Brown University

Engineering

eScience

eScience


Building a Scalable Display

Wall with Off-the-Shelf

Components

We devised a method to channel a camera’s output to a rectangular grid of displays efficiently by processing directly in the JPEG domain. A display for graphics using a standard tool called

Chromium performs poorly due to excessive network requirements. We are developing an efficient algorithm for

Chromium by developing a remote rendering scheme for normal graphics environments.

P. J. Narayanan

International Institute of


Hyderabad

Center for Visual Information

Technology

eScience

Advanced Biomedical

Computing Systems for

Cancer Research

In collaboration with Winship Cancer

Institute, the group is developing a computation-based cancer research system. The system consists of databases, cluster-based computing, and immersive visualization. With this system, they will be able to integrate large amounts of genomic, proteomic, and molecular/organ imaging data obtained from cultured cancer cells, clinical tissue specimens, and solid tumors to analyze and guide clinical cancer research.


May Wang


Technology

The Wallace H. Coulter

Department of Biomedical

Engineering

eScience


Parallel Numerical

Applications as Web Services

A comprehensive set of solutions will be developed to efficiently manage and utilize input and intermediate parallel data for adaptive parallel Web services executing on computational Grid resources. Various .NET mechanisms will be utilized for achieving the goals of the project, namely, UDDI for managing and discovery of parallel data distributed across Grid resources,

Microsoft SQL Server for maintaining metadata about the scattered data segments, and SOAP-based protocols for remote data staging.

Sathish Vadhiyar


Science, Bangalore

Supercomputer Education and

Research Centre

eScience

A Parallel Cross-Match Engine for Astronomy

The project will develop a scalable SQL

Server cluster capable of running parallel joins between very large catalogs in astronomical databases. As a proof of concept, we will cross-match existing catalogs with cardinalities of a billion rows, a task exceeding the capabilities of current tools.


Maria Nieto-Santisteban

Johns Hopkins University

Physics and Astronomy

eScience


Web Service Multimodal Tools for Strategic Biodiversity

Research, Assessment, and

Monitoring

This is a joint proposal from Computer

Science and Biodiversity researchers at the University of Campinas

(UNICAMP), Brazil. Its goal is to provide scientists who work in biodiversity issues with a system that supports exploratory queries over heterogeneous biodiversity data sources.

Claudia Bauzer

Medeiros

Universidade Estadual de

Campinas

Institute of Computing

eScience


Pictorial Query Specification for Searching a Spatially

Referenced Breast Cancer

Image Database

A large database of medical images with analysis is required to help train and test the CAD and pre-screening systems. A database with images from multiple technologies like mammograms, MRI, and ultrasound will also enable research into the effectiveness and usefulness of each technique at cancer screening and the determination of malignancy.

Hanan Samet

University of Maryland at

College Park

Computer Science

eScience


A Comprehensive Protein

Database Indexed by Spatial

Motifs

The goal of this project is to build and disseminate a comprehensive database of candidate spatial protein motifs based on our recently developed data mining algorithms. We envision our database as a tool to accelerate this discovery process by orders of magnitude.

Wei Wang

University of North

Carolina at Chapel Hill

Computer Science

eScience


SQL.CT: Using Database

Systems for Remote, Web-

Based Visualization of

Tomographic Data

We are building a prototype system that illustrates the benefits of combining database systems and volume rendering visualization for tomographic data. The goal is to demonstrate how the organizational, indexing, and parallelism capabilities of a database system can optimize the overall rendering process.

Julian Humphries


Austin

Texas Memorial Museum and

Department of Geological

Sciences

eScience


Parallel Analysis and

Visualization of Astronomical

Data in SQL Databases

A framework for parallel analysis and visualization of astrophysical simulation data on compute clusters. It is designed to interactively perform computationally intensive analysis on the large datasets produced by massively parallel simulations. We will extend the capabilities of this tool to interface with

SQL databases to allow parallel analysis of any dataset (such as the

SDSS) running on SQL Server.

Tom Quinn


Astronomy

eScience

Notebook Project

The Notebook application is a clientside data repository, collaboration environment, and smart client for

SOAP-based Web services. The application is designed to store data from Internet Web sessions and also enables researchers to annotate data locally.


Greg Quinn


San Diego

San Diego Supercomputer

Center (SDSC)

eScience


Migrating E-Transit Databases and Web Services to a

TerraService Model

This project provides an opportunity to use the latest hardware and software capabilities to design Web mapping services that will provide for increasing demand and increasing user productivity from the consumers of

Web-based public services. The

Internet-based mapping applications accomplished under the umbrella of www.e-transit.org have become increasingly useful to transportation coordinators throughout the

Commonwealth of Massachusetts as they assist consumers in finding “transit first” solutions to jobs and job training.

Uma Shama

Bridgewater State College

Mathematics and Computer

Science

eScience


Web Service Access to

Streaming NEXRAD Level II

Radar Data

Linked Environments for Atmospheric

Discovery (LEAD), an NSF funded large scale ITR building cyberinfrastructure for severe storm forecasting, aims to improve access through a grid service architecture to enable access to data products, services, and processes for the severe storm researcher and educator.

Beth Plale

Indiana University at

Bloomington

Computer Science

eScience


OpenArXiv = arXiv + RDBMS +

Web Services

The OpenArXiv project aims to significantly improve this arXiv digital library in two ways: By exploiting the state-of-the-art database techniques available in Microsoft SQL Server, we will build a large-scale scientific digital library solely using an RDBMS. By utilizing the standard XML-based Web

Services paradigm and Microsoft .NET framework, we will build a programmable interface to arXiv so that not only human users but also software agents can freely access the contents of arXiv in many applications.

Dongwon Lee

Pennsylvania State

University at University

Park

Information Sciences and

Technology

eScience

SCORM Public-Access

Repository

The main goal of this project is to promote the use of online education in

Colombia, offering a repository of sharable content objects that can be managed through Internet.


Carlos Cobos

Universidad del Cauca

Department of Systems

eScience


Large-Scale Integration of

Different Data Modalities for

Computational Medical

Sciences

We will build an infrastructure to serve a community of users with interests in biomedical data processing. The philosophy of this project is based on two premises, namely: data analysis take priority over computation, which can be provided by other existing infrastructures, and a common software environment to facilitate our work and speed up our research by merging several types of data into a common framework.

Marc Garbey

University of Houston

Computer Science

eScience


Dynameomics: Internet

Database and Web Portal for

Molecular Dynamics

Simulations of Proteins

This project will construct a complementary database comprised of molecular dynamics (MD) structures for representatives of all protein folds —an effort we are calling dynameomics. We are simulating the native (biologically active) state and complete unfolding pathways by MD, the time-dependent integration of the classical equations of motion for molecular systems.

Valerie Daggett


Department of Medicinal

Chemistry

eScience

The Gateway to Biological

Pathways

Developing a Web application called

“The Gateway to Biological Pathways” to aggregate and unify the existing pathway databases and provide Web services for querying the aggregated datasets based upon the open standard for pathway data interchange BioPAX

Level 1.


Keyuan Jiang

Purdue University,

Calumet

Information Systems and

Computer Programming

eScience


Sangam: A System for

Integrating Data to Solve

Stress-Circuitry-Gene

Coupling

Scientists have obtained much data suggesting that anxiety disorders are caused by dysfunction within specific brain circuits, but the precise relationships between these circuits and the way in which they are recruited by stress signals is unclear. Understanding this is critical for treating stress disorders.

Shahram

Ghandeharizadeh

University of Southern

California

Computer Science

eScience

InteGrade: Object-Oriented

Grid Middleware Leveraging

Idle Computing Power of

Desktop Machines

InteGrade main goals:

Preserves resource provider’s QoS at all costs

Supports a wide range of parallel applications

Usage pattern collection and analysis

Based on modern OO techniques

Funded by Microsoft Research

Use on heterogeneous platforms

Performance evaluation


Fabio Kon

Alfredo Goldman

University of São Paulo

Computer Science

Game Design

Game Design


Reality and Programming

Together (RAPT)

Develop and run pilot courses in game oriented CS2 and CS3 utilizing C#.

There will be teamwork and projects to teach software engineering concepts coupled with audio and graphics introductory material. Course will allow students creative expression as well as bring the importance of human factors and game play into the classroom. We propose to utilize C#/DirectX coupled with real, multidisciplinary applications.

Jessica Bayliss

Rochester Institute of

Technology

Computer Science

Game Design

Game Production and

Development for Multiple

Hardware Platforms

Developing a five-quarter curriculum what will combine computer science with visual design, sound design, and narrative theory. The curriculum will form the backbone of a new, interschool major, Animate Arts and

Science, to be offered in collaboration with four major Colleges at

Northwestern. This curriculum will incorporate more that 4000 students.


Bruce and Amy Gooch

Northwestern University

Computer Science

Game Design

Advanced Interdisciplinary

Game Design and

Architecture Courses

A suite of advanced courses in the contributing disciplines of

Communication Studies, Computer

Science, Digital Art, Interactive

Multimedia, Music, and Professional

Writing. We propose to create a learning environment in which crossdisciplinary students collaborate on developing a large artifact, namely a 3-

D, virtual reality, multi-player game.


The College of New Jersey

Ursula Wolz, Computer Science and

Interactive Multimedia

Anita Allyn, Art

Terry Byrne, Communication Studies

Jikai Li, Computer Science

Miroslav Martinovic, Computer Science

Robert McMahan, Music

Kim Pearson, English and Interactive

Multimedia

Game Design


Developing a Game Engine

Incrementally

Design and construction of an instructional 3-D game engine intended as the core of a game programming curriculum for undergraduate computer science students. The game engine will be constructed in a sequence of incremental steps. Code will be written using Visual C++ using the latest version of DirectX. A set of integrated tutorials will be created as part of this project.

Ian Parberry

University of North Texas


Engineering

Game Design


Laboratory for Computer

Games Technology

Organization of a specialized laboratory devoted to computer games. The initial goal of this laboratory is to prepare material for specialized courses on computer games, which emphasize the application of academic material taught in “traditional” disciplines such as data structures, computer graphics, and artificial intelligence. These specialized courses shall function as motivation for students to focus on their studies, as well as independent assessment of how well students are doing in their studies and of how broad, modern, and accurate their “traditional” course is.

Flavio Soares Correa da Silva

University of Sao Paulo

Computer Science

Game Design


Alice and Panda3D: Tools for

Creating 3D Content

At Carnegie Mellon’s Entertainment

Technology Center (etc.cmu.edu), we are creating two tools for broad distribution. Alice (www.alice.org) is intended for introductory computer programming courses, providing a revolutionary video-game authoring approach. Panda3D

(www.panda3d.org) is a high-end, commercial-grade game engine originally developed by Walt Disney

Imagineering and now under joint development with Carnegie Mellon. It is suitable for use in higher-level CS courses.

Randy Pausch

Jesse Schell

Josh Yelon

Carnegie Mellon

University

Entertainment Technology

Center

Game Design

Goblin: An Architecture for

Building 3D Virtual

Environments

An architecture for building 3-D augmented reality and virtual reality applications and games. Written in C#, using Managed DirectX. Leverages

.NET to support innovative application features, including Edit-and-Continue and Aspect-Oriented Programming.


Steve Feiner

Marc Eaddy

Columbia University

Computer Science

Gender Equity

Gender Equity


A Study on Gender-Based

Differences, Ethnic and

Cultural Models in the

Computing Disciplines

A national, scientific, three-year longitudinal study involving students at some 50 institutions of higher education —half are Historically Black

Colleges and Universities and half are

Predominantly White Institutions. Data collection began in 2004.

Antonio M. Lopez, Jr.

Xavier University of

Louisiana

Computer Sciences and

Computer Engineering

iCampus

iCampus

External Research & Programs iGEM: Intercollegiate

Genetically Engineered

Machine Competitions

The MIT Synthetic Biology Working

Group envisions simple engineered biological systems based on interchangeable, standardized biological parts. In order to test these principles and expand the community, we have sponsored three design labs during 2003 and 2004. This program is now supported by the iCampus program for the development of course materials and expansion of this program into 2005 and 2006.

Tom Knight

Drew Endy

Randy Rettberg


Technology

Biological Engineering

iCampus

External Research & Programs iLabs: Remote Online

Laboratories

The iLabs project is dedicated to the proposition that online laboratories — real laboratories accessed through the

Internet —can enrich science and engineering education by greatly expanding the range of experiments that students are exposed to in the course of their education. To learn more, visit http://icampus.mit.edu/ilabs/.

Steve Lerman

Jesus del Alamo


Technology

Center for Educational

Initiatives

iCampus


Sketch Understanding —

Magic Paper

The Magic paper research project enables a novel form of interaction with software, making it possible to describe things by sketching, gesturing, and talking about them in a way that feels completely natural, yet have a computer understand the messy freehand sketches, casual gestures, and fragmentary utterances that are part and parcel of such interaction. To learn more about Magic Paper, visit http://icampus.mit.edu/MagicPaper/.

Randall Davis


Technology

Department of Electrical

Engineering and Computer

Science

iCampus


PowerfulPoint: A Visual

Learning Environment

The goal of PowerfulPoint is to teach students to create compelling visual narratives. We have taught the course

Visualizing Cultures to MIT students in which students create narratives on

Indian culture, the Mafia, early photography, the Olympics, and so forth. The toolset we propose to develop will greatly enhance the creation of visual narratives by allowing students to search, sort, author, and share visual content from repositories from the Smithsonian and Boston

Museum of Fine Arts.

Shigeru Miyagawa

John Dower


Technology

Foreign Languages and

Literatures

iCampus


The Huggables

We are proposing the design of the

Huggable, a new type of sociable robot, specifically designed with touch, responsiveness, and affect in mind with the ultimate goal of distributing this robot to children in hospitals. This robot will look like an ordinary soft Teddy bear on the outside. It will feature a sensate skin all over the surface of the robot based upon current research Dan Stiehl is pursuing at the MIT Media Lab

Robotic Life Group.

Dan Stiehl


Technology

Media Lab Robotic Life Group

iCampus


Topobo: 3D Constructive

Assembly System

We propose establishing educational workshops with Topobo at the Boston

Museum of Science. We hope to achieve two goals through these workshops: First, we hope to have a positive educational impact on local children over the course of the project.

Our intention is for the workshops to continue after we have completed this project, so we hope this impact can grow over time. Second, we plan to more thoroughly evaluate the educational implications of the system and to develop frameworks to guide the future development of computational educational media.

Hayes Solos Raffle

Amanda Parkes


Technology

Tangible Media Group

iCampus


The Classroom Learning

Partner: Electronic Support for Student Learning

We propose to support formative classroom assessment in large classes by developing a Tablet PC –based system that supports in-class exercises by allowing students to submit nonmultiple choice answers back to an instructor in real time and then aggregating those answers so as not to overwhelm the instructor.

Kimberle Koile

Howard Shrobe


Technology


Computer Science

iCampus


Aids Case Tracker

This project will have MIT students design, validate, and implement a novel patient-tracking system to assist a community-based health program in

Lusaka, Zambia in caring for the growing population of HIV positive infants and children. Community

Healthcare Workers (CHW), drawn from the community itself, will employ a handheld to track the status of the 20-

50 children and families to whom they provide care.

William Delhagen

Chris Emig


Technology

Health Science and

Technology

iCampus

External Research & Programs placeMap

PlaceMap is a project that aims to use location-aware information to tell its users where they are, what or who is around them, and how to get there. To track a user’s location, the system utilizes client-based software that reports to the placeMap server with which the user’s computer is communicating. Virtual Campus maintains a rich database of campus events by crawling official and living group Web sites and recording probable gatherings. With a geometric map of the campus, it then is able to provide step-by-step directions with distances, orientations, and landmarks.

Matthew Hockenberry

Robert Gens


Technology

Media Lab Context Aware

Computing

iCampus

CWSpace = OCW + DSPACE

To harvest and digitally archive MIT

OpenCourseWare learning objects and make them available to learning management systems by using Web service interfaces on top of DSpace.

More detail can be found at http://icampus.mit.edu/projects

/DSpace.shtml.


MacKenzie Smith

Cec d’Oliveira


Technology

Digital Library Research Group

iCampus


Spoken Lecture Transcription,

Tagging, and Retrieval

Recorded lectures could be more widely and effectively disseminated if material could be automatically or semiautomatically indexed to allow students to access selected portions of the material via Web browsers and textbased queries (e.g., “tell me about A* search”). This project aims to develop speech technology for spoken lecture transcription, tagging, and ultimately, retrieval.

James Glass


Technology


Computer Science

iCampus


TEAL: Technology-Enabled

Active Learning

Technology-enabled active learning

(TEAL) is a teaching format that merges lectures, simulations, and hands-on desktop experiments to create a rich collaborative learning experience. TEAL classes feature collaborative learning, where students work during class in small groups with shared laptop computers; desktop experiments with data acquisition links to laptops; mediarich visualizations and simulations delivered via laptops and the Internet; and personal response systems that stimulate interaction between students and lecturers.

John Belcher


Technology

Physics

iCampus

External Research & Programs iMOAT: MIT Online

Assessment Tool iCampus MIT Online Assessment Tool

(iMOAT) is a service for Web-based administration and grading of writing examinations. The iMOAT Web service incorporates reliable and valid writing situations that give students time to think, write, and revise transforms assessment into learning by providing detailed individual feedback. It integrates preparatory readings of any length; gives universities complete control over the content, schedule, and grading of exams; and significantly reduces assessment costs.

Les Perelman


Technology

Writing and Humanistic Studies

iCampus

External Research & Programs iDAT: Web-Based Wireless

Sensors for Education

This project will develop a suite of Webbased wireless iDAT sensors specifically designed as multidisciplinary educational tools to teach instrumentation to students in a diverse range of fields, including physical sciences, engineering, biological science, and neuroscience.

Sensors will be field tested in the MIT junior-level Measurement and

Instrumentation course, taken by mechanical engineering, physics, and electrical engineering students.

Ian Hunter

Barbara Hughey


Technology

Mechanical Engineering

ICT for Underserved

Communities


Communities

Intelligent Water Resource

Management System

The aim of this project is to design, implement, and field-test a prototype wireless sensor –based water resource management network for the agriculture conditions existing in India (for example, diminishing low water resources and shortage of electricity).

The system will use a network of smart sensors that are embedded in the field to detect soil conditions, such as pH and moisture, and based on available data irrigate different part of the fields for varying time periods and volume of water.


S. Gurunarayanan



Pilani, India

Electrical and Electronic

Engineering, Instrumentation

Group


Communities

An Ethnographic Study of ICT for Development Projects in

Rural India

This is a comparative study of six projects that use modern ICTs to improve agriculture practices in underserved communities in rural India.

Fieldwork is underway already to facilitate an analytical understanding of the relationship between the enhanced deployment of ICTs and changes in agricultural practices and how that may improve productivity and incomes.


Balaji Parthasarathy



Bangalore


Communities

Field Deployment of PCtvt and User Trials

The PCtvt’s main strength is its user interface that makes it an ideally suited device for the less privileged. Under this proposal, we will deploy PCtvt in the field, monitor user reactions, and make modifications to the software and the user interface.


N. Balakrishnan


Science, Bangalore

Information Sciences


Communities

Sensor Networks: Algorithms and Technology for Landside

Detection

The project will use sensor networks to develop the technology for an early warning system for landslide detection.

In this context we will investigate various sensor network architectures that can be used in a hostile environment (hilly terrains that are difficult to access).


Uday Desai


Technology, Bombay

Electrical Engineering


Communities

Wireless Network

Architectures Using

Asynchronous Messages for

Supporting Development

Activities

This project will develop wireless network architectures that can be deployed in rural scenarios using lowcost devices that require reliable communication of information. The research focus is on formulation of routing algorithms that ensure reliable asynchronous communication even under disconnection and energy constraints.


Sanjiva Prasad


Technology, New Delhi


Engineering


Communities

Teleophthalmology: Mobile

Eye Care Delivery

India has approximately 25% of the blind people in the world (about 12 million). Eighty percent of this is preventable or treatable.

Disadvantaged communities constitute the bulk of these twelve million. The project will build a composite platform consisting of a portable laptop –based front-end, which can capture patient data, and a remote back-end that will be used by the ophthalmologist. The project will focus on enabling both online and offline scenarios at both ends. The project will be completed with the help of R K Devi Eye Research

Institute and Khairabad Eye hospital in

Kanpur, India.


Harish Karnick


Technology, Kanpur


Engineering


Communities

A Next Generation Hybrid

Wireless Mesh Networking

Infrastructure for Rural

Communities

The project will use a hybrid wireless mesh network architecture that uses multihop wireless relaying IEEE

802.11b technology and a revolving directional antenna-based multiple access system for long-haul access link. It is designed to provide rural communications networks for remote village clusters. The final solution will result in mesh networks that can use fixed and mobile nodes to form a rooftop network as well as wide-area medium access control to connect the village clusters to the nearest town network.


C. Siva Ram Murthy


Technology, Madras


Engineering

Mobility

Mobility

Piccolo.NET

General purpose toolkit, useful for

Information Visualization studies,

Zooming User Interfaces, and other dynamic UI projects. Fully-accelerated through managed DirectX 9. For Mobile

Devices, developers can use

PocketPiccolo.NET, built on the .NET

Compact Framework.


Benjamin Bederson

Aaron Clamage

University of Maryland

Human-Computer Interaction

Lab

Mobility


LaunchTile and AppLens

LaunchTile and AppLens are two user interface designs for single-handed interaction with mobile devices. Using zooming notification tiles in place of traditional application launch icons, the user can quickly glance at their device and receive useful notifications, alerts, and updates. Both systems use a variety of interaction techniques that can be executed with a thumb while holding the device in one hand.

Benjamin Bederson

Amy Karlson


Computer Science

Mobility

Project Goblin

Goblin is a software architecture for

Augmented Reality, Virtual Reality, and

3-D games and applications. The platform is implemented in C# and uses

Managed DirectX. Leverages .NET to support innovative application features, including Edit-and-Continue and

Aspect-Oriented Programming.


Steven Feiner

Marc Eaddy


Computer Science

New Faculty

Fellowship

2005

New Faculty

Fellowship 2005


Durand’s research addresses all aspects of image synthesis and capture, and this integration enables him to address transversal issues such as 3-D modeling from 2-D images, relighting of photographs, real-time photorealistic effects and material appearance capture. His research combines computer science, mathematics, physics, visual perception and the visual arts. Fredo Durand


Technology


Computer Science

New Faculty

Fellowship 2005


Khot works in the area of theoretical computer science, with an emphasis on complexity theory. He tackles problems that are among the most difficult and long-standing in computer-science theory, using novel techniques that draw on fields such as coding theory, linear algebra and Fourier analysis. He has provided specific leadership in the use of Probabilistically Checkable Proof

Systems to prove many inapproximability results, an approach that has been proven powerful.

Subhash Khot


Technology

College of Computing

New Faculty

Fellowship 2005


Klein’s research demonstrates the feasibility of unsupervised methods of learning to natural language processing problems such as grammar induction and machine learning. His efforts to enable computers to learn important language information, such as grammar, from abundantly occurring data, as opposed to hand-labeled data, could have an enormous impact.

Dan Klein


Berkeley

Computer Science Division,



Sciences

New Faculty

Fellowship 2005


Nagpal is interested in robust programming paradigms for systems composed of large numbers of embedded, locally interacting, identically programmed nodes, such as sensor-actuator networks, smart materials, and self-assembling and swarm robotics. Her research draws on concepts from embryo development suggested by biologists to explain how globally robust behavior can emerge from the decentralized interactions of less reliable cells.

Radhika Nagpal


Division of Engineering and

Applied Sciences

New Faculty

Fellowship 2005


Wei proposes to use novel techniques in data mining, automatic classification and natural language text retrieval to address a central challenge of molecular biology: linking proteins to their function. She has developed algorithms to find recurring amino acid packing patterns in protein structures and to select those patters whose occurrences are highly associated with known functionalities. Wei Wang

University of North

Carolina at Chapel Hill

Computer Science

Robotics for Teaching


Advanced Software

Engineering with Robotics

This course, CS340, is designed to attract, retain, and inspire future software engineering professionals.

Focus is around major topics and not product. This nine-laboratory course has students participating in team environments and preparing presentations. Topics include project management, requirement capture, semi-formal specifications, objectoriented design, reusability, programming practices, inspections, and formal specifications.


John Knight


Computer Science


Education Outreach: The

Visible Robot

Create a programming lab supplement to the Introduction to AI Robotics course in the MSDNAA Curriculum Repository by using low-cost ER-1s. Introduce computing, good practices in a handson format. Use homeland security related themes for exercises.


Robin Murphy

R. Skibinski

University of South

Florida


Engineering



Mobile Robotics and

Programming Courses

This project will capitalize on the work of Professor John Knight, University of

Virginia to develop and extend the

Mobile Robotics course coupling it with embedded systems and a computer architecture lab. The course will have students learn low-level control, locomotion, and kinematics. The keystone experiences is the implementation of a mapping and localization algorithm within the maze world.

Alvaro Soto

Pontificia Universidad


Computer Science



Building Robotics for ME —

Encouraging Consumption by CS

The Cornell Mechatronics course are exposing students to the functional elements of automation: optical encoders, h-bridge amplifiers, motor responses, simple sensing systems for robotic platforms. This project integrates PC104 with Windows XP

Embedded into the mechatronics curriculum. Students will use the PC104

XPe driven system to write software for higher level robotics controllers.

Ephrahim Garcia


Laboratory for Intelligent

Machine Systems



Techniques of Robotics and

Artificial Intelligence Applied to a Personal Robot

Undergraduate project course that stresses in AI tools for robot positioning and control. Course developed with the

Tablet PC Compaq TC1100 platform and ER1 from Evolution Robotics.

Students utilizing Visual Studio .NET

2003. Introductory and advanced courses.

Claudio Verrastro

Technologic National

University of Buenos

Aires, Argentina

Electronics and Science and

Technology Secretary



Computer Vision Aided

Navigation of Mobile Robots

This course covers the basics of computer vision and trajectory planning for mobile robots in a two dimensions working environment. It will use

Microsoft tools for programming and

ER1 robots kits from Evolution

Robotics. This course will be part of a three course robotics concentration for students of electrical engineering, mechanical engineering, and biomedical engineering.

Carlos Pfeiffer

ITESM, Monterrey, Mexico

Computer Science

Robotics Platforms



Resources for Educational

Robotics

The goal of this project is to provide resources for educators and hobbyists who are interested in constructing lowcost robots using components from the

PC ecosystem. It is hoped that by making it easier for students of all ages to tackle more sophisticated robotics projects we will be able to capture their interest in engineering in general and computer science in particular. One of the goals of this effort will be to provide a compelling alternative based on

Microsoft tools and technologies.

CJ Taylor


Computer Science



Educational Robotics Kit

Robotics has particular efficacy in triggering learning and technology empowerment across a wide range of student ages and interest areas. We propose to develop curriculum methodology and platforms that revolutionize the way robots are used in undergraduate education as a programming and systems science tool in three areas: curriculum development, curriculum development infrastructure, and reference designs and hardware.

Illah Nourbakhsh

Carnegie Mellon

University

The Robotics Institute

Sensor Networks

Sensor Networks


Hourglass: An Infrastructure for Sensor Network

Applications

We propose to develop the Hourglass

Sensor Network Infrastructure, which enables multiple distributed applications to collect data from multiple distributed sensor networks. This architecture is designed to support a world where organizations deploy sensor networks and a possibly overlapping set of organizations develop applications that use the data gathered from those sensor networks. This infrastructure will be developed using a .NET framework and will be prototyped on a range of devices ranging from the lowest-end capable systems we can find to workstation class computers.

Margo Seltzer



Sciences

Sensor Networks


Evolving and Testing Smart

Sensor Networks Using

Windows Embedded XP

A smart sensor is a computationally powerful, feature-rich device that detects and processes environmental stimuli. An embedded smart sensor network (ESSN) is a collection of these high-powered sensors that collaborate to control processes in the system in which they are embedded. We propose a project to develop frameworks for evolving ESSNs and for continuous testing that take into account the critical nature of such networks.

William Leal

Ohio State University,

Columbus


Engineering

Sensor Networks


Sensor Networks and Web

Services

Query processing is proving to be attractive for tasking clouds of wireless sensors. In recent years this field has blossomed in the research community, with proposals for a variety of query processing paradigms. However, the only widely available software is our own TinyDB system, which provides an implementation of only one such paradigm and is difficult to adapt in any significant way. We propose to design and implement a unified sensornet query processing architecture that can be used to achieve a variety of query processing paradigms.

Joe Hellerstein


Berkeley


Computer Science

Sensor Networks


Sensor Networks for Human

Activity Inferencing

We seek to develop blended sensor networks that combine sensors carried by a person with those they may encounter in the environment to determine a user’s context and thereby cause applications to adjust their behavior appropriately. The technical aspects of our work include the development of platforms for the devices the user carries to be used both for sensing as well as user interface, middleware to fluidly adjust what computation is done and where, and discovery and binding algorithms.

Gaetano Borriello



Engineering

Sensor Networks


Web Service Protocols for

Self-Monitoring and Self-

Healing Networked Embedded

Sensor Systems

The proposed research activities aim at developing adaptive software by establishing a novel direction in software composition for networked embedded sensor systems based on

Model-Integrating Computing and Web services. We will investigate scalable solutions that enable reconfiguration in large sensor networks based on distributed algorithms for constraint satisfaction problems. We will develop efficient reconfiguration architectures based on Web services and we will demonstrate the research advances by using an experimental test bed.

Xenofon Koutsoukos

Vanderbilt University


Comp Science

Sensor Networks


Tiered: Development of Tiered

Applications Across Motes and Micro-servers

This research will advance current practice by creating public domain, publicly accessible and modifiable, software that implements middleware services for tiered sensor networks. The middleware services would facilitate both the construction and evaluation of sensor network applications, and the exploration of next-generation sensor network algorithms and mechanisms.

Deborah Estrin


Los Angeles

Computer Science

Sensor Networks


Integrating Sensor Networks into Medical Care Using Web

Services

We propose to develop a Web services –based infrastructure for integrating wireless sensor networks into medical care settings. Sensor networks have the potential to greatly benefit many aspects of medical care, allowing many patients to be continuously monitored using wearable, wireless vital sign sensors. An important challenge that arises in this domain is the integration of real-time sensor data into other information systems, such as hospital patient records and

911/emergency dispatch services.

Matt Welsh



Sciences

Sensor Networks


Wireless Sensor Networks for

Soil Ecosystem Studies

The proposed research will customize, test, and deploy a network of low-cost wireless sensors to monitor the soil and aboveground conditions along an urban-rural gradient. The data will be collected automatically and uploaded into an online, publicly available database. The project will augment ongoing research in the Baltimore

Ecosystem Study (BES), which is part of the NSF funded LTER (Long-Term

Ecological Research) network.

Katalin Szlavecz


Earth and Planetary Sciences

Service Learning



EPICS National Program

EPICS stands for Engineering Projects in Community Service. In this Purdue lead, 15 university program, teams of undergraduates earn academic credit with multiyear, multidisciplinary projects that solve engineering and technologybased problems with community service and education organizations. This partnership provides many benefits to the students and the community alike.

Leah Jamieson

William Oakes


College of Engineering


NSF Engineering Partnership

This program is a partnership between the National Science Foundation,

Hewlett-Packard, Microsoft, and

National Instruments. The goal is to encourage Service Learning initiatives as an additional method in the

Department Level Reform (DLR) initiatives. This has been a two year program.


Microsoft Research

Hewlett-Packard

National Instruments

National Science

Foundation

Directorate for Engineering

Software Engineering


Introduction to Data

Management for Digital

Biology

An undergraduate course for fundamentals of database systems specifically motivated by the database and data management needs to effectively utilize and exploit a wide array of biological, bioscience, and biomedical information resources and data sets.


Z. Meral Ozsoyoglu

Case Western Reserve

University


Computer Science



Team Software Engineering in the PDA Domain

Undergraduate team project course that stresses communication, UML

Modeling, Requirements, Architecture, and Design. Course developed with the

Compact Framework on HP_6315

Pocket PC platform. Students are utilizing Visual Studio 2003 and Visual

Studio 2005 (beta) with the Team

Foundation Server technology. Single course moving to full two semester required.

Robert Kessler

University of Utah

Computer Science


Using SeSF to Formally Test and Define Programs

The SeSF-C# project will integrate

SeSF (Services and Systems

Framework) into C#, resulting in a specification and testing environment for distributed C# programs. SeSF is a compositional formalism for specification and verification of distributed systems. We will integrate

SeSF into C# by treating SeSF as a markup language and deploying a testing harness.


A. Udaya Shankar


Computer Science



Course Project for Teaching

Lightweight Formal Methods

A course organized around the technology of bug finding and verification, where the students do not write programs but rather discover problems in widely used software. It can teach students important science and technology as well as practical skills for improving software quality. This course will consist of lectures on algorithms and systems for improving software quality as well as a comprehensive

Capstone assignment.

Alex Aiken

Stanford University

Computer Science



Formal Models for Software

System Design

Creating a novel formal methods course and accompanying materials that will empower students to use the best of modern formal methods and tools available today and tomorrow, to recognize when they are and are not appropriate, and to apply them in costeffective ways to real software systems.

Professionally packaged for on-campus and distance delivery, an extensible framework, a set of benchmark case studies, and publications describing our course design and experience.

David Garlan

Carnegie Mellon

University

Computer Science



Understanding Pair

Programming

Conducting an investigation into the physical, perceptual, and sociocognitive factors of pair programming, a promising strategy for coping with these problems. Pair programming is known to cost-efficiently yield better software architectures with dramatically fewer defects than traditional techniques. The result of our work will be a working theory of pair programming that will enable line managers to decide precisely when and why to adopt (or avoid) pair programming.

Larry Leifer

Stanford University

Stanford Center for Design

Research



Formal Methods in Software

Engineering Development

Course

The aim is to make formal methods easier to use, by building and providing tools that apply specifications to software development tasks. We will be enhancing our curriculum by integrating formal methods into two courses. Once existing core course and one new elective. These enhancements and new course structure will be in the Spring and Fall of 2005

Michael D. Ernst


Technology



Science


Teaching Modeling

Languages Formally

The purpose of this project is to develop and teach a model-driven software engineering curriculum with formal foundations. The curricula will be based on UML, incorporating both informal and formal approaches.


Claudia Pons

Gustavo Rossi

Carlos Neil

UNLP, UTN, UAI —

Argentina

Computer Science



Formal UML-Based Software

Requirements and Design

The objective of this project is to develop and teach a new undergraduate course on the fundamentals of formal methods based on the UML. The course will be offered as an elective course with the main topic being the practice of formal or formally supported derivation of design specifications from functional specifications.

Yadran Eterovic



Computer Science



Software Engineering and

Project Management: Using

Formal Methods in Real World

Environments

The goal of this course is to provide students with a kind of experience that they would not otherwise be exposed to in an academic environment while also grounding them in the formal methods that are so often ignored in the world of commercial development. We will be developing a set of course materials, develop an information infrastructure for project management, and expand our existing set of external relationships with potential corporate partners in the

Chicago area that can serve as clients for the class.

Kristian J. Hammond

Northwestern University

Computer Science



Software Factory Environment in .NET for Web Applications

Based on OOHDM

OOHDM employs special purpose models and notations (DSLs) for the systematic design and implementation of Web applications, including declarative specifications of the topology of the navigation space and of an abstract interface model. This instructional tool will allow students in graduate and undergraduate courses to have hands-on experience in conducting principled designs of realistic Web applications in the .NET platform, using Visual Studio 2005.

Daniel Schwabe


Católica, Rio de Janeiro

Department of Informatics

Tablet PC and

Computing Curriculum

Tablet PC and


Investigating the Effective

Use of Tablet PCs in

Computer Engineering and

Computer Science Education

We will develop software that allows an instructor to make freeform notes and sketch over the top a screen showing operating programs with the purpose of providing instructive details describing the operations being displayed. We are also experimenting with tablet techniques in the classroom and will produce a large set of examples of how to use the Classroom Presenter tool and the Electronic Transparency tool in typical computer science and engineering learning environments.


Joe Tront



Engineering

Tablet PC and


Short Circuit —An Innovative

Tablet PC Learning

Environment

Project Short Circuit proposes to use a

Tablet PC –enabled technology to graphically interpret circuits, signals, and make connections to circuit theory and calculations. The enabling software implementation technology is

Microsoft’s venerable PowerPoint.

PowerPoint is used to rapidly prototype and animate circuits and enable embedded analysis tools, permitting their study using pen gestures.


Fred Taylor

University of Florida

Computer and Information

Science Engineering

Tablet PC and


A Comparison of Educational

Outcomes when Teaching

Electronic Commerce Using

Traditional vs. Tablet PC –

Enhanced Methods

This project will examine what educational outcome differences, if any, result when teaching an electronic commerce course the traditional way versus the Tablet PC –enhanced approach.


Alfred Weaver


Computer Science

Tablet PC and


Tablet-Based Annotation for

Grading and Peer Review in

Computer Programming

Classes

The purpose of this project is to improve instruction, course management, and student learning in large, introductory computer programming courses, a “placement course” for advanced students, and an upper level software design course.


Jeff Popyack

Drexel University

Computer Science

Tablet PC and


Expanding the Computing

Curriculum Beyond the

Desktop Computer

The integration of the Tablet PCs into three human-computer interaction undergraduate classes: Introduction to

Human-Computer Interaction, User

Interface Software, and Adaptive

Personalized Information Environments.


Jeff Pierce


Technology

College of Computing, GVU

Center

Tablet PC and


Use of a Tablet PC for Peer-

Review Activities in CS1 and

CS2

This project will introduce the use of the

Tablet PC in CS1 and CS2 and will also evaluate how this tool impacts the learning objectives of these courses.


Manuel Perez

Stephen Edwards


Computer Science

Tablet PC and


Development of a Targeted

Tablet PC Software

Development Course

Students will develop Tablet PC software that will assist the instructor to teach data structure concepts such as stacks, queues, lists, trees, graphs, and associated algorithms (for example, arithmetic expression evaluation, tree traversal, shortest path algorithms, and minimum spanning tree construction).


Roy Pargas

Clemson University

Computer Science

Tablet PC and


3D Journal for Computer-

Aided Engineering Education

This project will build a new Tablet PC – based sketching tool for designing and performing physical simulations on 3-D objects.


Hod Lipson


Mechanical Engineering and

Computer Science

Tablet PC and


Toward the Dynamic

Classroom: Utilizing the

Tablet PC to Enhance

Lectures and Team Work

Projects

This project will utilize the flexibility and

‘real-time’ instructional benefits of the

Tablet PC during classroom lectures and presentations, and it will test the benefits of conducting in-class team projects and providing real-time feedback.


Jonathan Hill

Christelle Scharff

Dennis Anderson

Pace University


Information Systems

Tablet PC and


A Tiered Approach to

Evaluating and Exploiting the

Effects of Multi-modal

Communication on

Expression and Learning in the Classroom

This project will evaluate and exploit the effects of oral communication, text/ typing-based communication, and inkbased communication as supported by the Tablet PC on expression and learning in the classroom.


Bill Griswold

Beth Simon


San Diego


Engineering

Tablet PC and


PACT —A Pattern-Annotated

Course Tool

The goal of this project is to develop an authoring tool and a course repository to allow most instructors to develop courses that allow students to explore and discover, to discuss with other students, and to more carefully reflect on their own learning.


John Canny


Berkeley


Computer Science

Tablet PC and


An Ink-Enabled Curriculum for

Data Structures

This project will develop ink-enabled classroom materials for a data structures course, including lecture slides designed to be used with digital ink and electronically supported classroom activities.


Richard Anderson



Engineering

Tablet PC and


A Tablet PC –Based Teaching

Platform for Portable Mixed-

Reality Concept

This project will create a new replicable undergraduate teaching platform for the emerging computing concept of portable mixed-reality.


Daniel Aliaga

Dongyan Xu


Computer Science

Trustworthy

Computing

Trustworthy Computing


Introduction to Trustworthy

Computing: A Hands-on

Approach

Student groups will build computer applications for the medical domain. We chose this particular application area because there is natural context for privacy/security/reliability, and it satisfies our students’ desire to be involved in a project that is simultaneously technically challenging and socially rewarding.

Alfred Weaver


Computer Science




Curriculum

Our ability to fully utilize the power of computing is critically limited by our inability to trust computers. For this reason, we are developing a curriculum that explores questions on trustworthy computing and its legal implications.

We aim to provide an educational resource that deals with an issue fundamental to many aspects of a healthy networked world and is available for free use on a worldwide scale.

Molly Krause


Berkman Center for Internet and Society



A Web-Based Electronic

Laboratory for Trustworthy

Computing

This project will produce a teaching and learning tool called MICS (Multimedia +

Interactive Courseware for information

Security), which consists of a collection of interactive multimedia animations to enhance the undergraduate curriculum in trustworthy computing for a statewide Web-based higher education program in Georgia as well as for our regular onsite information security courses at Southern Polytechnic State

University.

Andy Ju An Wang

Southern Polytechnic

State University

Computing and Software

Engineering



Development of the New

Course: Introduction to


Most of the existing security-related courses in the U.S. focus on only a few aspects of Trustworthy Computing.

Instead, we need to address all aspects: security, privacy, reliability and business integrity. In this course, students will complete a series of welldesigned real-world projects in

Information Security requiring them to conduct experiments, develop programs, perform analysis, and write reports. At least 100 students are expected to take this new course annually.

Edwin Sha


Dallas

Computer Science



Interdisciplinary Trustworthy


Development

We will offer the following three new courses: Introduction to Trustworthy

Computing, Internet Regulation and

Policy, and Internet Security. The first course is an introductory course covering the basic principles of trustworthy computing from multiple disciplines. The second course focuses on the legal, social, business, and computational issues. This proposed curriculum will build a solid foundation in our program toward our long-term goal: creation of a new, radically interdisciplinary, undergraduate program of trustworthy computing.

Northwestern

University

Yan Chen,

Computer Science

Andrea M. Matwyshyn,

School of Law



Introduction to Trustworthy

Computing

Trustworthy computing is analogous to the Total Quality Management movement a decade ago, but the focus now is on IT. We will create a trustworthy computing curriculum as systematic and comprehensive as the

TQM programs that have helped major corporations improve the qualities of their products and services. Trustworthy computing should be embedded in every enterprise process and transaction. In terms of IT applications development, trustworthy computing should be incorporated in the systemdevelopment lifecycle.

Michael Shaw



Beckman Institute



Introducing Trustworthy

Computing to Computer

Science and Computer

Engineering Curriculums at

UNLV

The proposed course will fill the gap of lacking general security course at UNLV and enhance the current curricula in computer/network security areas. Our goals in this course are to expose the students in diversified majors to the concepts and fundamentals of trustworthy computing and to educate students about issues surrounding security, privacy, and reliability.

Yoohwan Kim

University of Nevada

Computer Science



Synergizing Security and


The Department of Computer Science at Columbia University aims to become a center of excellence in computing and communications security, both in research and teaching. We propose to develop a new course, Introduction to

Trustworthy Computing, aimed at undergraduates. We also propose to incorporate awareness of the basic elements of security and reliability throughout higher level courses and develop a new “student programming competition” specifically focused on trustworthy computing.

Gail Kaiser


Computer Science



Integrating Trustworthy

Computing Concepts in an

Undergraduate Computer

Science Curriculum

The goal of this proposal is to develop a plan to infuse Trustworthy Computing concepts in the entire general computer science curriculum. Although our focus will be the courses that are offered in our curriculum, it will be possible for other universities and colleges to integrate such modules in their courses.

We currently work with several colleges in the Atlanta area (Georgia State,

Spelman College, Clark-Atlanta

University, Morehouse College) under the Georgia Tech Information Security

Center education outreach umbrella.

Mustaque Ahamad


Technology

Computer Science



Pervasive Trustworthiness

Education

Cornell’s Computer Science

Department faculty feels that every student who takes computing courses must be exposed and sensitized to the need for trustworthy computing. Society is becoming increasingly dependent on computing systems, so graduates must be able to understand the issues, advance the debate, and help ensure that sensible decisions are made about the risks and their mitigation. Progress in building trustworthy computing systems requires solving problems that are intellectually challenging, making this area a very exciting part of

Computer Science today.

Fred Schneider


Computer Science

Initiative - Microsoft Research

Innovation with Academia

Supported Projects

Compilers, Languages, and Runtimes

Compilers, Languages, and Runtimes:

Phoenix

Compilers, Languages, and Runtimes: SSCLI

ConferenceXP

Embedded Systems

eScience

Game Design

Gender Equity

iCampus

ICT for Underserved

Communities

Mobility

New Faculty

Fellowship

2005

Robotics for Teaching

Robotics Platforms

Sensor Networks

Service Learning

Software Engineering

Tablet PC and

Computing Curriculum

Trustworthy

Computing

Related documents

Products

Support

Initiative - Microsoft Research

Innovation with Academia

Supported Projects

Compilers, Languages, and Runtimes

Compilers, Languages, and Runtimes:

Phoenix

Compilers, Languages, and Runtimes: SSCLI

ConferenceXP

Embedded Systems

eScience

Game Design

Gender Equity

iCampus

ICT for Underserved

Communities

Mobility

New Faculty

Fellowship

2005

Robotics for Teaching

Robotics Platforms

Sensor Networks

Service Learning

Software Engineering

Tablet PC and

Computing Curriculum

Trustworthy

Computing

Related documents

Add this document to collection(s)

Add this document to saved

Suggest us how to improve StudyLib