Research Projects By Area

Algorithms and Theory

• Data Mining Meets Data Privacy
• JDelta - Delta Compression Algorithms in Diverse Environments
• Machine Learning
• Computational Geometry
• Closure Systems
• VLSI CAD - Physical Design and Layout

Architecture

• DRPM - Power and Temperature Optimization of Storage Systems
• LAVA - Laboratory for Computer Architecture at Virginia
  • HotSpot - Multi-Granularity Thermal Modeling Tool
  • HotLeakage - Software Model of Leakage
  • Qsilver - Simulation Framework for Graphics Architectures
  • MRRL - Memory Reference Reuse Latency
• CHEETAH - Circuit-switched High-speed Transport Architecture

Artificial Intelligence

• Computer Vision, Robotics, and Planning
• Nancy's Pantry - Helping the Visually Impaired
• Machine Learning

Bioinformatics

• FASTA - Biological Sequence Comparison
• Computational Biology

Dependability

• Helix - A Self-Regenerative Architecture
• Dependability Research Group
• Willow - Survivability Architecture
• Zeus - Practical Formal Techniques for Software Development

Distributed Computing

• VCGR - Virginia Center for Grid Research
• Grid Computing Group
• Legion - World-Wide Virtual Computer
• Isotach - Concurrency control without locks or barriers
• Mentat - Object Oriented Parallel Processing
• WSRF.net - Web Services Resource Framework
• Avaki - Enterprise Information Integration

Electronic Commerce

• Virginia's Center for Innovative Technology

Embedded Systems

• Component-Based OSs for Embedded Systems
• ControlWare - Feedback Performance Control
• NEST - Network of Embedded Systems
• VEST - Virginia Embedded Systems Toolkit
• Wireless Sensor Networks
• Wireless Sensor Networks for Medical Applications
• Collision Detection and Recovery
• Mobile-to-Mobile Mutation Routing
• Calibration in Sensor Networks
• Marionette - Embeded Wireless Debugging
• Hood - Distributed Programming Abstraction
• Semantic Streams
• Calamari - Wireless Sensor Fields

Graphics

• Computer Graphics Group
• Chromium - Scalable Interactive Graphics with Commodity Technology
• Antimony - Fast Blue Noise Generation
• Lithium - Ludic Informatics
• Archsplit - Non-invasive Generation of Exploded Views
• TJC - Scalable Robust Visualization of Large Trees
• GPU - Multigrid Techniques on the GPU
• Qsilver - Simulation Framework for Graphics Architectures
• Data Driven Graphics Appearance Models
• Perspective Warp Resampling
• Painting Interface for Modeling
• Isoluminance Color Selection

Information Management

• Cyberia - Information Retrieval Group
• Info Tech - Information Technology for Mobile and Web Based Systems
• PIE - Personalized Information Environments
• STILT - System for Terrorism Intervention and Large-Scale Teamwork

Modeling and Simulation

• MaSTRI - Modeling and Simulation Technology Research Initiative
• Galileo - Advanced Fault Tree Analysis
• Exelix LLC - Commercial Fault Tree Analsis Tool

National Research Policy

• NAE - National Acedemy of Engineering
  • National Research Council - "Telling Truth to Power"

Networking

• CHEETAH - Circuit-switched High-speed Transport Architecture
  • DOE SCiDAC - Integrated Transport and Provisioning Methods
  • Fast File Transfers Across Optical Networks

Programming Languages

• Coco - Continuous and Adaptive Compilation
  • Strata - Reconfigurable and Retargetable Dynamic Translator
  • PDO - Profit-Driven Optimization
  • TDB - A Transparent Debugger for Dynamically Translated Code
  • Resource Management for Embedded Systems
  • Jazz - Demand-Driven Testing with Dynamic Instrumentation
• Tortola - Hardware-Software Symbiosis
• Software Quality and Reliability
• Ahpah Software Inc. - Reverse Engineering the Java Virtual Machine

Real-Time Systems

• Feedback Control Real-Time Scheduling
• VEST - Virginia Embedded Systems Toolkit
• Wireless Sensor Networks
• Wireless Sensor Networks for Medical Applications

Security

• Helix - A Self-Regenerative Architecture
• Advancing Cyber Security with .NET
• Intrusion Detection
• Physicrypt - Physical Cryptography and Security
• N-Variant - System Structure for Secretless Security

• Eos - Aspect-Oriented Extension for C# on .NET
• Genesis - A Framework for Achieving Component Diversity
• IPA - Inexpensive Program Analysis
• Perracota - Program Dynamic Temporal Analysis
• Software Quality and Reliability
• Jazz - Demand-Driven Testing with Dynamic Instrumentation
• Zeus - Practical Formal Techniques for Software Development

• ADAMS - Advanced DAta Management System
• Alice - Interactive 3D Graphics Authoring System
• BeeHive - Real-Time Multimedia Database Support
• CellSim - Growing cell Programs
• Dynamically Simulated Characters in Graphical Environments
• Holst - Hierarchical Loadable Schedulers
• Intercom - Internet Commerce
• MNG - Multimedia Networks Group
• Naccio - Policy-Directed Code Safety
• Outreach Virginia - Interactive Guide to Public Service Programs

• Robocup - Simulated Soccer
• Scanning Monticello
• Software Predictability Group (QoS)
• Splint - Secure Programming Lint
• Strategic Software Engineering
• SurveySuite - Creation and Administration of Online Surveys
• Swarm Computing - Biologically-Inspired Programming
• VDSLib - View-Dependent Simplification
• VINTLAB - Virginia Internet Teaching Lab
• UVa Computer Architecture
• Zephyr - National Compiler Infrastructure