:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Lagouvardos, Sifis, Bollanos, Yannis, Grech, Neville, Smaragdakis, Yannis
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2409.11157
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Precise Static Identification of Ethereum Storage Variables (Extended Version)
por: Lagouvardos, Sifis, et al.
Publicado: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
por: Smaragdakis, Yannis, et al.
Publicado: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
por: Diamantakis, Panagiotis, et al.
Publicado: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
por: Antoniadis, Anastasios, et al.
Publicado: (2025)

LLM4Decompile: Decompiling Binary Code with Large Language Models
por: Tan, Hanzhuo, et al.
Publicado: (2024)

Superset Decompilation
por: Liu, Chang, et al.
Publicado: (2026)

Decompiling for Constant-Time Analysis
por: Arranz-Olmos, Santiago, et al.
Publicado: (2025)

Register Aggregation for Hardware Decompilation
por: Rao, Varun, et al.
Publicado: (2024)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
por: Wang, Yongpan, et al.
Publicado: (2025)

Disability Representations: Finding Biases in Automatic Image Generation
por: Tevissen, Yannis
Publicado: (2024)

The Incredibly Shrinking World of Imagination.
por: Kassem, Lou
Publicado: (1992)

JaxDecompiler: Redefining Gradient-Informed Software Design
por: Pochelu, Pierrick
Publicado: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
por: Zhou, Zixu
Publicado: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
por: Armengol-Estapé, Jordi, et al.
Publicado: (2023)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

NLP for The Greek Language: A Longer Survey
por: Papantoniou, Katerina, et al.
Publicado: (2024)

Wortbildung und Kategorisierung am Beispiel der desubstantivischen Wortbildung des Russischen
por: Kakridis, Yannis
Publicado: (2019)

HarmLevelBench: Evaluating Harm-Level Compliance and the Impact of Quantization on Model Alignment
por: Belkhiter, Yannis, et al.
Publicado: (2024)

Towards Retrieval Augmented Generation over Large Video Libraries
por: Tevissen, Yannis, et al.
Publicado: (2024)

Self-Constructed Context Decompilation with Fined-grained Alignment Enhancement
por: Feng, Yunlong, et al.
Publicado: (2024)

I can listen but cannot read: An evaluation of two-tower multimodal systems for instrument recognition
por: Vasilakis, Yannis, et al.
Publicado: (2024)

Synthetic Speech Source Tracing using Metric Learning
por: Koutsianos, Dimitrios, et al.
Publicado: (2025)

DeepMLF: Multimodal language model with learnable tokens for deep fusion in sentiment analysis
por: Georgiou, Efthymios, et al.
Publicado: (2025)

TRACES: Tagging Reasoning Steps for Adaptive Cost-Efficient Early-Stopping
por: Belkhiter, Yannis, et al.
Publicado: (2026)

Freer Arrows and Why You Need Them in Haskell
por: VanDomelen, Grant, et al.
Publicado: (2025)

Empowering Prior to Court Legal Analysis: A Transparent and Accessible Dataset for Defensive Statement Classification and Interpretation
por: Spyridis, Yannis, et al.
Publicado: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
por: Peng, Xuanyu, et al.
Publicado: (2025)

Step-Tagging: Toward controlling the generation of Language Reasoning Models through step monitoring
por: Belkhiter, Yannis, et al.
Publicado: (2025)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
por: Ohm, Marc, et al.
Publicado: (2023)

RAGAPHENE: A RAG Annotation Platform with Human Enhancements and Edits
por: Fadnis, Kshitij, et al.
Publicado: (2025)

Context-Aware Separation Logic
por: Meyer, Roland, et al.
Publicado: (2023)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
por: Fabian, Xaver, et al.
Publicado: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
por: LaFontaine, Patrick, et al.
Publicado: (2025)

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
por: Zhang, Yihan, et al.
Publicado: (2026)

On a Theorem by Schlenk
por: Bähni, Yannis
Publicado: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
por: Gong, Wen G.
Publicado: (2026)

Deadlock-free Context-free Session Types
por: Mordido, Andreia, et al.
Publicado: (2025)

Post-training Large Language Models for Diverse High-Quality Responses
por: Chen, Yilei, et al.
Publicado: (2025)

EarlySciRev: A Dataset of Early-Stage Scientific Revisions Extracted from LaTeX Writing Traces
por: Jourdan, Léane, et al.
Publicado: (2026)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)