Embedded Systems

Tarek F. Abdelzaher
Prof. Abdelzaher is especially interested in developing theory, architectural support, and computing abstractions for predictability in software systems, motivated by increasing software complexity and the growing sources of non-determinism. Applications range from sensor networks to large-scale server farms, and from avionics to homeland defense.
Vikram Adve

Professor Adve's broad research interest lies in using compilers (more generally, program analysis and transformation techniques) as tools for improving the performance, programmability, and security of modern computer systems. His research emphasizes the development of novel systems, compilation techniques, and (where necessary) language features to address these problems.
Lui Sha

Processors, memory, storage, networking are becoming so small, powerful, and inexpensive that they are giving birth to a new generation of digital infrastructure, in which computing, communication, sensing, and control are tightly integrated.
Efficient Resource Management for Controlled-Mobility Wireless Networks

funded by the National Science Foundation
Methodologies and Tools for Designing and Implementing Large-Scale, Real-Time Systems

funded by the National Science Foundation (subcontracted from Vanderbilt University)
Dependable and Secured Embedded Systems

funded by the National Science Foundation
SoD: A Feedback-Based Architecture for Highly Reliable Embedded Software

funded by the National Science Foundation
Customizable Coordination Services for Large-Scale Network Embedded Systems

funded by the Defense Advanced Research Projects Agency
Flexible and Survivable Embedded Systems

funded by National Science Foundation