Research Projects
-
Algorithms and Theory
- FINite Learning Capabilities and Their Limits
- R. Daley
- Middleware Support for Multicast-Based Data Dissemination
- P. Chrysanthis, K. Pruhs
(cross listed under Information and Data Management)
-
Architectures and Compilers
- Chasqui: Program Optimization
- M. Mock
- CoCo: Continuous Compilation
- B. Childers, M. L. Soffa
- COPA - Compilers, Programming Languages, and Architectures
- B. Childers, M. Mock, M. L. Soffa
- Debugging of Optimized Code
- M. L. Soffa
- Demand Driven Computation of Partial Data Flow and its Application to Software Engineering
- M. L. Soffa
- Design Automation Tools for Micro-Scale Mixed Technology Systems
- D. Chiarulli
- Experimental Evaluation of Scalable Optimization Techniques
- M. L. Soffa
- Dynamic Software Testing with Fast Breakpoints on IA32 for Java Applications
- B. Childers, M. L. Soffa
- Optoelectronic Memory System Interface
- D. Chiarulli
- Optoelectronic Multi Chip Modules (MCMs)
- D. Chiarulli
- PARTS - Power Aware Real-Time Systems
- B. Childers, R. Melhem, D. Mossé
(cross listed under Operating Systems and Networks)
- Path and Resource Senstive Optimizations
- M. L. Soffa
- Personal Robotic Assistants for the Elderly
- D. Chiarulli
- Plug-in Module for Scalable and Flexible Software Testing of Java Applications
- B. Childers, M. L. Soffa
- Using AI Plan Generation for GUI Testing
- M. L. Soffa
- Voice Input Interfaces to Embedded Systems
- D. Chiarulli
-
Artificial Intelligence
- Bioinformatics
- M. Hauskrecht
- Modeling and optimization of large stochastic networks
- M. Hauskrecht
- Markov decision processes
- M. Hauskrecht
- Natural Language Processing Lab
- R. Hwa, D. Litman, J. Wiebe
-
Information and Data Management
- Advanced Data Management Technologies Research Group
- P. Chrysanthis, A. Labrinidis
- Middleware Support for Multicast-Based Data Dissemination
- P. Chrysanthis, K. Pruhs
(cross listed under Algorithms and Theory)
-
Operating Systems and Networks
- Buffer snap-off: Optional hardware support for emulated copy and I/O-oriented IPC
- J. Brustoloni
- Connection Control and QoS routing in WDM Networks
- R. Melhem, T. Znati
- Eclipse/BSD: Retrofitting quality of service into a time-sharing system
- J. Brustoloni
- Emulated copy: Copy avoidance with copy semantics in monolithic systems
- J. Brustoloni
- I/O-oriented IPC: Copy avoidance with copy semantics in microkernel systems
- J. Brustoloni
- MicroISPs: Secure LAN-based nomadic Internet access in public areas
- J. Brustoloni
- Network Security
- R. Melhem, D. Mossé, T. Znati
- NetTap: Efficient PC-based platform for network programming
- J. Brustoloni
- PARTS - Power Aware Real-Time Systems
- R. Melhem, D. Mossé, B. Childers
(cross listed under Architectures and Compilers)
- Pebble: A component-based system for embedded applications
- J. Brustoloni
- Productive, Easy to use, Reliable Computer Systems
- R. Melhem
- SRP: Signal-based processing of incoming packets
- J. Brustoloni
- VIPnet: Protecting e-commerce from distributed denial-of-service attacks
- J. Brustoloni