:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Malik, Avinash
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2508.01199
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
by: Blaabjerg, Jeppe Fredsgaard, et al.
Published: (2023)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

Stream programs are monoid homomorphisms with state
by: Hou, Tyler, et al.
Published: (2025)

The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)

Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)

Tracers for debugging and program exploration
by: Chiplunkar, Shardul, et al.
Published: (2026)

Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)

Likelihood hacking in probabilistic program synthesis
by: Karwowski, Jacek, et al.
Published: (2026)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
by: Goldstein, Oliver, et al.
Published: (2024)

Complete first-order reasoning for functional programs
by: Murali, Adithya, et al.
Published: (2026)

A feasible and unitary quantum programming language
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Checkpoint-based rollback recovery in session programming
by: Mezzina, Claudio Antares, et al.
Published: (2023)

Accessible bridge between category theory and functional programming
by: Kadhi, Fethi
Published: (2024)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
by: Kaddar, Younesse, et al.
Published: (2023)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
by: Esmaeilsabzali, Shahram, et al.
Published: (2025)

A programming language characterizing quantum polynomial time
by: Hainry, Emmanuel, et al.
Published: (2022)

concurrentKanren: miniKanren for parallel execution
by: Dost, Sjoerd
Published: (2025)

Comparing large language models and human programmers for generating programming code
by: Hou, Wenpin, et al.
Published: (2024)

A benchmark for vericoding: formally verified program synthesis
by: Bursuc, Sergiu, et al.
Published: (2025)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
by: Fernandes, Matheus Campos, et al.
Published: (2024)

A denotationally-based program logic for higher-order store
by: Aagaard, Frederik Lerbjerg, et al.
Published: (2023)

Computational thinking: an analysis through structured programming using Scratch
by: Antonieta Kuz
Published: (2023)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Efficient decomposition of unitary matrices in quantum circuit compilers
by: Krol, A. M., et al.
Published: (2021)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
by: Zou, Yihao, et al.
Published: (2026)

A programming language combining quantum and classical control
by: Dave, Kinnari, et al.
Published: (2025)

High-level quantum algorithm programming using Silq
by: Bezganovic, Viktorija, et al.
Published: (2024)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
by: Stübinger, Terru, et al.
Published: (2023)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)

Amplifying human performance in combinatorial competitive programming
by: Veličković, Petar, et al.
Published: (2024)

Qadence: a differentiable interface for digital-analog programs
by: Seitz, Dominik, et al.
Published: (2024)

WatChat: Explaining perplexing programs by debugging mental models
by: Chandra, Kartik, et al.
Published: (2024)

A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
by: Heltweg, Philip, et al.
Published: (2025)

Sidekick compilation with xDSL
by: Fehr, Mathieu, et al.
Published: (2023)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
by: Hu, Jason Z. S., et al.
Published: (2024)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)