Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Programming Languages
2021-07-13 v2 Logic in Computer Science
Abstract
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
Cite
@article{arxiv.2105.14769,
title = {Gillian: A Multi-Language Platform for Unified Symbolic Analysis},
author = {Petar Maksimović and José Fragoso Santos and Sacha-Élie Ayoun and Philippa Gardner},
journal= {arXiv preprint arXiv:2105.14769},
year = {2021}
}
Related papers
View all related →
Programming Languages · Computer Science
Gillian: Compositional Symbolic Execution for All
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner
2020-01-16
Programming Languages · Computer Science
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner
2026-02-10
cmp-lg · Computer Science
GEMINI: A Natural Language System for Spoken-Language Understanding
John Dowding, Jean Mark Gawron, Doug Appelt, John Bear +3
2008-02-03
Instrumentation and Methods for Astrophysics · Physics
Status of GDL - GNU Data Language
A. Coulais, M. Schellens, J. Gales, S. Arabas +9
2011-01-05
Human-Computer Interaction · Computer Science
A Review on Large Language Models for Visual Analytics
Navya Sonal Agarwal, Sanjay Kumar Sonbhadra
2025-03-20
Computation and Language · Computer Science
GFLean: An Autoformalisation Framework for Lean via GF
Shashank Pathak
2024-04-02
Artificial Intelligence · Computer Science
Multimodal Meaning Representation for Generic Dialogue Systems Architectures
Frédéric Landragin, Alexandre Denis, Annalisa Ricci, Laurent Romary
2016-08-14
Software Engineering · Computer Science
Meta-Modeling Semantics of UML
Andy Evans, Kevin Lano, Robert France, Bernhard Rumpe
2014-09-25
Artificial Intelligence · Computer Science
GUI Agents with Foundation Models: A Comprehensive Survey
Shuai Wang, Weiwen Liu, Jingxuan Chen, Yuqi Zhou +11
2025-02-14
Computer Vision and Pattern Recognition · Computer Science
Multimodal Information Fusion for Chart Understanding: A Survey of MLLMs -- Evolution, Limitations, and Cognitive Enhancement
Zhihang Yi, Jian Zhao, Jiancheng Lv, Tao Wang
2026-02-12
Artificial Intelligence · Computer Science
Combining Sub-Symbolic and Symbolic Methods for Explainability
Anna Himmelhuber, Stephan Grimm, Sonja Zillner, Mitchell Joblin +2
2021-12-06
Machine Learning · Computer Science
Heterogeneous Graph Alignment for Joint Reasoning and Interpretability
Zahra Moslemi, Ziyi Liang, Norbert Fortin, Babak Shahbaba
2026-02-02
Quantitative Methods · Quantitative Biology
Conan: a platform for complex network analysis
Ricardo Honorato-Zimmer, Bryan Reynaert, Ignacio Vergara, Tomas Perez-Acle
2010-12-02
Computation and Language · Computer Science
LUNA: A Framework for Language Understanding and Naturalness Assessment
Marat Saidov, Aleksandra Bakalova, Ekaterina Taktasheva, Vladislav Mikhailov +1
2024-01-10
Artificial Intelligence · Computer Science
Analysis Tool for UNL-Based Knowledge Representation
Shamim Ripon, Aoyan Barua, Mohammad Salah Uddin
2014-05-07
cmp-lg · Computer Science
A framework for lexical representation
José M. Goñi, José C. González
2016-08-15
Computation and Language · Computer Science
The Language Interpretability Tool: Extensible, Interactive Visualizations and Analysis for NLP Models
Ian Tenney, James Wexler, Jasmijn Bastings, Tolga Bolukbasi +7
2020-08-13
Distributed, Parallel, and Cluster Computing · Computer Science
Practical language based on systems of definitions
R. Nuriyev
2008-11-03
Databases · Computer Science
Towards an Integrated Platform for Big Data Analysis
Mahdi Bohlouli, Frank Schulz, Lefteris Angelis, David Pahor +3
2020-04-29
Human-Computer Interaction · Computer Science
Designing a Lightweight GenAI Interface for Visual Data Analysis
Ratanond Koonchanok, Alex Kale, Khairi Reda
2025-09-04
Artificial Intelligence · Computer Science
GraphChain: Large Language Models for Large-scale Graph Analysis via Tool Chaining
Chunyu Wei, Wenji Hu, Xingjia Hao, Xin Wang +4
2025-11-11
Computer Vision and Pattern Recognition · Computer Science
Modelling the Distribution of Human Motion for Sign Language Assessment
Oliver Cory, Ozge Mercanoglu Sincan, Matthew Vowels, Alessia Battisti +6
2024-08-20
Computation and Language · Computer Science
Multilingual Large Language Models: A Systematic Survey
Shaolin Zhu, Supryadi, Shaoyang Xu, Haoran Sun +6
2024-11-20
Computation and Language · Computer Science
MetaSRL++: A Uniform Scheme for Modelling Deeper Semantics
Fritz Hohl, Nianheng Wu, Martina Galetti, Remi van Trijp
2023-05-17
Multiagent Systems · Computer Science
PERELMAN: Pipeline for scientific literature meta-analysis. Technical report
Daniil Sherki, Daniil Merkulov, Alexandra Savina, Ekaterina Muravleva
2025-12-29