English
Related papers

Related papers: VEIL: Reading Control Flow Graphs Like Code

200 papers

We present experimental results and a user study for hierarchical drawings of graphs. A detailed hierarchical graph drawing technique that is based on the Path Based Framework (PBF) is presented. Extensive edge bundling is applied to draw…

Human-Computer Interaction · Computer Science 2022-09-13 Panagiotis Lionakis , Giorgos Kritikakis , Ioannis G. Tollis

Diagrams are widely used to visualize data in publications. The research field of data visualization deals with defining principles and guidelines for the creation and use of these diagrams, which are often not known or adhered to by…

Artificial Intelligence · Computer Science 2025-09-30 Johannes Rückert , Louise Bloch , Christoph M. Friedrich

Graph Transformers (GTs) have made remarkable achievements in graph-level tasks. However, most existing works regard graph structures as a form of guidance or bias for enhancing node representations, which focuses on node-central…

Machine Learning · Computer Science 2024-12-10 Xiaorui Qi , Qijie Bai , Yanlong Wen , Haiwei Zhang , Xiaojie Yuan

Human perception of graph drawings is influenced by a variety of impact factors for which quality measures are used as a proxy indicator. The investigation of those impact factors and their effects is important to evaluate and improve…

Graphics · Computer Science 2025-08-05 Ying Zhang , Niklas Groene , Karsten Klein , Giuseppe Liotta , Falk Schreiber

Execution graphs of parallel loop programs exhibit a nested, repeating structure. We show how such graphs that are the result of nested repetition can be represented by succinct parametric structures. This parametric graph template…

Data Structures and Algorithms · Computer Science 2023-07-18 Tal Ben-Nun , Lukas Gianinazzi , Torsten Hoefler , Yishai Oltchik

Graphs are a representation of structured data that captures the relationships between sets of objects. With the ubiquity of available network data, there is increasing industrial and academic need to quickly analyze graphs with billions of…

Machine Learning · Computer Science 2023-07-28 Brandon Mayer , Anton Tsitsulin , Hendrik Fichtenberger , Jonathan Halcrow , Bryan Perozzi

Despite significant progress, multimodal large language models continue to struggle with visual mathematical problem solving. Some recent works recognize that visual perception is a bottleneck in visual mathematical reasoning, but their…

Computer Vision and Pattern Recognition · Computer Science 2026-02-25 Shuhang Chen , Yunqiu Xu , Junjie Xie , Aojun Lu , Tao Feng , Zeying Huang , Ning Zhang , Yi Sun , Yi Yang , Hangjie Yuan

Advancing research in the emerging field of deep graph learning requires new tools to support tensor computation over graphs. In this paper, we present the design principles and implementation of Deep Graph Library (DGL). DGL distills the…

Node-link diagrams are widely used to facilitate network explorations. However, when using a graph drawing technique to visualize networks, users often need to tune different algorithm-specific parameters iteratively by comparing the…

Human-Computer Interaction · Computer Science 2019-10-10 Yong Wang , Zhihua Jin , Qianwen Wang , Weiwei Cui , Tengfei Ma , Huamin Qu

Graph representation learning (GRL) is to encode graph elements into informative vector representations, which can be used in downstream tasks for analyzing graph-structured data and has seen extensive applications in various domains.…

Machine Learning · Computer Science 2024-06-21 Hewen Wang , Renchi Yang , Xiaokui Xiao

In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading framework that merges results obtained by combination of these…

Artificial Intelligence · Computer Science 2012-07-02 Milena Vujosevic-Janicic , Mladen Nikolic , Dusan Tosic , Viktor Kuncak

Compiler architects increasingly look to machine learning when building heuristics for compiler optimization. The promise of automatic heuristic design, freeing the compiler engineer from the complex interactions of program, architecture,…

Programming Languages · Computer Science 2020-12-04 Chris Cummins , Hugh Leather , Zacharias Fisches , Tal Ben-Nun , Torsten Hoefler , Michael O'Boyle

Subgraph Isomorphism uses a small graph as a pattern to identify within a larger graph a set of vertices that have matching edges. This paper addresses a logic program written in Prolog for a specific relatively complex graph pattern for…

Logic in Computer Science · Computer Science 2026-01-14 Claire Y. Yin , Peter M. Kogge

Communication networks form the backbone of our society. Topology control algorithms optimize the topology of such communication networks. Due to the importance of communication networks, a topology control algorithm should guarantee…

Software Engineering · Computer Science 2018-05-10 Roland Kluge , Michael Stein , Gergely Varró , Andy Schürr , Matthias Hollick , Max Mühlhäuser

Graph analysis is a critical component of applications such as online social networks, protein interactions in biological networks, and Internet traffic analysis. The arrival of massive graphs with hundreds of millions of nodes, e.g. social…

Social and Information Networks · Computer Science 2015-03-19 Xiaohan Zhao , Alessandra Sala , Haitao Zheng , Ben Y. Zhao

The ability to control a complex network towards a desired behavior relies on our understanding of the complex nature of these social and technological networks. The existence of numerous control schemes in a network promotes us to wonder:…

Systems and Control · Computer Science 2016-12-01 Xizhe Zhang , Tianyang Lv , Yuanyuan Pu

Many computational chemistry and molecular simulation workflows can be expressed as graphs. This abstraction is useful to modularize and potentially reuse existing components, as well as provide parallelization and ease reproducibility.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-05 Thomas Löhr , Michele Assante , Michael Dodds , Lili Cao , Mikhail Kabeshov , Jon-Paul Janet , Marco Klähn , Ola Engkvist

Recent progress in vision-language models (VLMs) has opened new possibilities for robot task planning, but these models often produce incorrect action sequences. To address these limitations, we propose VeriGraph, a novel framework that…

Robotics · Computer Science 2026-04-20 Daniel Ekpo , Mara Levy , Saksham Suri , Chuong Huynh , Archana Swaminathan , Abhinav Shrivastava

Learning distributions of graphs can be used for automatic drug discovery, molecular design, complex network analysis, and much more. We present an improved framework for learning generative models of graphs based on the idea of deep state…

Machine Learning · Computer Science 2021-12-07 Julian Stier , Michael Granitzer

Vision-and-Language Navigation (VLN) requires an embodied agent to traverse complex environments by following natural language instructions, demanding accurate alignment between visual observations and linguistic guidance. Despite recent…

Computer Vision and Pattern Recognition · Computer Science 2025-12-24 Yaohua Liu , Xinyuan Song , Yunfu Deng , Yifan Xie , Binkai Ou , Yan Zhong