Dataflow

This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It… Expand

Deep convolutional neural networks (CNNs) are widely used in modern AI systems for their superior accuracy but at the cost of… Expand

Given a program written in a simple imperative language (assignment statements,for loops, affine indices and loop limits), this… Expand

Increasingly pervasive networks are leading towards a world where data is constantly in motion. In such a world, conventional… Expand

At Berkeley, we are developing TelegraphCQ [1, 2], a dataflow system for processing continuous queries over data streams… Expand

For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit-the dataflow… Expand

We present cycle-static dataflow (CSDF), which is a new model for the specification and implementation of digital signal… Expand

The paper shows how a large class of interprocedural dataflow-analysis problems can be solved precisely in polynomial time by… Expand

This paper reports an experimental study investigating the effectiveness of two code-based test adequacy criteria for identifying… Expand

The authors build upon research by E. A. Lee (1991) concerning the token flow model, an analytical model for the behavior of… Expand