中文
相关论文

相关论文: Hydra: Efficient, Correct Code Generation via Chec…

200 篇论文

While code large language models have demonstrated remarkable progress in code generation, the generated code often exhibits poor runtime efficiency, limiting its practical application in performance-sensitive scenarios. To address this…

软件工程 · 计算机科学 2025-08-29 Yunlong Feng , Yang Xu , Xiao Xu , Binyuan Hui , Junyang Lin

We present Hydra, a low-latency, low-overhead, and highly available resilience mechanism for remote memory. Hydra can access erasure-coded remote memory within a single-digit microsecond read/write latency, significantly improving the…

分布式、并行与集群计算 · 计算机科学 2023-05-30 Youngmoon Lee , Hasan Al Maruf , Mosharaf Chowdhury , Asaf Cidon , Kang G. Shin

Visual document understanding typically requires separate retrieval and generation models, doubling memory and system complexity. We present Hydra, a dual-head approach that provides both ColBERT-style late-interaction retrieval and…

计算机视觉与模式识别 · 计算机科学 2026-04-21 Athos Georgiou

Hydra is a header-only, templated and C++11-compliant framework designed to perform the typical bottleneck calculations found in common HEP data analyses on massively parallel platforms. The framework is implemented on top of the C++11…

数学软件 · 计算机科学 2017-11-17 A. A. Alves , M. D. Sokoloff

Large language models for code (CodeLLMs) have demonstrated remarkable success in standalone code completion and generation, sometimes even surpassing human performance, yet their effectiveness diminishes in repository-level settings where…

软件工程 · 计算机科学 2026-02-13 Minh Le-Anh , Huyen Nguyen , Khanh An Tran , Nam Le Hai , Linh Ngo Van , Nghi D. Q. Bui , Bach Le

Malware detection using Hardware Performance Counters (HPCs) offers a promising, low-overhead approach for monitoring program behavior. However, a fundamental architectural constraint, that only a limited number of hardware events can be…

密码学与安全 · 计算机科学 2026-02-10 Eli Propp , Seyed Majid Zahedi

Modern distributed pipelined query engines either do not support intra-query fault tolerance or employ high-overhead approaches such as persisting intermediate outputs or checkpointing state. In this work, we present write-ahead lineage, a…

分布式、并行与集群计算 · 计算机科学 2024-03-14 Ziheng Wang , Alex Aiken

Software security testing, particularly when enhanced with deep learning models, has become a powerful approach for improving software quality, enabling faster detection of known flaws in source code. However, many approaches miss post-fix…

密码学与安全 · 计算机科学 2026-04-14 Mohammad Farhad , Sabbir Rahman , Shuvalaxmi Dass

In order to efficiently use the future generations of supercomputers, fault tolerance and power consumption are two of the prime challenges anticipated by the High Performance Computing (HPC) community. Checkpoint/Restart (CR) has been and…

分布式、并行与集群计算 · 计算机科学 2017-08-08 Faisal Shahzad , Jonas Thies , Moritz Kreutzer , Thomas Zeiser , Georg Hager , Gerhard Wellein

Scaling up model depth and size is now a common approach to raise accuracy in many deep learning (DL) applications, as evidenced by the widespread success of multi-billion or even trillion parameter models in natural language processing…

分布式、并行与集群计算 · 计算机科学 2022-08-05 Kabir Nagrecha , Arun Kumar

Large Language Model (LLM) based code generation is predominantly formulated as a strictly monotonic process, appending tokens linearly to an immutable prefix. This formulation contrasts to the cognitive process of programming, which is…

软件工程 · 计算机科学 2026-05-07 Chengran Yang , Zichao Wei , Heminghao Deng , Jinfeng Jiang , Zhensu Sun , Ting Zhang , Tianyi Wu , Ming Wen , David Lo

Large language models (LLMs) have achieved impressive performance in code generation recently, offering programmers revolutionary assistance in software development. However, due to the auto-regressive nature of LLMs, they are susceptible…

软件工程 · 计算机科学 2025-03-25 Xue Jiang , Yihong Dong , Yongding Tao , Huanyu Liu , Zhi Jin , Wenpin Jiao , Ge Li

Handling faults is a growing concern in HPC. In future exascale systems, it is projected that silent undetected errors will occur several times a day, increasing the occurrence of corrupted results. In this article, we propose SEDAR, which…

分布式、并行与集群计算 · 计算机科学 2020-07-29 Diego Montezanti , Enzo Rucci , Armando De Giusti , Marcelo Naiouf , Dolores Rexachs , Emilio Luque

Code generation aims to automatically generate code snippets of specific programming language according to natural language descriptions. The continuous advancements in deep learning, particularly pre-trained models, have empowered the code…

软件工程 · 计算机科学 2025-01-24 Zezhou Yang , Sirong Chen , Cuiyun Gao , Zhenhao Li , Xing Hu , Kui Liu , Xin Xia

Hybrid tabular-textual question answering (QA) requires reasoning from heterogeneous information, and the types of reasoning are mainly divided into numerical reasoning and span extraction. Current numerical reasoning methods…

计算与语言 · 计算机科学 2023-10-16 Tengxun Zhang , Hongfei Xu , Josef van Genabith , Deyi Xiong , Hongying Zan

The quadratic complexity of transformers fundamentally limits reasoning system deployment in resource-constrained and long-context settings. We introduce Hydra, a modular architecture based upon a state-space backbone which adaptively…

机器学习 · 计算机科学 2025-10-20 Siddharth Chaudhary , Dev Patel , Maheep Chaudhary , Bennett Browning

The share of the top 500 supercomputers with NVIDIA GPUs is now over 25% and continues to grow. While fault tolerance is a critical issue for supercomputing, there does not currently exist an efficient, scalable solution for CUDA…

分布式、并行与集群计算 · 计算机科学 2020-08-25 Twinkle Jain , Gene Cooperman

Automated code review comment generation (RCG) aims to assist developers by automatically producing natural language feedback for code changes. Existing approaches are primarily either generation-based, using pretrained language models, or…

软件工程 · 计算机科学 2025-06-16 Hyunsun Hong , Jongmoon Baik

Retrieval-augmented generation (RAG) enhances large language models (LLMs) by incorporating external knowledge. Current hybrid RAG system retrieves evidence from both knowledge graphs (KGs) and text documents to support LLM reasoning.…

计算与语言 · 计算机科学 2025-09-22 Xingyu Tan , Xiaoyang Wang , Qing Liu , Xiwei Xu , Xin Yuan , Liming Zhu , Wenjie Zhang

Recent advancements in Retrieval-Augmented Generation have significantly enhanced code completion at the repository level. Various RAG-based code completion systems are proposed based on different design choices. For instance, gaining more…

软件工程 · 计算机科学 2024-06-18 Wenrui Zhang , Tiehang Fu , Ting Yuan , Ge Zhang , Dong Chen , Jie Wang
‹ 上一页 1 2 3 10 下一页 ›