University of Virginia Department of
    Computer Science
Projects: Descriptions | Areas | PI's | Spotlights | Student Publications | Tech Reps | Posters | Awards | Facilities | News | Photos

Research Projects by Investigator


James Cohoon
VLSI CAD - Physical Design and Layout

Jack Davidson
Coco - Continuous and Adaptive Compilation
Genesis - A Framework for Achieving Component Diversity
Dependability Research Group
N-Variant - System Structure for Secretless Security
Willow - Survivability Architecture
STILT - System for Terrorism Intervention and Large-Scale Teamwork

David Evans
N-Variant - System Structure for Secretless Security
Genesis - A Framework for Achieving Component Diversity
IPA - Inexpensive Program Analysis
Physicrypt - Physical Cryptography and Security
Perracota - Program Dynamic Temporal Analysis
Dependability Research Group
Willow - Survivability Architecture
STILT - System for Terrorism Intervention and Large-Scale Teamwork

James French
Cyberia - Information Retrieval Group
PIE - Personalized Information Environments

Andrew Grimshaw
VCGR - Virginia Center for Grid Research
Legion - World-Wide Virtual Computer
Mentat - Object Oriented Parallel Processing
Avaki - Enterprise Information Integration
PIE - Personalized Information Environments

Sudhanva Gurumurthi
DRPM - Power and Temperature Optimization of Storage Systems

Kim Hazelwood
Tortola - Hardware-Software Symbiosis

Marty Humphrey
Component-Based OSs for Embedded Systems
Grid Computing Group
WSRF.net - Web Services Resource Framework

Greg Humphreys
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
Tortola - Hardware-Software Symbiosis
Ahpah Software Inc. - Reverse Engineering the Java Virtual Machine

Anita Jones
Intrusion Detection

John Knight
Dependability Research Group
Willow - Survivability Architecture
STILT - System for Terrorism Intervention and Large-Scale Teamwork
Genesis - A Framework for Achieving Component Diversity
Zeus - Practical Formal Techniques for Software Development
N-Variant - System Structure for Secretless Security

Jason Lawrence
Computer Graphics Group
Data Driven Graphics Appearance Models
Perspective Warp Resampling
Painting Interface for Modeling
Isoluminance Color Selection

Worthy Martin
Computer Vision, Robotics, and Planning

Nina Mishra
Data Mining Meets Data Privacy
Machine Learning

Bill Pearson
FASTA - Biological Sequence Comparison

Paul Reynolds
MaSTRI - Modeling and Simulation Technology Research Initiative
Isotach - Concurrency control without locks or barriers
Nancy's Pantry - Helping the Visually Impaired

John Pfaltz
Closure Systems

Gabriel Robins
VLSI CAD - Physical Design and Layout
Computational Biology
Computational Geometry

Kevin Skadron
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

  • Mary Lou Soffa
    Coco - Continuous and Adaptive Compilation
  • Strata - Reconfigurable and Retargetable Dynamic Translator
  • TDB - A Transparent Debugger for Dynamically Translated Code
  • Jazz - Demand-Driven Testing with Dynamic Instrumentation
  • PDO - Profit-Driven Optimization
  • Resource Management for Embedded Systems

    Sang Son
    ControlWare - Feedback Performance Control
    Info Tech - Information Technology for Mobile and Web Based Systems
    NEST - Network of Embedded Systems
    Wireless Sensor Networks
    Wireless Sensor Networks for Medical Applications

    Jack Stankovic
    ControlWare - Feedback Performance Control
    NEST - Network of Embedded Systems
    VEST - Virginia Embedded Systems Toolkit
    Component-Based OSs for Embedded Systems
    Wireless Sensor Networks
    Wireless Sensor Networks for Medical Applications

    Kevin Sullivan
    Eos - Aspect-Oriented Extension for C# on .NET
    Galileo - Advanced Fault Tree Analysis
    Exelix LLC - Commercial Fault Tree Analsis Tool

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

    Alfred Weaver
    Advancing Cyber Security with .NET
    JDelta - Delta Compression Algorithms in Diverse Environments
    Virginia's Center for Innovative Technology

    Westley Weimer
    Software Quality and Reliability

    Kamin Whitehouse
    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

    William Wulf
    NAE - National Acedemy of Engineering
  • National Research Council - "Telling Truth to Power"
  • Past Projects


    Projects: Descriptions | Areas | PI's | Spotlights | Student Publications | Tech Reps | Posters | Awards | Facilities | News | Photos

    Projects: Antimony | Archsplit | Bioinformatics | Calamari | Calibration | Chromium | CoCo | Collision Detection | ComponentOS | Computational Geometry | Computer Vision | ControlWare | Data Mining | DDAM | Dependability | DRPM | Eos | FASTA | Feedback Control | Galileo | Genesis | GPU | Graphics | Grid Computing Group | Hood | HotLeakage | HotSpot | IPA | Info Tech | Intrusion Detection | Isoluminance | Isotach | Jazz | JDelta | LAVA | Legion | Lithium | Marionette | MaSTRI | Medical Portal | MRRL | Mutation Routing | NAE | Nancy's Pantry | NEST | N-Variant | PDO | Perracotta | Perspective Warp | Physicrypt | PIE | PRMES | Qsilver | Semantic Streams | Software Quality | STILT | Strata | Surface Deformations | TDB | TJC | Tortola | VCGR | VEST | VLSI CAD | Willow | WSN | WSNM | Zeus |
    Past projects: BeeHive | HoLSt | ITIC | MNG | Multiagents | Naccio | Physical Simulation | QoS | RoboCup | Scanning Monticello | Simplification | Splint | Swarm Computing | VDSlib | VLSIR | Zephyr |

    Faculty: Batson | Bloomfield | Cohoon | Davidson | Evans | French | Grimshaw | Gurumurthi | Hazelwood | Horton | Humphrey | Humphreys | Jones | Knight | Lawrence | Martin | Mishra | Ortega | Pearson | Pfaltz | Reynolds | Robins | shelat |Sherriff |Skadron | Soffa | Son | Stankovic | Sullivan | Veeraraghavan | Weaver | Weimer | Whitehouse | Wulf |