SOLOMON: Seeking the Truth Via Copying Detection
We live in the Information Era, with access to a huge amount of information from a variety of data sources. However, data sources are of different qualities, often providing conflicting, out-of-date and incomplete data. Data…
Driving with Knowledge from the Physical World
Automated FPGA Verification and Debugging
Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test. To expedite the task of debugging and specification verification, we…
Scalable, Consistent, and Elastic Database Systems for Cloud Platforms
Cloud computing has emerged as a multi-billion dollar industry and as a successful paradigm for web application deployment. Economies-of-scale, elasticity, and pay-per-use pricing have been the biggest promises of cloud. Database management systems (DBMSs) serving…