Projects

 

Active Projects »

Reducing Testing Overhead

Unit test virtualization: significantly reducing the time to setup unit tests

 

Managing Sensitive Data on Mobile Devices

Supporting privacy requirements on mobile devices

 

Overcoming the Intuition Wall: Automatic Graphical Analysis of Programs to Discover and Program New Computer Architectures

A joint project encompassing computer architecture, machine learning and software engineering

 

Software Testing for Non-Testable Programs

Automating metamorphic testing techniques at runtime

 

In Vivo Testing

Executing tests in the deployment environment, using the state of the running application

 

genSpace

Enabling collaboration support for users of the geWorkbench computational biology tool

 
 

Please find the list of projects active and retired below. Students interested in positions in the lab for the coming semester should review our current list of student positions.

Active Projects


Reducing Testing Overhead - Unit test virtualization: significantly reducing the time to setup unit tests

Managing Sensitive Data on Mobile Devices - Supporting privacy requirements on mobile devices

Overcoming the Intuition Wall: Automatic Graphical Analysis of Programs to Discover and Program New Computer Architectures - A joint project encompassing computer architecture, machine learning and software engineering

Software Testing for Non-Testable Programs - Automating metamorphic testing techniques at runtime

In Vivo Testing - Executing tests in the deployment environment, using the state of the running application

genSpace - Enabling collaboration support for users of the geWorkbench computational biology tool

Retired Projects


CS/SE Education - New Techniques and Approaches to improve CS/SE Education

An Open Software Framework for the Emulation and Verification of Drosophila Brain Models on Multiple GPUs - Software frameworks and tools to emulate fly brains

Societal Computing - Exploring the impact of computational tradeoffs on societal concerns such as Privacy, Green Computing, Sustainability, and Cultural Differences

ARIS - Automated Online Evaluation for Improving Cyber-Physical System Reliability

HALO SE - Gamifying Software Engineering

VULCANA - VULnerability sCANner Assessment benchmark

CloudView - Peer to Peer Fault Detection and Diagnosis

COMPASS - Providing advice to programmers while they re-engineer their code for parallelism

Retina - Understanding students' programming habits and creating ad hoc social networks

Kheiron - Autonomic computing

Backstop - Helping novice programmers understand and debug runtime errors

CRUNCH - Web proxy

XUES - event-based temporal protocol matching and notification

DISCUS - Decentralized Information Spaces for Composition and Unification of Services

Kinesthetics eXtreme - Continual system validation and coordination

MEET - Event Transport with XML events: survivable, embeddable, extensible, scalable.

Worklets/Workflakes - process-aware mobile agent coordinated communities

AI2TV - A joint project with Profs. Gail Kaiser,  John Kender and Jason Nieh. Flyer (6/01)

CHIME - Immersive multimedia 3D collaborative virtual environments

SurvivorNG - Survivable Enterprise Middleware proposal (doc) (pdf) A Mobile Agent Approach to Process-based Dynamic Adaptation of Complex Software Systems talk (ppt)

FleXML - Flexible XML, backwards-compatible with XML

Taskweb - Open Hypermedia System for Palm PDA

Hi-C - Source code to HTML translator for etags-compatible languages

JIM - Java Instant Messaging

Workgroup Cache - teamwork-oriented recommender architecture

JPernLite - Programmable transaction service for WWW applications

Rivendell - Distributed Tool Service

OzWeb - WWW-based Process-Centered Environment

Pern - Extended Transaction Management Component

Darkover - Object Management System

Marvel - Multi-User Rule-Based Process-Centered Environment

Atlantis - An Open Architecture for Synergy of Process-Centered Environments and Computer-Supported Cooperative Work