Projects
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
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
An Open Software Framework for the Emulation and Verification of Drosophila Brain Models on Multiple GPUs - Software frameworks and tools to emulate fly brains
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
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
genSpace - Enabling collaboration support for users of the geWorkbench computational biology tool
Retired Projects
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