Innovation with Academia - PowerPoint PPT Presentation


PPT – Innovation with Academia PowerPoint presentation | free to download - id: 26977-ZDEwZ


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation

Innovation with Academia


We will use Phoenix to apply novel slicing techniques to automatically generate ... This project uses Phoenix as the code generation engine to decrease overhead and ... – PowerPoint PPT presentation

Number of Views:494
Avg rating:3.0/5.0
Slides: 213
Provided by: ResearchM53
Learn more at:


Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: Innovation with Academia

Innovation with Academia
External Research Programs
  • Supported Projects

Compilers, Languages, and Runtimes
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
Compilers, Languages, and Runtimes
Dynamic Languages for .NET The goal of this
project is to produce infrastructure, best
practices, and community for creating
high-performance 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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
Phase Aware Profiling with Phoenix The goal of
our research is to use the Microsoft Phoenix
Framework to enable transparent, software-based,
post-deployment, 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
Compilers, Languages, and Runtimes Phoenix
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 University of California at
Santa Cruz Computer Sciences
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
Navel Automating Software Support Using Traces
of Software Behavior The project will use
Phoenix as the instrumentation engine for large,
real-world 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
Compilers, Languages, and Runtimes Phoenix
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 University of Texas at
Austin Computer Sciences
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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
Compilers, Languages, and Runtimes Phoenix
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 Electrical
and Computer Engineering
Compilers, Languages, and Runtimes Phoenix
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 University of California at San
Diego Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Paul Kelly Imperial College London, United
Kingdom Computer Science
Compilers, Languages, and Runtimes SSCLI
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 capability-based security.
Dario Alvarez-Gutierrez University of Oviedo,
Spain Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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 Rotors components.
Judith Bishop University of Pretoria, South
Africa Computer Science
Compilers, Languages, and Runtimes SSCLI
RMTkA Memory ManagementToolkit for Rotor The
project will port MMTk to Rotor (yielding RMTk),
giving Rotor researchers access to MMTks wide
range of collectors and novel memory management
Steve Blackburn Australian National University,
Australia Computer Science
Compilers, Languages, and Runtimes SSCLI
Hardware-Based CIL-Machine The project will
investigate feasibility of hardware
implementation of CIL-machine 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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Susan Eisenbach Imperial College London, United
Kingdom Computer Science
Compilers, Languages, and Runtimes SSCLI
Compiler Construction .NET This project will
design and execute an undergraduate compiler
construction course using SSCLI.
Michael Franz University of California at
Irvine Computer Science
Compilers, Languages, and Runtimes SSCLI
Parallel, Real-Time Garbage Collection in Rotor
We propose to develop a parallel, real-time
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
Compilers, Languages, and Runtimes SSCLI
Transactional, Persistent, Managed Runtime
Environments The project will support
transactional execution of threads to improve
concurrency, scalability, and reliability of
Antony Hosking Purdue University Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
RAIL2Runtime 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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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 Comput
er Science
Compilers, Languages, and Runtimes SSCLI
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-Plattner-Institut für
Softwaresystemtechnik, Universität of Potsdam,
Germany Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Information Technology, India Computer Science
Compilers, Languages, and Runtimes SSCLI
Using Software Interactions in the SSCLI Platform
This project will introduce into the SSCLI an
Interaction Service to allow the dynamic
adaptation of component-based applications.
Michel Riveill Ecole Supérieure en Sciences
Informatiques (ESSI), Université de Nice Sophia
Antipolis, France Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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 meta-language annotations to
.NET languagespecific 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
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
Typed Compilation of .NET Common Intermediate
Language This project will extend and adapt
proof-carrying code and typed intermediate
language technologies for use in SSCLI.
Zhong Shao Yale University Computer Science
Compilers, Languages, and Runtimes SSCLI
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 Indian Institute of Science, India
Computer Science
Compilers, Languages, and Runtimes SSCLI
MetaRotor The goal of this project is to explore
the possibilities to deeply integrate the ASFSDF
Meta-Environment into the SSCLI.
Mark van den Brand Hogeschool van Amsterdam,
Netherlands Computer Science
Compilers, Languages, and Runtimes SSCLI
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
Compilers, Languages, and Runtimes SSCLI
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
Enhancing Reliability by Supporting
Path-Diversity Overlay Retransmission This
project investigates a path-diversity 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
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 University of Illinois at
Urbana-Champaign Computer Science and Engineering
Supporting and Enhancing Cooperative Learning
with ConferenceXP-powered I-MINDS My project is
to empower a computer-supported cooperative
learning system called I-MINDS using the
ConferenceXP platform.
Leen-Kiat Soh University of Nebraska Computer
Science and Engineering
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 Computer
Science and Engineering
Classroom Presenter Development and
Deployment This project is to continue the
development and deployment of Classroom
Presenter, a Tablet PCbased 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 University of Washington Computer
Science and Engineering
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 University of California at Santa
Cruz Computer Science and Engineering
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 Electrical
and Computer Engineering
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 Systems
Embedded Assistive Devices A large segment of the
Indian population face different types of
physical disabilitiesincluding 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 Indian Institute of Technology,
Kharagpur Computer Science and Engineering
Embedded Systems
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 Indian Institute of Technology,
Guwahati Computer Science and Engineering
Embedded Systems
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 Computer
Science and Information Systems Group
Embedded Systems
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 Birla Institute of Technology and
Science, Pilani, India Computer Science and
Information Systems
Embedded Systems
Looking for New Instructions and Optimizations in
Embedded Systems 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
Embedded Systems
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
Embedded Systems
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 Systems
Embedded IPv6 Performance Issues To investigate
performance issues with IPv6 when implemented in
embedded systems through simulation and actual
David Jones RMIT University Electrical and
Computer Engineering
Embedded Systems
Microsoft Embedded ProgramRFP 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.
Peter Stanski Monash University Computer Science
and Engineering
Embedded Systems
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 Electrical and
Computer Engineering
Embedded Systems
Systems for Embodied Evolutionary Robotics This
is a proposal for using Windows CE .NET in the
application area of real-time 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 Cornell University School of
Mechanical and Aerospace Engineering
Embedded Systems
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
Raff DAndrea Cornell University Electrical and
Computer Engineering
Embedded Systems
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
Rodolfo Azevedo University of California at
Irvine Electrical and Computer Engineering
Embedded Systems
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
Kane Kim University of California at
Irvine Electrical and Computer Engineering
Embedded Systems
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 .NETbased distributed
application framework, ROCI (Remote Objects
Control Interface), to the Windows CE .NET
CJ Taylor University of Pennsylvania Electrical
and Systems Engineering
Embedded Systems
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
Embedded Systems
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 higher-level languages,
and it would be sufficiently powerful to provide
significant intelligence to the application.
Wyatt Newman Case Western Reserve
University Electrical Engineering and Computer
Embedded Systems
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
Embedded Systems
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 general-purpose 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 Electrical and Computer
Embedded Systems
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 Computer
Science and Engineering
Embedded Systems
A Proposal for a Microsoft Embedded Systems
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 Electrical and Computer Engineering
Embedded Systems
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
Embedded Systems
Embedded 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
Embedded Systems
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 Electrical
and Computer Engineering
Embedded Systems
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
Building a Scalable Display Wall with
Off-the-Shelf Components We devised a method to
channel a cameras 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
Information Technology, Hyderabad Center for
Visual Information Technology
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 Georgia Institute of Technology The
Wallace H. Coulter Department of Biomedical
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 Indian Institute of Science,
Bangalore Supercomputer Education and Research
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
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
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
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
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 University of Texas at
Austin Texas Memorial Museum and Department of
Geological Sciences
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 University of Washington Astronomy
Notebook Project The Notebook application is a
client-side 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 University of California at San
Diego San Diego Supercomputer Center (SDSC)
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 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
Uma Shama Bridgewater State College Mathematics
and Computer Science
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
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
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
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
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 foldsan
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 University of Washington Departmen
t of Medicinal Chemistry
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
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
InteGrade Object-Oriented Grid Middleware
Leveraging Idle Computing Power of Desktop
Machines InteGrade main goals Preserves resource
providers 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, inter-school 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 cross-disciplinary 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 Computer
Science and Engineering
Game Design
Laboratory for Computer Games Technology Organizat
ion 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 Mellons Entertainment
Technology Center (, we are creating
two tools for broad distribution. Alice
( is intended for introductory
computer programming courses, providing a
revolutionary video-game authoring approach.
Panda3D ( 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 SchellJosh 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 educationhalf 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
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 Massachusetts Institute
of Technology Biological Engineering
iLabs Remote Online Laboratories The iLabs
project is dedicated to the proposition that
online laboratoriesreal laboratories accessed
through the Internetcan 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//
Steve Lerman Jesus del Alamo Massachusetts
Institute of Technology Center for Educational
Sketch UnderstandingMagic 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//
Randall Davis Massachusetts Institute of
Technology Department of Electrical Engineering
and Computer Science
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 Massachusetts
Institute of Technology Foreign Languages and
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 Massachusetts Institute of
Technology Media Lab Robotic Life Group
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 Massachusetts
Institute of Technology Tangible Media Group
The Classroom Learning Partner Electronic
Support for Student Learning We propose to
support formative classroom assessment in large
classes by developing a Tablet PCbased system
that supports in-class exercises by allowing
students to submit non-multiple 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 Massachusetts
Institute of Technology Electrical Engineering
and Computer Science
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 Massachusetts
Institute of Technology Health Science and
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 users location, the
system utilizes client-based software that
reports to the placeMap server with which the
users 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 Massachusetts
Institute of Technology Media Lab Context Aware
CWSpace OCW DSPACE To harvest and digitally
archive MIT OpenCourseWare learning objects and
make them available to learning ma