Computation Structures Group
We conduct research 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.
If you would like to contact us about our work, please refer to our members below and reach out to one of the group leads directly.
Last updatedAug 09 '21