Stale Profile Matching

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ayupov, Amir, Panchenko, Maksim, Pupyrev, Sergey
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
di: Bouras, Dimitrios Stamatios, et al.
Pubblicazione: (2026)

Kotlin ML Pack: Technical Report
di: Titov, Sergey, et al.
Pubblicazione: (2024)

How Programming Concepts and Neurons Are Shared in Code Language Models
di: Kargaran, Amir Hossein, et al.
Pubblicazione: (2025)

Understanding Accelerator Compilers via Performance Profiling
di: Yorihiro, Ayaka, et al.
Pubblicazione: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
di: Xie, Xiaoheng, et al.
Pubblicazione: (2024)

Towards a Transpiler for C/C++ to Safer Rust
di: Tripuramallu, Dhiren, et al.
Pubblicazione: (2024)

Type-level Property Based Testing
di: Hansen, Thomas Ekström, et al.
Pubblicazione: (2024)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
di: Marron, Mark
Pubblicazione: (2024)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
di: Qiu, Ruidi, et al.
Pubblicazione: (2024)

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

Easing Maintenance of Academic Static Analyzers
di: Monat, Raphaël, et al.
Pubblicazione: (2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

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

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
di: Zhang, Bowen, et al.
Pubblicazione: (2024)

Verified invertible lexer using regular expressions and DFAs
di: Chassot, Samuel, et al.
Pubblicazione: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

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

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
di: Ravikumar, Shruthi, et al.
Pubblicazione: (2024)

RaceFixer -- An Automated Data Race Fixer
di: Malakar, Sanjay, et al.
Pubblicazione: (2024)

On Repairing Quantum Programs Using ChatGPT
di: Guo, Xiaoyu, et al.
Pubblicazione: (2024)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
di: Wu, Guanxuan, et al.
Pubblicazione: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

A New Generation of Intelligent Development Environments
di: Marron, Mark
Pubblicazione: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
di: Bucev, Mario, et al.
Pubblicazione: (2024)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
di: Steffen, Bernhard, et al.
Pubblicazione: (2024)

Inferring Non-Failure Conditions for Declarative Programs
di: Hanus, Michael
Pubblicazione: (2024)

On the Anatomy of Real-World R Code for Static Analysis
di: Sihler, Florian, et al.
Pubblicazione: (2024)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
di: Montesi, Fabrizio, et al.
Pubblicazione: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
di: Arfi, Farid, et al.
Pubblicazione: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
di: Szabo, Violet, et al.
Pubblicazione: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

From a Natural to a Formal Language with DSL Assistant
di: Mosthaf, My M., et al.
Pubblicazione: (2024)

Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
di: Zhang, Hanliang, et al.
Pubblicazione: (2024)

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

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

Choosing the Right Communication Protocol for your Web Application
di: Hassan, Mohamed
Pubblicazione: (2024)

An Effectively $Ω(c)$ Language and Runtime
di: Marron, Mark
Pubblicazione: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
di: Cirstea, Horatiu, et al.
Pubblicazione: (2024)