paper-with-me

Papers

Recursive Function Definitions in Static Dataflow Graphs and their Implementation in TensorFlow

2024-10-26 · Kelly Kostopoulou, Angelos Charalambidis, Panos Rondogiannis

Modern machine learning systems represent their computations as dataflow graphs. The increasingly complex neural network architectures crave for more powerful yet efficient programming abstractions. In this paper we propose an efficient technique for supporting recursive function definitions in dataflow-based systems such as TensorFlow. The proposed approach transforms the given recursive definitions into a static dataflow graph that is enriched with two simple yet powerful dataflow operations. Since static graphs do not change during execution, they can be easily partitioned and executed efficiently in distributed and heterogeneous environments. The proposed technique makes heavy use of the idea of tagging, which was one of the cornerstones of dataflow systems since their inception. We demonstrate that our technique is compatible with the idea of automatic differentiation, a notion that is crucial for dataflow systems that focus on deep learning applications. We describe the principles of an actual implementation of the technique in the TensorFlow framework, and present experimental results that demonstrate that the use of tagging is of paramount importance for developing efficient high-level abstractions for modern dataflow systems.

📄 PDF Abstract BibTeX arXiv:2410.20225

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Focus 설명 없음

Similar Papers 제목 키워드 기반

Improving the Expressiveness of Deep Learning Frameworks with Recursion

2018-09-04 · Eunji Jeong, Joo Seong Jeong, Soojeong Kim, Gyeong-In Yu 외

Recursive neural networks have widely been used by researchers to handle applications with recursively or hierarchically structured data. However, embedded control flow deep learning frameworks such as TensorFlow, Theano…

Deep Learning

Auto-Vectorizing TensorFlow Graphs: Jacobians, Auto-Batching And Beyond

2019-03-08 · Ashish Agarwal, Igor Ganichev

We propose a static loop vectorization optimization on top of high level dataflow IR used by frameworks like TensorFlow. A new statically vectorized parallel-for abstraction is provided on top of TensorFlow, and used for…

Cavs: A Vertex-centric Programming Interface for Dynamic Neural Networks

2017-12-11 · Hao Zhang, Shizhen Xu, Graham Neubig, Wei Dai 외

Recent deep learning (DL) models have moved beyond static network architectures to dynamic ones, handling data where the network structure changes every example, such as sequences of variable lengths, trees, and graphs. …

Dynamic neural networksgraph constructionManagementScheduling

Static Analysis of Recursive SHACL

2026-05-04 · Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus arxiv

SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a SHACL document. But so far, there are n…

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding

2026-04-09 · Pengfei He, Shaowei Wang, Tse-Hsun Chen, Muhammad Asaduzzaman arxiv

Static program slicing is a fundamental software engineering technique for isolating code relevant to specific variables. While recent learning-based approaches using language models (LMs) show promise in automating slic…