:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sukhova, Anna, Akhundov, Alexey, Verzakov, Efim, Bugayenko, Yegor
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2403.17430
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

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

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

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

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026)

Linear Matching of JavaScript Regular Expressions
by: Barrière, Aurèle, et al.
Published: (2023)

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

A Coq Mechanization of JavaScript Regular Expression Semantics
by: De Santo, Noé, et al.
Published: (2024)

Misleading Microbenchmarks on the Java Virtual Machines
by: Schiavio, Filippo, et al.
Published: (2026)

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

jMT: Testing Correctness of Java Memory Models (Extended Version)
by: Panneke, Lukas, et al.
Published: (2026)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

Pattern-Based Peephole Optimizations with Java JIT Tests
by: Zang, Zhiqiang, et al.
Published: (2024)

Local Software Buildability across Java Versions (Registered Report)
by: Sulír, Matúš, et al.
Published: (2024)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

StoneDetector: Conventional and versatile code clone detection for Java
by: Heinze, Thomas S., et al.
Published: (2025)

Verifying Functional Correctness Properties At the Level of Java Bytecode
by: Paganoni, Marco, et al.
Published: (2024)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
by: Paganoni, Marco, et al.
Published: (2024)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
by: Heinze, Thomas S.
Published: (2026)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
by: Khakpour, Narges, et al.
Published: (2025)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

On the State of Coherence in the Land of Type Classes
by: Racordon, Dimi, et al.
Published: (2025)

MapReplay: Trace-Driven Benchmark Generation for Java HashMap
by: Schiavio, Filippo, et al.
Published: (2026)

HITrees: Higher-Order Interaction Trees
by: Ayyam, Amir Mohammad Fadaei, et al.
Published: (2025)

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
by: Thakur, Manoj RameshChandra
Published: (2024)

Developers' Perception: Fixed Bugs Often Overlooked as Quality Contributions
by: Alifanov, Vitaly, et al.
Published: (2024)

Datalog with First-Class Facts
by: Gilray, Thomas, et al.
Published: (2024)

Higher-Order Behavioural Conformances via Fibrations
by: Urbat, Henning
Published: (2025)

SSA without Dominance for Higher-Order Programs
by: Leißa, Roland, et al.
Published: (2026)

Actegories, Copowers, and Higher-Order Message Passing Semantics
by: Cockett, Robin, et al.
Published: (2025)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
by: Samuelson, Ashley, et al.
Published: (2025)