People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Skip to Content

Research Projects by Areas

Architecture

  • NVM -Non-Volatile Memory Hierarchies
  • Processor Reliability - Microprocessor Reliability
  • Diskpower - Energy-Efficient Storage Systems
  • LAVA - Laboratory for Computer Architecture at Virginia

    • Artificial Intelligence

  • Nancy's Pantry - Helping the Visually Impaired

    • Bioinformatics

  • FASTA - Biological Sequence Comparison

    • Dependability

  • Helix - A Self-Regenerative Architecture
  • Dependability Research Group

    • Distributed Computing

  • VCGR - Virginia Center for Grid Research
  • Grid Computing Group

    • Embedded Systems

  • Wireless Sensor Networks
  • Wireless Sensor Networks for Medical Applications
  • Wireless Health
  • Collision Detection and Recovery
  • Mobile-to-Mobile Mutation Routing
  • Calibration in Sensor Networks
  • Marionette - Embedded Wireless Debugging
  • Hood - Distributed Programming Abstraction
  • Semantic Streams
  • Calamari - Wireless Sensor Fields

    •  

    Graphics

  • Data Driven Graphics Appearance Models
  • Perspective Warp Resampling
  • Painting Interface for Modeling
  • Isoluminance Color Selection

    • Programming Languages

  • Tortola - Hardware-Software Symbiosis

    • Real-Time Systems

  • Wireless Sensor Networks
  • Wireless Sensor Networks for Medical Applications

    • Security

  • Helix - A Self-Regenerative Architecture
  • Crowdsourcing - Using Crowdsourcing to Enhance Crisis Management
  • Secure Mobile Computing
  • Relational Keyword Search - Evaluating Relational Keyword Search Systems


    		•

    Past Projects

  • ADAMS - Advanced DAta Management System
  • Advancing Cyber Security with .NET
  • Avaki - Enterprise Information Integration
  • BeeHive - Real-Time Multimedia Database Support
  • CellSim - Growing Cell Programs
  • Coco - Continuous and Adaptive Compilation
  • Computational Biology
  • Computational Geometry
  • Dynamically Simulated Characters in Graphical Environments
  • Eos - Aspect-Oriented Extension for C# on .NET
  • Feedback Control Real-Time Scheduling
  • Galileo - Advanced Fault Tree Analysis
  • Genesis - A Framework for Achieving Component Diversity
  • Holst - Hierarchical Loadable Schedulers
  • Intercom - Internet Commerce
  • IPA - Inexpensive Program Analysis
  • Isotach - Concurrency Control Without Locks or Barriers
  • Jazz - Demand-Driven Testing with Dynamic Instrumentation
  • JDelta - Delta Compression Algorithms in Diverse Environments
  • Legion - World-Wide Virtual Computer
  • MaSTRI - Modeling and Simulation Technology Research Initiative
  • Mentat - Object Oriented Parallel Processing
  • MRRL - Memory Reference Reuse Latency
  • MNG - Multimedia Networks Group
    		•
  • N-Variant - System Structure for Secretless Security
  • Naccio - Policy-Directed Code Safety
  • NEST - Network of Embedded Systems
  • Outreach Virginia - Interactive Guide to Public Service Programs
  • PDO - Profit-Driven Optimization
  • Perracota - Program Dynamic Temporal Analysis
  • Physicrypt - Physical Cryptography and Security
  • Qsilver - Simulation Framework for Graphics Architectures
  • Resource Management for Embedded Systems
  • Robocup - Simulated Soccer
  • Scanning Monticello
  • Software Predictability Group (QoS)
  • Software Quality and Reliability
  • Splint - Secure Programming Lint
  • Strata - Reconfigurable and Retargetable Dynamic Translator
  • Strategic Software Engineering
  • STILT - System for Terrorism Intervention and Large-Scale Teamwork
  • SurveySuite - Creation and Administration of Online Surveys
  • Swarm Computing - Biologically-Inspired Programming
  • TDB - A Transparent Debugger for Dynamically Translated Code
  • VDSLib - View-Dependent Simplification
  • UVa Computer Architecture
  • VLSI CAD - Physical Design and Layout
  • Willow - Survivability Architecture
  • WSRF.net - Web Services Resource Framework
  • Zephyr - National Compiler Infrastructure
    		•