:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Korostinskiy, Roman, Darashkevich, Eugene, Rusyaev, Roman, Bugayenko, Yegor
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2403.06695
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
por: Zakharov, Vladimir, et al.
Publicado: (2024)

On the Origins of Objects by Means of Careful Selection
por: Bugayenko, Yegor, et al.
Publicado: (2022)

$φ$-Calculus: Object-Oriented Formalism
por: Bugayenko, Yegor, et al.
Publicado: (2021)

Compile-Time Java Stream Fusion via mapMulti
por: Bugayenko, Yegor, et al.
Publicado: (2026)

Java Classes with "-Er" and "-Utils" Suffixes Have Higher Complexity
por: Sukhova, Anna, et al.
Publicado: (2024)

Programmers Prefer Individually Assigned Tasks vs. Shared Responsibility
por: Krylova, Adela, et al.
Publicado: (2024)

CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics
por: Bugayenko, Yegor
Publicado: (2024)

Which Part of the Heap is Useful? Improving Heap Liveness Analysis
por: Kanvar, Vini, et al.
Publicado: (2024)

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
por: Walch, Armin, et al.
Publicado: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
por: Lohse, Janine, et al.
Publicado: (2026)

Evaluating the Dependency Between Cyclomatic Complexity and Response For Class
por: Stavtsev, Maxim, et al.
Publicado: (2024)

vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
por: Gerber, Markus Elias, et al.
Publicado: (2025)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
por: Yang, Ziyi, et al.
Publicado: (2025)

An Abstract Domain for Heap Commutativity (Extended Version)
por: Pincus, Jared, et al.
Publicado: (2024)

FO-Complete Program Verification for Heap Logics
por: Murali, Adithya, et al.
Publicado: (2026)

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

Dependent-Type-Preserving Memory Allocation
por: Koronkevich, Paulette, et al.
Publicado: (2025)

Catalpa: GC for a Low-Variance Software Stack
por: Arnold, Anthony, et al.
Publicado: (2025)

Reconsidering "Reconsidering Custom Memory Allocation"
por: van Kempen, Nicolas, et al.
Publicado: (2026)

Collective Allocator Abstraction to Control Object Spatial Locality in C++
por: Hideshima, Takato, et al.
Publicado: (2024)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
por: Rose, Abhishek, et al.
Publicado: (2024)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
por: Zhang, Zehua, et al.
Publicado: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
por: Makor, Lukas, et al.
Publicado: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
por: Yu, ZeHao
Publicado: (2025)

Extending the C/C++ Memory Model with Inline Assembly
por: de Vilhena, Paulo Emílio, et al.
Publicado: (2024)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
por: Kalade, Sarunas, et al.
Publicado: (2025)

Enabling Memory Safety of C Programs using LLMs
por: Mohammed, Nausheen, et al.
Publicado: (2024)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
por: Gumin, Maxim, et al.
Publicado: (2025)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
por: Reitz, Antonin, et al.
Publicado: (2024)

The Impact of Mutability on Cyclomatic Complexity in Java
por: Bagaev, Marat, et al.
Publicado: (2024)

System $F^ω$ with Coherent Implicit Resolution
por: Flesselle, Eugène
Publicado: (2025)

A mean teacher algorithm for unlearning of language models
por: Klochkov, Yegor
Publicado: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
por: Yang, Xiaoxiao, et al.
Publicado: (2017)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
por: Du, Xiaotang, et al.
Publicado: (2026)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
por: Moosbrugger, Marcel, et al.
Publicado: (2026)

Programming of Cellular Automata in C and C++
por: Christen, Patrik
Publicado: (2024)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
por: Jiang, Yuchen, et al.
Publicado: (2025)