:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Krogstie, Håvard Rognebakke, Bahmann, Helge, Själander, Magnus, Reissmann, Nico
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2512.07299
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

R-HLS: An IR for Dynamic High-Level Synthesis and Memory Disambiguation based on Regions and State Edges
by: Metz, David, et al.
Published: (2024)

EPIC: An Energy-Efficient, High-Performance GPGPU Computing Research Infrastructure
by: Själander, Magnus, et al.
Published: (2019)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

Polynomial Invariant Generation for Floating-Point Programs
by: Cai, Xuran, et al.
Published: (2025)

Towards Fixed-Point Formats Determination for Faust Programs
by: Herrou, Agathe, et al.
Published: (2024)

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
by: Rasheed, Abdullah H., et al.
Published: (2026)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
by: Foo, Yong Qi, et al.
Published: (2025)

Programming of Cellular Automata in C and C++
by: Christen, Patrik
Published: (2024)

Verifying Floating-Point Programs in Stainless
by: Gilot, Andrea, et al.
Published: (2026)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
by: Amtoft, Torben, et al.
Published: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)

Hybriddichtefunktionale – die nächste Generation/Trendbericht Theoretische Chemie 2024 (3/3)
by: Hilke Bahmann
Published: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
by: Halalingaiah, Shashin, et al.
Published: (2024)

DAE4HLS: Exposing Memory-Level Parallelism for High-Level Synthesis using Explicit Decoupling
by: Metz, David, et al.
Published: (2026)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

C-lisp and Flexible Macro Programming with S-expressions
by: Padmaraman, Vedanth, et al.
Published: (2024)

A Categorical Basis for Robust Program Analysis
by: Kincaid, Zachary, et al.
Published: (2026)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Soundly Handling Linearity
by: Tang, Wenhao, et al.
Published: (2023)

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Static Analysis Under Non-Deterministic Program Assumptions
by: Rasheed, Abdullah H.
Published: (2026)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
by: Sano, Jin, et al.
Published: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)

Anvendelse av kunstig intelligens (KI) i Norge i norsk offentlig sektor 2024
by: Krogstie, John
Published: (2024)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

Probabilistic Interval Analysis of Unreliable Programs
by: Das, Dibyendu, et al.
Published: (2024)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Automated Verification of Soundness of DNN Certifiers
by: Singh, Avaljot, et al.
Published: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
by: Ciccalè, Marco, et al.
Published: (2025)