FPGAs (Field Programmable Gate Arrays) are making their way into data centers (DC). They
are used as accelerators to boost the compute power of individual server nodes and to …

The challenge of today's DBMS is to integrate modern hardware properly in order to provide
efficiency and performance. While emerging technologies like Processing-in-Memory (PIM) …

Verification is indispensable for building reliable of hardware/software co-designs. However,
the scope of formal methods in this domain is limited. This is attributed to the lack of unified …

This paper presents, a log analytics platform with near-storage accelerators for high-
performance, cost-and power-efficient unstructured log processing. offloads log analytics …

Conventional tools for formal hardware/software co-verification use bounded model
checking techniques to construct a single monolithic propositional formula. Formulas …

Unstructured text data is being generated at an unprecedented rate in the form of Twitter
feeds, machine logs or medical records. The analysis of this data is an important step to …

This thesis investigates an energy-efficient, high-performance, and high-density
reconfigurable computing system for cloud data centers. By introducing decentralized fabric …

Despite the performance and power efficiency gains achieved by FPGAs for text analytics
queries, analysis shows a low utilization of the custom hardware operator modules …

Chemical algorithms are statistical control algorithms described and represented as
chemical reaction networks. They are analytically tractable, they reinforce a deterministic …

Low-latency, high-throughput systems for serving interactive queries are crucial to today's
web services. Building such systems for today's web services is challenging due to the …