research
∙
05/19/2022
Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads
To conduct real-time analytics computations, big data stream processing ...
share
research
∙
05/16/2022
Cloud Matrix Machine for Julia and Implicit Parallelization for Matrix Languages
Matrix computations are widely used in increasing sizes and complexity i...
research
∙
12/29/2019
Worst-Case Optimal Radix Triejoin
Relatively recently, the field of join processing has been swayed by the...
research
∙
10/23/2019
The Economics of Smart Contracts
Ethereum is a distributed blockchain that can execute smart contracts, w...
research
∙
07/11/2019
Provenance for Large-scale Datalog
Logic programming languages such as Datalog have become popular as Domai...
research
∙
09/11/2018
Vandal: A Scalable Security Analysis Framework for Smart Contracts
The rise of modern blockchains has facilitated the emergence of smart co...
research
∙
11/03/2017
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
Program analysis is a technique to reason about programs without executi...
research
∙
09/12/2017