逸翎清晗🌈

实用linux命令大全(周更)

🦈🦈🦈🦈

【】RAG4Code What to Retrieve for Effective Retrieval-Augmented Code Generation? An Empirical Study and Beyond 摘要：仓库级别的代码生成仍然充满挑战，这主要归因于复杂的代码依赖关系以及大型语言模型（LLMs）在处理长上下文时的局限性。尽管检索增强生成（RAG）框架已被广泛采用，但不同类型检索信息的有效性——包括上下文代码、API 以及相似代码片段——尚缺乏系统性的分析。通过在两个基准上的实证研究，我们发现：上下文代码与潜在的 API 信息能够显著提升 LLM 的表现，而检索到的相似代码片段往往引入噪声，甚至会导致性能下降高达 15%。基于这一初步结果，我们提出 AllianceCoder：一种新颖的上下文整合方法，该方法借助链式思维提示（chain-of-thought prompting）将用户查询分解为若干实现步骤，并通过语义描述匹配的方式检索 API。在 CoderEval 和 RepoExec 上的广泛实验表明，AllianceCoder 达到了最新的最优性能，相较现有方法 ...

【二进制·II】AOBO: A Fast-Switching Online Binary Optimizer on AArch64 🌏元信息：今年<u TACO 第二期</u的原创文章（“New Article, Not an Extension of a Conference Paper.”），来自华东师范大学，不开源。 关键词：Post-link optimization, code layout optimization, online code replacement, AArch64 instruction set architecture（后链接优化，代码布局优化，运行时代码替换，AArch64 ISA） TL;DR ：AOBO 是首个面向 AArch64 的在线二进制优化器。它基于 BOLT 重写器，提出低复杂度的混合边权估计方法，并通过在线代码替换在不中断应用的情况下完成优化切换。在 MySQL/MongoDB 等实际场景中实现了显著加速和亚秒级停顿时间。 前言 这篇论文的方法论整体上比较朴素。由于我对 BOLT 已经较为熟悉，通读全文后会发现，文中所述 ...

【二进制·I】Plankton: Reconciling Binary Code and Debug Information 元信息： 领域：二进制，反汇编，二进制提升，LLVM IR，栈消歧，类型系统 作者单位：香科大，香港城市大学 发表：ASPLOS 2024 TL; DR：Plankton 是一种面向二进制的提升器（lifter），能够将编译优化过的二进制精确恢复为接近源代码级别的 LLVM IR，并保留高质量变量、类型和作用域信息。它通过栈区消歧、别名分析以及调试信息利用，有效提升静态分析在反编译 IR 上的准确性和适用性。评测显示，Plankton 在大规模基准和真实项目中显著减少了静态分析的误报与漏报，同时具备可扩展性，可支持更多体系架构与下游 LLVM 应用。 简评：这篇论文工作扎实，显然源于作者丰富的实践经验与深入的调研洞察，研究内容横跨多个相关领域，不仅涉及二进制分析，还涵盖编译器、类型系统等编译与程序设计的大类下的多个子领域。具体实现部分均基于严谨的算法设计，细节繁多、技术性强，因此此处未逐一展开。若进行略读，仅需关注第一章，即可快速把握研究动机与一个典型示 ...

98eb2d93eaa46b6e84ccf5b83a7b894c367c4d0ec523be21666fd96ad54ef793101d6e77443474eccc30d28e9bfb55ae27ef4d60905d8909d9d1ad8c2c8fe40684604680d02de018491f8c6d4905fdcd81769650ff47cd3ee10cf4ae9ec21660d81a897095717aaff5344871b1aeffb902a755f0833b34640790af966faf57bc98f35de0df2fe2afcfe21c72694102e5883ea48e6b913a54176d2e5ae58475bec5e7bdafaec05dd2e412d2d6df2a4192804077251789130c7e24520d8a6abfd9a0bf7173aeae4a9ef81cc3bd83439cbff6f6825cfb1e53da146792da68ad88b1328c0934aaed8a3408606ac1f87721f803662923a5fd63c17 ...