Image de couverture de livre

Probabilistic energy profiler for statically typed JVM-based programming languages

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nyholm, Joel, Mostowski, Wojciech, Reichenbach, Christoph
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
par: Åkerblom, Beatrice, et autres
Publié: (2024)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
par: Li, Ao, et autres
Publié: (2025)

A feasible and unitary quantum programming language
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Comparing large language models and human programmers for generating programming code
par: Hou, Wenpin, et autres
Publié: (2024)

A programming language characterizing quantum polynomial time
par: Hainry, Emmanuel, et autres
Publié: (2022)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
par: Mirji, Vittal
Publié: (2026)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
par: Stübinger, Terru, et autres
Publié: (2023)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
par: Rupprecht, Sophia, et autres
Publié: (2025)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
par: Ackerman, Nathanael L., et autres
Publié: (2023)

A programming language combining quantum and classical control
par: Dave, Kinnari, et autres
Publié: (2025)

Efficient compilation and execution of synchronous programs via type-state programming
par: Malik, Avinash
Publié: (2025)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
par: Wong, Lionel, et autres
Publié: (2025)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
par: Zou, Yihao, et autres
Publié: (2026)

Checkpoint-based rollback recovery in session programming
par: Mezzina, Claudio Antares, et autres
Publié: (2023)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
par: Goldstein, Oliver, et autres
Publié: (2024)

A denotationally-based program logic for higher-order store
par: Aagaard, Frederik Lerbjerg, et autres
Publié: (2023)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
par: Heltweg, Philip, et autres
Publié: (2025)

Weighted GKAT: Completeness and Complexity
par: Van Koevering, Spencer, et autres
Publié: (2025)

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

A Probabilistic Choreography Language for PRISM
par: Carbone, Marco, et autres
Publié: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

Tracers for debugging and program exploration
par: Chiplunkar, Shardul, et autres
Publié: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
par: Batz, Kevin, et autres
Publié: (2024)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
par: Różowski, Wojciech, et autres
Publié: (2026)

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
par: Mostowski, Wojciech, et autres
Publié: (2020)

A Nominal Approach to Probabilistic Separation Logic
par: Li, John M., et autres
Publié: (2024)

Compositional theories for host-core languages
par: Trotta, Davide, et autres
Publié: (2020)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
par: Bao, Jialu, et autres
Publié: (2024)

Completeness in static analysis by abstract interpretation, a personal point of view
par: Monniaux, David
Publié: (2022)

Complete first-order reasoning for functional programs
par: Murali, Adithya, et autres
Publié: (2026)

Family Matters: Language Transfer and Merging for Adapting Small LLMs to Faroese
par: Kunz, Jenny, et autres
Publié: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
par: Zilberstein, Noam, et autres
Publié: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
par: Klinkenberg, Lutz, et autres
Publié: (2023)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
par: Wu, Zi-Niu
Publié: (2025)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
par: Fernandes, Matheus Campos, et autres
Publié: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
par: Moreau, Vincent, et autres
Publié: (2023)