Researcher profile
Arash Sahebolamri
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
A Formally Verified Heap Allocator
2018 · Syracuse University Libraries (Syracuse University)
We present the formal verification of a heap allocator written in C. We use the Isabelle/HOL proof assistant to formally verify the correctness of the heap allocator at the source code level. The C source …
-
Datalog with First-Class Facts
2024 · arXiv (Cornell University)
Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reasoning. However, Datalog's restriction to flat facts over atomic constants leads …