Principal Investigator Srinivas Devadas
Co-investigators Daniel Sanchez Martin , Arvind
Project Website http://www.csail.mit.edu/research/computation-structures-group
The mission of the Computation Structures Group is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with.
Research is conducted in the areas of hardware synthesis, computer security, computer architecture and VLSI design. We are interested in the scaling of databases and data management systems to 1000-core processors, concurrency control for databases, synthesis and verification of large digital systems described using Guarded Atomic Action, and Memory Models and Cache Coherence Protocols for parallel architectures and languages. Recently, our group pointed out vulnerabilities in anonymizing networks, and designed Riffle, a system with strong anonymity.