123 citations · 135 across the 10 of their papers we have counts for
10 papers
Cloudprofiler: TSC-based inter-node profiling and high-throughput data ingestion for cloud streaming workloads
Shinhyung Yang, Jiun Jeong, Bernhard Scholz +1
To conduct real-time analytics computations, big data stream processing engines are required to process unbounded data streams at millions of events per second. However, current st…
Julia Cloud Matrix Machine: Dynamic Matrix Language Acceleration on Multicore Clusters in the Cloud
Jay Hwan Lee, Yeonsoo Kim, Younghyun Ryu +5
In emerging scientific computing environments, matrix computations of increasing size and complexity are increasingly becoming prevalent. However, contemporary matrix language impl…
The Choice Construct in the Souffle Language
Xiaowen Hu, Joshua Karp, David Zhao +3
Datalog has become a popular implementation language for solving large-scale, real-world problems, including bug finders, network analysis tools, and disassemblers. These applicati…
Worst-Case Optimal Radix Triejoin
Alan Fekete, Brody Franks, Herbert Jordan +1
Relatively recently, the field of join processing has been swayed by the discovery of a new class of multi-way join algorithms. The new algorithms join multiple relations simultane…
The Economics of Smart Contracts
Kirk Baird, Seongho Jeong, Yeonsoo Kim +2
Ethereum is a distributed blockchain that can execute smart contracts, which inter-communicate and perform transactions automatically. The execution of smart contracts is paid in t…
Provenance for Large-scale Datalog
David Zhao, Pavle Subotic, Bernhard Scholz
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program anal…
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Lexi Brent, Anton Jurisevic, Michael Kong +5
The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to…
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
Wasuwee Sodsong, Bernhard Scholz, Sanjay Chawla
Program analysis is a technique to reason about programs without executing them, and it has various applications in compilers, integrated development environments, and security. In…
Optimal On The Fly Index Selection in Polynomial Time
Herbert Jordan, Bernhard Scholz, Pavle Subotić
The index selection problem (ISP) is an important problem for accelerating the execution of relational queries, and it has received a lot of attention as a combinatorial knapsack p…
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
Raymes Khoury, Bernd Burgstaller, Bernhard Scholz
Matrix languages, including MATLAB and Octave, are established standards for applications in science and engineering. They provide interactive programming environments that are eas…