paperbot · PL 论文追踪

全部论文 待读 收藏

标签：运行时与内存管理（共 465 篇，按优先级展示前 200）

P1 An approach to generate correctly rounded math libraries for new floating point variants
一种为新型浮点变体生成正确舍入数学库的方法
提出用线性规划生成多项式逼近正确舍入值，为新型浮点格式自动构建正确舍入数学库。
POPL 5(POPL)2021匹配度 5/10引用 21语言与体系结构运行时与内存管理
P1 Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
无需担忧应用舍入模式的正确舍入数学库
提出舍入不变输出与舍入不变输入界两种方法，使 RLibm 数学库无需频繁切换舍入模式，性能提升超过 2 倍。
PLDI 9(PLDI)2025匹配度 5/10引用 1编译与代码生成运行时与内存管理
P2 The road not taken: exploring alias analysis based optimizations missed by the compiler
未选择的路：探索被编译器错过的基于别名分析的优化
提出 Scout，通过约束分配大小与对齐实现单次内存访问的运行时指针消歧，解锁被编译器错过的循环优化。
OOPSLA 6(OOPSLA2)2022匹配度 4/10引用 12编译与代码生成运行时与内存管理
P2 AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming
AutoTM：使用整数线性规划在异构内存系统中自动移动张量
提出基于ILP的Profile引导优化AutoTM，自动在DRAM与NVDIMM间迁移张量，降低DNN训练内存需求。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 3/10引用 70运行时与内存管理机器学习与程序语言
P2 Bullet: Boosting GPU Utilization for LLM Serving via Dynamic Spatial-Temporal Orchestration
Bullet：通过动态时空编排提升 LLM 服务的 GPU 利用率
提出 Bullet，通过时空编排、SLO 感知调度与自适应资源分配并发执行 prefill 与 decode，显著提升 LLM 服务 GPU 利用率与吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 3/10引用 26机器学习与程序语言运行时与内存管理
P2 JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
JUSTGen：针对 JVM 上未指定 JNI 行为的有效测试生成
提出 JUSTGen，用 DSL 和 SMT 发现 JNI 规范未指定情形并生成测试，揭示 JVM 调试检查的缺陷。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 24测试、调试与修复运行时与内存管理
P2 Miri: Practical Undefined Behavior Detection for Rust
Miri：面向 Rust 的实用未定义行为检测
提出 Miri，首个能发现确定性 Rust 程序中全部事实性未定义行为的动态检测工具。
POPL 10(POPL)2026匹配度 3/10引用 16测试、调试与修复运行时与内存管理
P2 MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems
MirrorTaint：面向 JVM 微服务系统的实用非侵入式动态污点跟踪
提出首个面向 JVM 微服务的实用非侵入式动态污点分析技术 MirrorTaint，通过镜像空间实现高精度低开销跟踪。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 12安全与隐私运行时与内存管理
P2 SlipCover: Near Zero-Overhead Code Coverage for Python
SlipCover：面向 Python 的近零开销代码覆盖率分析
SlipCover 通过 AST 识别与字节码动态插桩/去插桩，将 Python 覆盖率开销降至中位数 5%。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 12测试、调试与修复运行时与内存管理
P2 Composing Distributed Computations Through Task and Kernel Fusion
通过任务与内核融合组合分布式计算
提出 Diffuse，用面向分布式计算的中间表示动态融合任务与内核，跨库边界优化任务式运行时应用。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 7编译与代码生成运行时与内存管理
P2 StarMalloc: Verifying a Modern, Hardened Memory Allocator
StarMalloc：验证一个现代、加固的内存分配器
用 Steel 分离逻辑验证一个并发、安全加固的内存分配器，可作为 Firefox 等真实项目的即插即用替代。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 7程序验证运行时与内存管理
P2 Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Catamaran：通过并行加速实现低开销的内存安全强制
提出将动态内存安全检查代码并行执行的技术，利用静态依赖与动态收益分析降低运行时开销，同时不牺牲检查能力。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 4程序验证运行时与内存管理
P2 Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Beacons：用于预测和利用动态循环特征的端到端编译器框架
提出 Beacons 端到端编译器/运行时框架，预测动态循环特征并驱动主动调度，提升 HPC 资源并发与吞吐。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 4编译与代码生成运行时与内存管理机器学习与程序语言
P2 Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count
通过引用计数跟踪对象生命周期来检测 Python 原生代码中的内存错误
提出 PyObject 状态转移模型，用符号执行跟踪引用计数生命周期，检测 Python C 扩展中的内存泄漏与释放后使用错误。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10引用 3程序分析与抽象解释运行时与内存管理
P2 Prober
Prober：面向生产环境的堆溢出检测与预防
提出 Prober，通过静态分析标记数组相关调用栈并结合页保护，在生产环境低开销检测和阻止堆溢出。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 3/10引用 3程序分析与抽象解释运行时与内存管理安全与隐私
P2 Parallelism in a Region Inference Context
区域推断上下文中的并行性
为基于区域推断的编译器设计 fork-join 并行构造，并给出类型规则、动态语义、类型可靠性及效应推断算法。
PLDI 7(PLDI)2023匹配度 3/10引用 2并发、并行与内存模型运行时与内存管理类型系统
P2 Rapid: Region-Based Pointer Disambiguation
Rapid：基于区域的指针消歧
Rapid 利用 profiler 将需消歧对象分配到不同对齐内存区域，使动态指针消歧检查无需访存，降低开销并提升循环优化性能。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 2编译与代码生成运行时与内存管理
P2 An Empirical Study of WebAssembly Usage in Node.js
Node.js 中 WebAssembly 使用的实证研究
首次系统研究 Node.js 中 WebAssembly 的使用，并发布含 510 个可执行包、217 个 Wasm 模块的数据集。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 1运行时与内存管理编译与代码生成
P2 Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned.
在语言虚拟机中检测数据竞争：RaceHunter 的经验教训
分享在工业级语言虚拟机上应用动态数据竞争检测器 RaceHunter 的经验、挑战与解决方案。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10引用 1测试、调试与修复运行时与内存管理
P2 LARTS: Language Abstractions for Real-Time and Secure Systems
LARTS：面向实时与安全系统的语言抽象
提出 LARTS，用执行域、确定性内存契约与通信通道将实时、隔离与内存安全提升为可验证的语言抽象。
OOPSLA 10(OOPSLA1)2026匹配度 3/10语言设计与特性运行时与内存管理
P2 Fully-Automatic Type Inference for Borrows with Lifetimes
面向带生命周期借用的全自动类型推断
提出带生命周期借用的纯函数语言及全自动类型推断，并可按需插入引用计数以保证可类型化。
OOPSLA 10(OOPSLA1)2026匹配度 3/10类型系统运行时与内存管理
P2 Virtualizing Continuations
虚拟化续延
通过虚拟化续延所用的栈空间，在词法效应处理器中完整支持多次性续延，并带来并行执行性能收益。
PLDI 10(PLDI)2026匹配度 3/10函数式编程运行时与内存管理
P2 Sinan: ML-based and QoS-aware resource management for cloud microservices
Sinan：面向云微服务的基于机器学习且感知 QoS 的资源管理
提出基于机器学习且感知 QoS 的云微服务资源管理系统 Sinan，缓解服务依赖引发的级联 QoS 违规。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 221运行时与内存管理机器学习与程序语言
P2 Intelligence Beyond the Edge
边缘之外的智能
首次在能量采集系统上完整实现 DNN 推理，并提出间歇感知的 SONIC/TAILS 与网络压缩工具 GENESIS。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 201运行时与内存管理机器学习与程序语言
P2 SwapAdvisor
SwapAdvisor：面向深度学习数据流图的显存交换优化
提出 SwapAdvisor，用遗传算法联合优化算子调度、内存分配与 CPU-GPU 交换决策，突破 GPU 显存限制。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 158机器学习与程序语言运行时与内存管理
P2 Capuchin
Capuchin
摘要未说明具体贡献，仅指出 GPU 全局显存稀缺限制大模型训练与 DNN 架构探索。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 143运行时与内存管理机器学习与程序语言
P2 vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention
vAttention：无需 PagedAttention 的 LLM 服务动态内存管理
通过解耦虚拟与物理内存分配，在保持 KV cache 虚拟内存连续性的同时缓解碎片，提升 LLM 服务吞吐。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 138运行时与内存管理语言与体系结构机器学习与程序语言
P2 Deep Differential Testing of JVM Implementations
JVM 实现的深度差分测试
提出 classming，通过活字节码变异生成有效可执行程序，对主流 JVM 实现进行深度差分测试并发现大量缺陷。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 110测试、调试与修复运行时与内存管理
P2 MoE-L <scp>ightning</scp> : High-Throughput MoE Inference on Memory-constrained GPUs
MoE-Lightning：内存受限 GPU 上的高吞吐 MoE 推理
提出 MoE-Lightning 高吞吐 MoE 批量推理系统，通过 CGOPipe 与 HRM 性能模型在内存受限 GPU 上显著提升吞吐。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 93机器学习与程序语言运行时与内存管理
P2 Time-sensitive Intermittent Computing Meets Legacy Software
时间敏感的间歇计算遇上遗留软件
提出 TICS 平台，为间歇计算提供时间敏感编程抽象与可预测检查点，使遗留嵌入式代码无需重写即可间歇运行。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 89语言设计与特性运行时与内存管理
P2 Towards Practical Default-On Multi-Core Record/Replay
面向实用的默认开启多核记录/重放
提出 Castor 多核记录/重放系统，实现持续低且可预测的开销，使默认开启记录与重放成为可能。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 61运行时与内存管理测试、调试与修复并发、并行与内存模型
P2 Learning-based Memory Allocation for C++ Server Workloads
面向 C++ 服务器工作负载的基于学习的内存分配
提出基于学习的内存分配方法，在不移动对象的前提下缓解 C++ 服务器大页堆的持久碎片。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 58运行时与内存管理机器学习与程序语言
P2 The verified CakeML compiler backend
经验证的 CakeML 编译器后端
介绍经 HOL4 机器验证的 CakeML 编译器后端设计、12 个中间语言、语义证明与自举。
JFP vol.292019匹配度 2/10引用 53编译与代码生成定理证明与证明工程运行时与内存管理
P2 CHERI JNI
CHERI JNI：面向 Java 原生代码接口的硬件辅助安全机制
利用 CHERI 能力硬件为 JNI 原生代码提供内存安全与隔离，使原生代码达到 Java 同等安全性且性能开销可忽略。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 51安全与隐私运行时与内存管理
P2 Betty: Enabling Large-Scale GNN Training with Batch-Level Graph Partitioning
Betty：通过批级图划分支持大规模 GNN 训练
提出 Betty，用批级图划分、冗余嵌入图划分和内存感知划分缓解 GNN 训练显存瓶颈，支持单 GPU 大规模训练。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 43机器学习与程序语言运行时与内存管理
P2 Fast and Precise On-the-Fly Patch Validation for All
面向所有技术的快速且精确的即时补丁验证
提出 UniAPR，通过运行时字节码变换重置 JVM 全局状态，实现快速且精确的即时补丁验证。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 2/10引用 40测试、调试与修复运行时与内存管理
P2 Multi-objectivizing software configuration tuning
软件配置调优的多目标化
提出元多目标化模型 MMO，通过辅助性能目标使配置解互不支配，避免软件配置调优陷入局部最优。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10引用 40运行时与内存管理
P2 Past-Future Scheduler for LLM Serving under SLA Guarantees
SLA 保证下 LLM 服务的 Past-Future 调度器
提出 Past-Future 调度器，通过历史与未来内存占用估计提升 LLM 服务在 SLA 下的 goodput。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 37机器学习与程序语言运行时与内存管理
P2 Fast, flexible, and comprehensive bug detection for persistent memory programs
持久内存程序的快速、灵活且全面的错误检测
提出 PMDebugger，一个快速、灵活且全面检测持久内存程序崩溃一致性错误的调试器。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 37测试、调试与修复运行时与内存管理
P2 PMFuzz: test case generation for persistent memory programs
PMFuzz：面向持久内存程序的测试用例生成
提出 PMFuzz，为持久内存程序生成能触达崩溃一致性相关路径的测试用例，以提升崩溃一致性缺陷的检测效果。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 36测试、调试与修复运行时与内存管理
P2 Puddle
Puddle
提出全栈数字微流控自动化平台 Puddle，其运行时提供高层 API、动态资源管理与实时纠错，实现可靠执行。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 33领域特定语言与建模运行时与内存管理
P2 <scp>Medusa:</scp> Accelerating Serverless LLM Inference with Materialization
Medusa：以物化加速无服务器 LLM 推理
通过离线物化 CUDA 图和 KV 缓存初始化信息，降低无服务器 LLM 推理冷启动延迟。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 32机器学习与程序语言运行时与内存管理
P2 Accelerating LLM Serving for Multi-turn Dialogues with Efficient Resource Management
以高效资源管理加速多轮对话的 LLM 服务
提出 FlashGen，用多级 KV cache 与请求重排序消除多轮对话中的 KV 重算和队头阻塞，大幅提升 LLM 服务吞吐。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 30机器学习与程序语言运行时与内存管理
P2 Why GPUs are Slow at Executing NFAs and How to Make them Faster
为什么 GPU 执行 NFA 很慢，以及如何让其更快
揭示 GPU 执行 NFA 的内存与利用率瓶颈，并通过内存私有化、查表计算化与动态调度显著加速。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 30语言与体系结构运行时与内存管理
P2 Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing
轻量级故障隔离：实用、高效且安全的软件沙箱化
提出面向 ARM64 的多沙箱 SFI 方案 LFI，以 7% 运行时开销在单地址空间支持数万个 4GiB 沙箱。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 28安全与隐私运行时与内存管理
P2 Hippocrates: healing persistent memory bugs without doing any harm
Hippocrates：无害地修复持久内存错误
研究持久内存耐久性错误的修复难点，提出自动修复方法（Hippocrates）以无害修复。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 24测试、调试与修复运行时与内存管理
P2 Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK
深入剖析 ZGC：OpenJDK 中的现代垃圾收集器
对 OpenJDK ZGC 做高层设计解析，并用 SPIN 模型解释 mutator 与 GC 线程的并发竞争及解决。
TOPLAS 44(4)2022匹配度 2/10引用 24运行时与内存管理并发、并行与内存模型
P2 How to evaluate the performance of gradual type systems
如何评估渐进类型系统的性能
提出首个评估健全渐进类型系统性能的方法，可量化绝对性能及同一系统不同实现的相对性能。
JFP vol.292019匹配度 2/10引用 24类型系统运行时与内存管理
P2 STI: Turbocharge NLP Inference at the Edge via Elastic Pipelining
STI：通过弹性流水线加速边缘端 NLP 推理
提出弹性流水线技术，在移动端 NLP 推理中同时缓解模型加载 IO 与内存占用带来的延迟瓶颈。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 23运行时与内存管理机器学习与程序语言
P2 Efficient parameterized algorithms for data packing
数据打包的高效参数化算法
首次给出数据打包问题的参数化算法与细粒度二分，基于访问超图树宽实现线性时间求解。
POPL 3(POPL)2019匹配度 2/10引用 23运行时与内存管理语言与体系结构
P2 Towards Understanding the Runtime Performance of Rust
迈向理解 Rust 的运行时性能
系统性测量与分析 Rust 的运行时性能，检验其效率可与 C/C++ 媲美的普遍说法。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10引用 22运行时与内存管理
P2 Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
更快还是更慢？用经验证据揭开 Python 惯用法的性能谜团
通过大规模合成与真实项目数据，系统测量并字节码级解释 Python 惯用法相对非惯用写法的性能差异。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 2/10引用 21语言设计与特性运行时与内存管理
P2 RPG <sup>2</sup> : Robust Profile-Guided Runtime Prefetch Generation
RPG²：鲁棒的基于剖析的运行时预取生成
纯软件运行时系统 RPG²，在线剖析程序并注入、调优预取指令，最高加速 2.15×，且能在预取有害时回滚。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 19运行时与内存管理编译与代码生成
P2 DREAM: A Dynamic Scheduler for Dynamic Real-time Multi-model ML Workloads
DREAM：面向动态实时多模型 ML 负载的动态调度器
提出 DREAM 动态调度器，在多加速器系统上高效应对实时多模型 ML 负载的多粒度动态性，显著降低能耗-延迟积。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 2/10引用 19机器学习与程序语言运行时与内存管理
P2 Disentanglement in nested-parallel programs
嵌套并行程序中的解纠缠
提出嵌套并行程序的内存性质“解纠缠”，并据此设计内存管理技术以提升效率与可扩展性。
POPL 4(POPL)2019匹配度 2/10引用 19并发、并行与内存模型运行时与内存管理
P2 Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing
通过差分测试揭示服务端 WebAssembly 运行时的性能问题
提出差分测试方法 WarpDiff，识别服务端 WebAssembly 运行时的性能异常并定位问题运行时。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10引用 18测试、调试与修复运行时与内存管理
P2 Rethinking Regex engines to address ReDoS
重新思考正则引擎以应对 ReDoS
指出 Python、Java、JavaScript 等语言的正则引擎存在最坏指数级匹配行为，呼吁重新设计引擎以抵御 ReDoS 攻击。
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10引用 17安全与隐私运行时与内存管理
P2 Runtime detection of memory errors with smart status
使用智能状态运行时检测内存错误
提出利用智能状态进行运行时内存错误检测，以确定且完整地发现段混淆、子对象溢出、释放后使用和内存泄漏等错误。
ISSTA Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis2021匹配度 2/10引用 16测试、调试与修复运行时与内存管理
P2 Functional Networking for Millions of Docker Desktops (Experience Report)
服务于数百万 Docker 桌面的函数式网络（经验报告）
总结 Docker Desktop 用 OCaml unikernel 在非 Linux 主机上支撑容器网络十年的工程经验。
ICFP 9(ICFP)2025匹配度 2/10引用 16函数式编程运行时与内存管理
P2 Sulong, and Thanks for All the Bugs
Sulong：感谢所有的 Bug
提出 Safe Sulong：在高层语言解释器中自动检查 C 内存访问，发现现有工具遗漏的 bug。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 15测试、调试与修复运行时与内存管理
P2 Towards High-Goodput LLM Serving with Prefill-decode Multiplexing
面向高有效吞吐的 LLM 服务：预填充-解码多路复用
提出 MuxWise，以 GPU 内预填充-解码多路复用，在满足 SLO 下显著提升 LLM 服务吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 14机器学习与程序语言运行时与内存管理
P2 GIANTSAN: Efficient Memory Sanitization with Segment Folding
GIANTSAN：利用段折叠的高效内存消毒
提出段折叠阴影编码，提高内存消毒保护密度并显著降低运行时开销。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 14运行时与内存管理测试、调试与修复
P2 SafeCheck: Safety Enhancement of Java Unsafe API
SafeCheck：增强 Java Unsafe API 的安全性
提出字节码级内存检查器 SafeCheck，防止 Java Unsafe API 误用导致 JVM 崩溃。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 13运行时与内存管理程序分析与抽象解释
P2 TrackFM: Far-out Compiler Support for a Far Memory World
TrackFM：面向远内存世界的超前编译器支持
提出基于编译器的远内存方案 TrackFM，在保持程序员透明性的同时获得接近库方案的性能。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 2/10引用 13编译与代码生成运行时与内存管理
P2 DrGPUM: Guiding Memory Optimization for GPU-Accelerated Applications
DrGPUM：指导 GPU 加速应用的内存优化
提出首个系统刻画 GPU 加速应用内存低效模式的 profiler，关联数据对象与 GPU API，分类对象级和对象内低效并指导优化。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 13运行时与内存管理编程环境与开发者工具
P2 GPUReplay: a 50-KB GPU stack for client ML
GPUReplay：面向客户端机器学习的 50-KB GPU 栈
通过提前记录完整 GPU 栈执行并在运行时重放，实现仅 50 KB 的可移植客户端 ML GPU 栈。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 13运行时与内存管理机器学习与程序语言
P2 Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
面向 WebAssembly 的灵活非侵入式动态插桩
首个 WebAssembly 非侵入式动态插桩系统，提供分层可编程探针并复用 JIT、解释器与去优化机制。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 12运行时与内存管理编译与代码生成
P2 Loupe: Driving the Development of OS Compatibility Layers
Loupe：驱动操作系统兼容层开发
提出 Loupe 动态分析方法，精确找出应用所需的 OS 特性与系统调用，指导兼容层按优先级实现。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 2/10引用 12程序分析与抽象解释运行时与内存管理
P2 Cohort: Software-Oriented Acceleration for Heterogeneous SoCs
Cohort：面向异构 SoC 的软件导向加速
提出 Cohort，以软件为中心的异构 SoC 加速方案，避免加速器编程抽象泄漏过多硬件细节，提升通用性。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 11语言与体系结构运行时与内存管理
P2 Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Wapplique：通过执行上下文感知的字节码变异测试 WebAssembly 运行时
首个基于 Wasm 字节码变异的模糊测试工具，利用代码片段替换生成多样且合法的测试用例。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 2/10引用 10测试、调试与修复运行时与内存管理
P2 FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
FirmGuide：通过模型引导的内核执行提升嵌入式 Linux 内核的 rehosting 能力
提出模型引导内核执行，半自动生成外设模型并合成 QEMU 虚拟机，实现嵌入式 Linux 内核 rehosting。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10引用 10运行时与内存管理测试、调试与修复
P2 Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
Wasm-R3：面向真实且独立可执行的 WebAssembly 基准测试的记录-归约-重放技术
首个 WebAssembly 记录-重放技术，从真实网页应用生成真实、忠实且独立可运行的基准测试。
OOPSLA 8(OOPSLA2)2024匹配度 2/10引用 10运行时与内存管理
P2 A separation logic for heap space under garbage collection
面向垃圾回收下堆空间的分离逻辑
提出 SL♢，用空间信用与 pointed-by 断言在含分配、GC 与并发的语言中控制堆空间消耗并证明其可靠性。
POPL 6(POPL)2022匹配度 2/10引用 10程序验证运行时与内存管理
P2 Multiparty Session Actors
多参与方会话 Actor
将多参与方会话类型引入 Actor 模型，通过角色与协议邮箱在 Python 中实现运行时通信安全验证。
LMCS vol.Volume 13, Issue 12017匹配度 2/10引用 10并发、并行与内存模型语言设计与特性运行时与内存管理
P2 When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
当函数内联遇上 WebAssembly：对运行时性能的反直觉影响
首次揭示函数内联优化在 WebAssembly 中反而拖慢运行时性能的现象，并定位其成因于编译器对执行环境的错误假设。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10引用 9编译与代码生成运行时与内存管理
P2 Optimization-Aware Compiler-Level Event Profiling
优化感知的编译器级事件剖析
提出在编译器内部、推迟至优化之后插桩的事件剖析技术，降低剖析对编译优化的扰动，并在 Graal 上验证。
TOPLAS 45(2)2023匹配度 2/10引用 9编译与代码生成运行时与内存管理
P2 Lazy Determinism for Faster Deterministic Multithreading
面向更快确定性多线程的惰性确定性
提出惰性确定性 DMT，通过推测执行同步操作并验证顺序，避免全局全序瓶颈，大幅提升确定性执行性能。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 8并发、并行与内存模型运行时与内存管理
P2 A Verified Foreign Function Interface between Coq and C
Coq 与 C 之间经过验证的外部函数接口
提出 VeriFFI，在 Coq 与 C 之间建立可验证的 FFI，保证组合程序的类型安全与正确性。
POPL 9(POPL)2025匹配度 2/10引用 8定理证明与证明工程程序验证运行时与内存管理
P2 Entanglement detection with near-zero cost
近乎零开销的纠缠检测
提出动态检测并行函数式程序中纠缠的技术，并证明其可靠性且实现近乎零开销。
ICFP 6(ICFP)2022匹配度 2/10引用 8运行时与内存管理并发、并行与内存模型形式语义
P2 GS-Scale: Unlocking Large-Scale 3D Gaussian Splatting Training via Host Offloading
GS-Scale：通过主机内存卸载实现大规模3D高斯泼溅训练
GS-Scale通过将高斯参数卸载到主机内存并按需传输，在降低GPU显存的同时保持训练速度。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 7运行时与内存管理机器学习与程序语言
P2 FastTTS: Accelerating Test-Time Scaling for Edge LLM Reasoning
FastTTS：加速边缘 LLM 推理的测试时扩展
提出边缘 LLM 测试时扩展服务系统 FastTTS，通过投机束扩展、非对称内存分配与动态前缀调度降低延迟并提升吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 7机器学习与程序语言运行时与内存管理
P2 <scp>Neuralink:</scp> Fast on-Device LLM Inference with Neuron Co-Activation Linking
Neuralink：基于神经元共激活链接的快速端侧 LLM 推理
提出 Neuralink，利用神经元共激活模式重排 flash 中的神经元放置与缓存，加速手机端稀疏 LLM 推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32025匹配度 2/10引用 7机器学习与程序语言运行时与内存管理
P2 Segue &amp; ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures
Segue 与 ColorGuard：在现代架构上优化 SFI 性能与可扩展性
通过 x86-64 分段和内存标记优化软件故障隔离，提升 WebAssembly 沙箱性能与并发规模。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 7安全与隐私编译与代码生成运行时与内存管理
P2 JNI program analysis with automatically extracted C semantic summary
基于自动提取 C 语义摘要的 JNI 程序分析
提出面向 JNI 的程序分析，通过自动提取 C 语义摘要来刻画 Java-C 互操作语义，以发现跨语言缺陷。
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 2/10引用 7程序分析与抽象解释运行时与内存管理
P2 Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling
代码优先的模型驱动工程：论 MDE 工具的敏捷采用
提出代码优先的 MDE 方法，从现有面向对象程序提取视图模型，并通过保守运行时扩展实现按需查询与增量同步。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10引用 7领域特定语言与建模运行时与内存管理
P2 Snapshottable Stores
可快照存储（Snapshottable Stores）
提出可快照存储，以近普通引用的开销支持任意可变引用集合的快照与恢复，并用Iris/Coq证明其核心正确性。
ICFP 8(ICFP)2024匹配度 2/10引用 7运行时与内存管理定理证明与证明工程
P2 InferLog: Accelerating LLM Inference for Online Log Parsing via ICL-oriented Prefix Caching
InferLog：面向 ICL 的前缀缓存加速在线日志解析的 LLM 推理
提出 InferLog，通过前缀感知的 ICL 精炼与元学习配置调优，在不损失准确率的前提下加速在线日志解析的 LLM 推理。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10引用 6机器学习与程序语言运行时与内存管理
P2 <scp>Bat:</scp> Efficient Generative Recommender Serving with Bipartite Attention
Bat：基于二分注意力的高效生成式推荐服务
提出 Bat 服务系统与二分注意力，通过自适应前缀选择与 KV 缓存复用，显著提升生成式推荐推理吞吐并降低计算量。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 6机器学习与程序语言运行时与内存管理
P2 Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
面向托管运行时的乐观栈分配与动态堆化
提出静态分析引导的乐观栈分配与动态堆化机制，在托管运行时中更精确地栈分配对象并降低 GC 开销。
PLDI 8(PLDI)2024匹配度 2/10引用 6运行时与内存管理编译与代码生成
P2 Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages
Jmvx：面向托管语言的高效多线程多版本执行与记录-重放
提出 Jmvx，首个面向 Java 等托管语言的多线程多版本执行与记录-重放系统，开销低。
OOPSLA 8(OOPSLA2)2024匹配度 2/10引用 6运行时与内存管理并发、并行与内存模型
P2 Efficient Parallel Functional Programming with Effects
带效应的高效并行函数式编程
提出支持纠缠与任意突变的技术，使并行函数式语言兼顾安全与性能。
PLDI 7(PLDI)2023匹配度 2/10引用 6函数式编程并发、并行与内存模型运行时与内存管理
P2 Reference counting with frame limited reuse
帧受限重用的引用计数
提出 drop-guided 重用算法，使引用计数下的对象原地重用更简单稳健，并证明其帧受限性，在 Koka 中获得显著加速。
ICFP 6(ICFP)2022匹配度 2/10引用 6运行时与内存管理编译与代码生成
P2 Integrating region memory management and tag-free generational garbage collection
集成区域内存管理与无标签分代垃圾回收
提出区域内存管理与无标签分代 GC 的集成方案，并在 MLKit 中实现和评测。
JFP vol.312021匹配度 2/10引用 6运行时与内存管理类型系统
P2 PreServe: Intelligent Management for LMaaS Systems via Hierarchical Prediction
PreServe：基于分层预测的 LMaaS 系统智能管理
提出分层预测驱动的 LMaaS 管理框架，提前调整资源分配与请求路由，显著降低尾延迟与资源开销。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10引用 5机器学习与程序语言运行时与内存管理
P2 CoServe: Efficient Collaboration-of-Experts (CoE) Model Inference with Limited Memory
CoServe：有限内存下高效的专家协作（CoE）模型推理
提出 CoServe，利用专家依赖减少切换，在有限异构内存中高效服务 CoE 模型。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 5运行时与内存管理
P2 Challenges and Opportunities for Systems Using CXL Memory
使用 CXL 内存的系统：挑战与机遇
综述 CXL 内存系统在架构、OS 与 PL 中的挑战，探讨单节点应用跨 CXL pod 的可扩展性与高可用支持。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 5语言与体系结构运行时与内存管理
P2 A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Rust 库中跨 FFI 边界的未定义行为研究
通过 Miri 与 LLVM 解释器联合执行，大规模评估 Rust 库跨 FFI 边界调用中的未定义行为。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 2/10引用 5测试、调试与修复运行时与内存管理
P2 A Scalable Algorithm for Decentralized Actor Termination Detection
可扩展的去中心化 Actor 终止检测算法
提出 DRL：基于异步本地快照与消息传递的去中心化 actor 终止检测算法，支持垃圾回收并容忍网络分区。
LMCS vol.Volume 18, Issue 12022匹配度 2/10引用 5运行时与内存管理分布式与容错
P2 Optimal Choice of When to Garbage Collect
垃圾回收（GC）时机的最优选择
将程序特定的 GC 调度形式化为优化问题，用动态规划求非分代与分代 GC 的最优回收时机。
TOPLAS 41(1)2019匹配度 2/10引用 5运行时与内存管理
P2 Load and MLP-Aware Thread Orchestration for Recommendation Systems Inference on CPUs
面向 CPU 推荐系统推理的负载与 MLP 感知线程编排
提出 Balance 线程调度器，通过核分配最小化、MLP 感知调度与工作窃取，加速 CPU 上的 DLRM 推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 4并发、并行与内存模型运行时与内存管理
P2 The Impact of Hyperparameters on Large Language Model Inference Performance: An Evaluation of vLLM and HuggingFace Pipelines
超参数对大语言模型推理性能的影响：vLLM 与 HuggingFace Pipeline 的评估
通过在 vLLM 与 HuggingFace pipelines 上评测 20 个开源大模型的吞吐，揭示超参数配置对推理性能的关键作用。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 2/10引用 4机器学习与程序语言运行时与内存管理
P2 OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach
OOM-Guard：通过基于预留的方法改善 Rust OOM 处理的易用性
提出 OOM-Guard，一种基于预留的 Rust OOM 处理方案，将多次分配失败处理转化为少量预留处理，降低开发负担且开销微小。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10引用 4运行时与内存管理程序分析与抽象解释
P2 PROMPT: A Fast and Extensible Memory Profiling Framework
PROMPT：一个快速且可扩展的内存剖析框架
提出可扩展内存剖析框架 PROMPT，开发者仅需指定事件和核心逻辑即可快速构建高性能内存 profiler。
OOPSLA 8(OOPSLA1)2024匹配度 2/10引用 4运行时与内存管理编程环境与开发者工具
P2 Dynamic Partial Deadlock Detection and Recovery via Garbage Collection
基于垃圾回收的动态部分死锁检测与恢复
提出利用垃圾回收标记阶段动态检测并自动恢复消息传递程序中的部分死锁，以缓解内存泄漏。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 3运行时与内存管理并发、并行与内存模型
P2 A Prediction System Service
一种预测系统服务
提出低延迟预测系统服务 PSS，用反馈学习决定何时应用优化，简化应用性能编程。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 3运行时与内存管理机器学习与程序语言
P2 Change is the only constant
变化是唯一的不变
指出现有安全动态软件更新研究仅覆盖同步事务模型，无法支持异步事务场景下的高频在线更新。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 2/10引用 3运行时与内存管理并发、并行与内存模型
P2 Dynamic Generation of Python Bindings for HPC Kernels
为 HPC 内核动态生成 Python 绑定
WayOut 通过静态头文件分析与运行时类型信息，自动为 C/C++ HPC 内核生成 Python 绑定层。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10引用 3运行时与内存管理编译与代码生成
P2 Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines
高层次抽取与变异：面向 JavaScript 引擎的基于模板的模糊测试
提出 TemuJs，从真实 JS 程序中抽取抽象模板并在模板层做语义感知变异，为 JS 引擎生成多样化且有效的测试用例。
OOPSLA 9(OOPSLA2)2025匹配度 2/10引用 3测试、调试与修复运行时与内存管理
P2 Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy through Machine Code-Level Slowdown
探明剖析器准确性：一种通过机器码级减速近似剖析器准确性的方法
提出机器码级减速构造近似真值，用于评估 JIT 系统采样性能剖析器的准确性。
OOPSLA 9(OOPSLA2)2025匹配度 2/10引用 3运行时与内存管理编程环境与开发者工具
P2 Explicit Effects and Effect Constraints in ReML
ReML 中的显式效应与效应约束
提出 ReML 语言，通过显式效应与效应约束支持区域基内存管理，并集成多态区域推断。
POPL 8(POPL)2024匹配度 2/10引用 3类型系统运行时与内存管理
P2 Multiverse Notebook: Shifting Data Scientists to Time Travelers
Multiverse Notebook：将数据科学家转变为时间旅行者
提出计算笔记本引擎 Multiverse Notebook，支持在状态隔离下时间旅行回溯并用新代码重启。
OOPSLA 8(OOPSLA1)2024匹配度 2/10引用 3编程环境与开发者工具运行时与内存管理
P2 Deegen: A JIT-Capable VM Generator for Dynamic Languages
Deegen：面向动态语言的可生成 JIT 的虚拟机生成器
提出 Deegen 元编译器，可从 C++ 字节码语义自动生成高性能解释器与基线 JIT 的两层 VM。
OOPSLA 10(OOPSLA1)2026匹配度 2/10引用 2编译与代码生成运行时与内存管理
P2 RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
RRR-SMR：减少、重用、回收——实用无锁数据结构的更好方法
提出 RRR 通用方法，使 SMR 下的无锁数据结构能安全重用与移动节点而无需重新分配，并给出 Michael-Scott 队列的高效特化实现。
PLDI 9(PLDI)2025匹配度 2/10引用 2并发、并行与内存模型运行时与内存管理
P2 Multiple Resumptions and Local Mutable State, Directly
直接实现多次恢复与局部可变状态
为词法效应处理器提出编译策略与运行时，支持多次恢复与栈分配可变状态，同时保持常数时间捕获/恢复与竞争力性能。
ICFP 9(ICFP)2025匹配度 2/10引用 2函数式编程运行时与内存管理
P2 Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
基于 region 的类型多态程序的垃圾回收安全性
指出区域推断对多态高阶程序的 GC 安全性缺陷，提出带 GC 效应的区域类型系统并修复实现。
PLDI 7(PLDI)2023匹配度 2/10引用 2类型系统运行时与内存管理
P2 MoE-APEX: An Efficient MoE Inference System with Adaptive Precision Expert Offloading
MoE-APEX：一种带自适应精度专家卸载的高效 MoE 推理系统
用低精度专家变体替换非关键缓存缺失专家，并结合动态加载、预取与缓存策略加速边缘设备上的 MoE 推理。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 1机器学习与程序语言运行时与内存管理
P2 It’s Not Easy Being Green: On the Energy Efficiency of Programming Languages
绿色并不容易：论编程语言的能源效率
通过因果模型与实验控制混杂因素，表明编程语言实现选择除执行时间外对能耗无显著影响。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 2/10引用 1运行时与内存管理语言与体系结构
P2 Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus
将内联作为空间优化：弱 λ-演算的一个简单时间与空间不变实现
提出弱 λ-演算的实现模型，在按名与按值策略下同时保持时间与空间复杂度不变。
ICFP 10(ICFP)2026匹配度 2/10引用 1编译与代码生成运行时与内存管理
P2 Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection
装得下吗？验证垃圾回收下并发程序的堆空间上界
提出 IrisFit 分离逻辑，用空间信用在 Coq 中验证带追踪 GC 的并发程序最坏情况堆空间上界及安全/活性。
TOPLAS 47(1)2025匹配度 2/10引用 1程序验证并发、并行与内存模型运行时与内存管理
P2 Iso: Request-Private Garbage Collection
Iso：请求私有的垃圾回收
提出 Iso——首个面向 Java 的请求私有垃圾回收器，用 mark-region 堆与机会式复制显著降低请求型服务的 GC 开销。
PLDI 9(PLDI)2025匹配度 2/10引用 1运行时与内存管理
P2 CRGC: Fault-Recovering Actor Garbage Collection in Pekko
CRGC：Pekko 中容错的 Actor 垃圾回收
提出首个容错且可回收循环垃圾的 actor 垃圾收集器 CRGC，并在 Pekko 中实现与评估。
PLDI 9(PLDI)2025匹配度 2/10引用 1运行时与内存管理分布式与容错
P2 Garbage Collection for Rust: The Finalizer Frontier
为 Rust 实现垃圾回收：终结器前沿
提出并实现 Rust 的 GC 方案 Alloy，首次让既有析构函数自动充当 GC 终结器，并解决由此带来的健全性与性能问题。
OOPSLA 9(OOPSLA2)2025匹配度 2/10引用 1运行时与内存管理语言设计与特性
P2 Float Self-Tagging
浮点数自标记
提出 self-tagging：用可逆按位变换将浮点值与类型信息叠加在单字中，避免堆分配且性能影响小。
OOPSLA 9(OOPSLA2)2025匹配度 2/10引用 1运行时与内存管理
P2 Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
跨外部函数接口（FFI）回收循环垃圾：谁拿走最后一块蛋糕？
提出 Refgraph GC，跨 FFI 回收两个托管语言间的循环垃圾，且只需修改一方运行时。
PLDI 7(PLDI)2023匹配度 2/10引用 1运行时与内存管理
P2 Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events
Pyriscope：基于稀疏硬件事件的精确低开销 Python 控制流追踪
在 CPython 上借助硬件追踪模块与迹剪枝实现精确低开销的控制流追踪，平均开销仅 2.99%。
OOPSLA 10(OOPSLA2)2026匹配度 2/10运行时与内存管理测试、调试与修复
P2 Portable Power Modeling with Transfer Learning on JVM-Based Applications
基于迁移学习的 JVM 应用可移植功耗建模
提出 LucRETius，以运行时事件为公共特征做迁移学习，把一台机器上的功耗模型快速移植到另一台机器。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10运行时与内存管理机器学习与程序语言
P2 Automatic Tracing in Task-Based Runtime Systems
任务型运行时系统中的自动追踪
提出 Apophenia，为任务型运行时系统自动追踪依赖分析，消除手工 trace 标注并提升复杂程序并行性能。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10运行时与内存管理并发、并行与内存模型
P2 JOSer: Just-In-Time Object Serialization for Heavy Java Serialization Workloads
JOSer：面向重度 Java 序列化工作负载的即时对象序列化
提出 JOSer，通过运行时生成类特定序列化代码并借助 JVM JIT 持续优化，显著提升 Java 重负载序列化吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10编译与代码生成运行时与内存管理
P2 Efficient Temporal Graph Network Training via Unified Redundancy Elimination
基于统一冗余消除的高效时序图网络训练
提出 PULSE，以统一最小单元原则消除时序图网络训练中的计算、存储与数据加载冗余，训练吞吐最高提升 6.67 倍。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10机器学习与程序语言运行时与内存管理
P2 AIMS: A Content-Aware Resource Management Approach for AI Assistant Systems
AIMS：一种面向 AI 助手系统的内容感知资源管理方法
提出内容感知的资源管理方法 AIMS，通过预测请求开销实现动态主动自动扩缩容，降低 SLO 违规并提升资源利用率。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 2/10机器学习与程序语言运行时与内存管理
P2 TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models
TraceSynth：用约束引导扩散模型生成生产级内核跟踪
提出基于扩散模型的合成内核执行跟踪生成框架，用约束引导修复保证系统不变量，为下游机器学习诊断任务提供低成本数据增强。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 2/10机器学习与程序语言运行时与内存管理
P2 Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator
实用的对象级 Sanitizer：聚合内存访问与自定义分配器
提出 OLASan，通过在函数级聚合同一对象的内存访问并配合自定义内存标记与分配器，实现低开销且精确的对象级内存违规检测。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 2/10安全与隐私运行时与内存管理
P2 Scaler: Efficient and Effective Cross Flow Analysis
Scaler：高效且有效的跨流分析
提出跨流分析 XFA 与 Scaler 剖析器，低开销、高精度地揭示跨组件/API 交互的时间开销与性能问题。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10运行时与内存管理编程环境与开发者工具
P2 A Compositional Cost Model for the λ-calculus
λ-演算的组合式代价模型
基于博弈语义为按值调用 λ-演算提出组合式时间代价模型，并在 RAM 上给出保常因子的完全惰性图归约实现。
LICS 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2021匹配度 2/10形式语义运行时与内存管理
P2 Session details: Session 4A: Memory 1
分会场详情：Session 4A：内存 1
这是一则会议分会场介绍，标题为“Session 4A: Memory 1”，无摘要可供概述。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10运行时与内存管理
P2 Session details: Session 7B: Memory 2
Session 详情：Session 7B：Memory 2
该条目仅为 Session 7B: Memory 2 的会话信息，无摘要，无法概括具体研究贡献。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10运行时与内存管理
P2 LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
LoCalMem：面向位置寻址与内容寻址内存的类型导向自适应序列化
提出类型导向的统一内存模型 LoCalMem，用显式边界类型统一本地自适应序列化与内容寻址的分布式去重，并证明其可靠性与局部性。
ICFP 10(ICFP)2026匹配度 2/10类型系统运行时与内存管理
P2 Heap-Snapshot Matching and Ordering using CAHPs: A Context-Augmented Heap-Path Representation for Exact and Partial Path Matching using Prefix Trees
使用 CAHP 的堆快照匹配与排序：一种基于前缀树的上下文增强堆路径表示，用于精确与部分路径匹配
提出上下文增强堆路径 CAHP 与前缀树匹配方法，改进 Native Image 堆快照对象映射并重排以减少页错误、加速启动。
OOPSLA 9(OOPSLA2)2025匹配度 2/10运行时与内存管理编译与代码生成
P2 Advancing Performance via a Systematic Application of Research and Industrial Best Practice
通过系统化应用研究与工业最佳实践提升性能
将PLDI'22的LXR垃圾回收器产品化，优化为迄今最快Java通用GC，GC成本近乎减半并总结五条经验。
OOPSLA 9(OOPSLA2)2025匹配度 2/10运行时与内存管理
P2 HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming
HybridPersist：面向用户友好且高效的持久内存编程的编译器支持
提出 HybridPersist 编译器支持，以极少标注自动保证持久内存程序的崩溃一致性并提升性能。
OOPSLA 9(OOPSLA2)2025匹配度 2/10编译与代码生成运行时与内存管理
P2 Reasonable Space for the ${\lambda}$-Calculus, Logarithmically
λ-演算的合理空间代价模型：对数空间
提出基于 Krivine 抽象机变体的 λ-演算合理空间代价模型，首次支持对数空间，并迁移到 call-by-value。
LMCS vol.Volume 20, Issue 42024匹配度 2/10形式语义运行时与内存管理
P2 Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
Pond：面向云平台的基于 CXL 的内存池化系统
提出 Pond，首个在满足云性能目标的同时显著降低 DRAM 成本的 CXL 内存池化系统。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10引用 312运行时与内存管理
P2 Catalyzer
Catalyzer
针对 Serverless 沙箱强隔离与低启动延迟的矛盾，指出现有应用无关沙箱优化不足，并提出 Catalyzer。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 277运行时与内存管理安全与隐私
P2 Thermostat
Thermostat：面向两级主存的应用程序透明大页感知页面放置机制
提出应用透明的 Thermostat 机制，在混合两级主存中感知 4KB/2MB 页并动态放置冷热页。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 257运行时与内存管理
P2 TPP: Transparent Page Placement for CXL-Enabled Tiered-Memory
TPP：面向 CXL 分级内存的透明页面放置
通过对 Meta 数据中心应用内存使用模式的刻画，提出面向 CXL 分级内存的透明页面放置，将冷页面卸载到慢速层。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 1/10引用 226运行时与内存管理
P2 FaasCache: keeping serverless computing alive with greedy-dual caching
FaasCache：用贪心-对偶缓存保持无服务器计算存活
提出 FaasCache 及其贪心-对偶缓存保活策略，依据函数资源与使用特征保持热函数，缓解 FaaS 冷启动。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10引用 220运行时与内存管理
P2 Nightcore: efficient and scalable serverless computing for latency-sensitive, interactive microservices
Nightcore：面向延迟敏感、交互式微服务的高效可扩展无服务器计算
提出 Nightcore，一个面向延迟敏感交互式微服务的高效可扩展 serverless 运行时，力图把 FaaS 的毫秒级开销降至亚毫秒。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10引用 217运行时与内存管理
P2 DudeTM
DudeTM：面向非易失内存的持久事务系统
DudeTM 是面向非易失内存的持久事务系统，旨在规避 undo 日志逐写 fence 与 redo 日志读拦截的开销。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 205并发、并行与内存模型运行时与内存管理
P2 An Analysis of Persistent Memory Use with WHISPER
基于 WHISPER 的持久内存使用分析
界定持久内存的排序点与 epoch 抽象，并通过 WHISPER 分析持久内存应用的一致性机制。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 197运行时与内存管理并发、并行与内存模型
P2 INFless: a native serverless system for low-latency, high-throughput inference
INFless：一种面向低延迟、高吞吐推理的原生 serverless 系统
提出面向机器学习推理的原生 serverless 系统 INFless，以解决通用 serverless 难以满足低延迟、高吞吐需求的问题。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10引用 195机器学习与程序语言运行时与内存管理
P2 KickStarter
KickStarter
针对流式图边删除导致近似增量计算不正确或变慢的问题，KickStarter 旨在支持快速准确的持续图计算。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 178运行时与内存管理
P2 Benchmarking, analysis, and optimization of serverless function snapshots
Serverless 函数快照的基准测试、分析与优化
对 serverless 函数快照进行基准测试与性能分析，并优化快照机制以降低冷启动延迟。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10引用 161运行时与内存管理
P2 Nimble Page Management for Tiered Memory Systems
面向分层内存系统的 Nimble 页面管理
提出集成于操作系统的多级内存页管理机制，直接在不同内存层级间迁移页面，并通过四项优化大幅提升迁移吞吐与应用性能。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 151运行时与内存管理
P2 Software-Defined Far Memory in Warehouse-Scale Computers
仓库级计算机中的软件定义远内存
通过在 OS 内核中主动压缩冷内存页，以软件方式构建远内存层，显著降低仓库级计算机的内存总拥有成本。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 116运行时与内存管理
P2 Rethinking software runtimes for disaggregated memory
重新思考面向分离式内存的软件运行时
指出基于虚拟内存的分离式内存软件运行时存在高缺页开销与页粒度脏数据放大两大局限。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10引用 115运行时与内存管理
P2 AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-stage Serverless Workflows
AQUATOPE：面向多阶段 Serverless 工作流的 QoS 与不确定性感知资源管理
提出 QoS 与不确定性感知调度器 Aquatope，为多阶段 Serverless 工作流预热容器并按函数分配资源，显著降低违规与成本。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12022匹配度 1/10引用 103运行时与内存管理
P2 Virtualizing FPGAs in the Cloud
云环境中的 FPGA 虚拟化
提出 ViTAL 全栈方案，通过虚拟化 FPGA 资源解耦编译与资源分配，支持细粒度共享与横向扩展加速。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 93语言与体系结构运行时与内存管理
P2 Reliable Timekeeping for Intermittent Computing
面向间歇计算的可靠计时
提出基于RC电路阵列的CHRT计时架构与Botoks无电池平台，实现间歇计算下低启动、高分辨率、可重构的可靠计时。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 92语言与体系结构运行时与内存管理
P2 Batch-Aware Unified Memory Management in GPUs for Irregular Workloads
面向不规则工作负载的 GPU 批量感知统一内存管理
首次剖析 GPU 页错误批处理串行化问题，并提出批量感知的统一内存软硬件方案。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 87运行时与内存管理语言与体系结构
P2 X-Containers
X-Containers：面向单关注点云原生容器的安全隔离新范式
提出 X-Containers，以 LibOS 和最小 exokernel 隔离单关注点容器，显著提升隔离性与系统调用吞吐。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 87安全与隐私运行时与内存管理
P2 Breaking the Boundaries in Heterogeneous-ISA Datacenters
在异构 ISA 数据中心中打破边界
指出现有执行迁移依赖同构 ISA，提出异构 ISA 数据中心如何应用执行迁移的核心问题。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 87运行时与内存管理语言与体系结构
P2 Serverless computing on heterogeneous computers
异构计算机上的无服务器计算
提出 Molecule：首个利用异构计算机（DPU/FPGA/GPU）的无服务器系统，通过 XPU-Shim 和向量化沙箱提升函数密度与性能。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10引用 83运行时与内存管理语言与体系结构
P2 CALOREE
CALOREE：学习控制参数的资源管理器
提出 CALOREE，结合机器学习与控制理论，在复杂动态环境中以最小能耗满足延迟要求。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 80运行时与内存管理语言与体系结构
P2 Datasize-Aware High Dimensional Configurations Auto-Tuning of In-Memory Cluster Computing
内存集群计算的数据规模感知高维配置自动调优
提出DAC，用层次建模与遗传算法对Spark等内存集群计算的高维配置进行数据规模感知自动调优。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 79运行时与内存管理并发、并行与内存模型
P2 FLEP
FLEP
针对现代 GPU 不支持灵活抢占导致多任务下性能与优先级反转的问题，提出 FLEP 机制。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 79运行时与内存管理语言与体系结构
P2 Towards an Adaptable Systems Architecture for Memory Tiering at Warehouse-Scale
迈向仓库级内存分层的可适配系统架构
提出面向仓库级计算的可适配内存分层架构，用低成本慢速内存替代部分DRAM以降低内存成本。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 1/10引用 69运行时与内存管理
P2 Memory-harvesting VMs in cloud platforms
云平台中的内存收割型虚拟机
研究云平台内存收割型虚拟机，提出缓冲、批处理与预回收技术，并改造 Hadoop 与 FaaS 适配可变内存，最高省 93% 成本。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10引用 67运行时与内存管理
P2 HawkEye
HawkEye
提出 HawkEye/Linux 大页管理方案，用异步预清零、零页去重与细粒度访问跟踪降低地址翻译开销。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 67运行时与内存管理
P2 Erms: Efficient Resource Management for Shared Microservices with SLA Guarantees
Erms：面向共享微服务且具 SLA 保证的高效资源管理
提出 Erms 系统，通过延迟画像、资源伸缩与调度策略，在共享微服务中保证 SLA 并提升资源效率。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12022匹配度 1/10引用 62运行时与内存管理
P2 Containing Malicious Package Updates in npm with a Lightweight Permission System
用轻量级权限系统遏制 npm 中的恶意包更新
提出在运行时按包强制的最小权限系统，限制 npm 包对文件系统与网络 API 的访问，抵御恶意更新。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 1/10引用 58安全与隐私运行时与内存管理
P2 CheriABI
CheriABI
首次将完整 C 语言操作系统 FreeBSD 与企业数据库 PostgreSQL 适配到 CHERI 能力架构，实现空间与引用内存安全。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 57安全与隐私运行时与内存管理
P2 Pronto
Pronto
针对 NVMM 上持久化数据结构开发困难且易错的问题，提出 Pronto 以简化其构建。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 56运行时与内存管理
P2 Accelerating Retrieval-Augmented Generation
加速检索增强生成（RAG）
通过剖析RAG流水线，提出基于CXL近内存加速的IKS，加速精确最近邻检索并降低端到端推理时间。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 1/10引用 53语言与体系结构运行时与内存管理
P2 Failure-Atomic Slotted Paging for Persistent Memory
面向持久内存的故障原子槽式分页
提出面向持久内存的故障原子槽页结构，利用 HTM 与槽头日志降低数据库日志开销并提升查询性能。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 53运行时与内存管理并发、并行与内存模型
P2 Finding and Fixing Performance Pathologies in Persistent Memory Software Stacks
发现并修复持久内存软件栈中的性能病态
分析 NVMM 存储栈对 IO 密集应用的性能影响，提出 FLEX 与 VFS/NUMA 改进。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 52运行时与内存管理语言与体系结构
P2 MOD
MOD
MOD 面向持久内存可恢复应用，试图解决缓存行刷写排序在专家定制与 STM 之间的两难。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 48并发、并行与内存模型运行时与内存管理
P2 Devirtualizing Memory in Heterogeneous Systems
异构系统中的内存去虚拟化
提出 DVM，通过让虚拟地址与物理地址几乎始终相同，用区域级验证替代页级地址翻译，降低加速器与 CPU 的虚拟内存开销。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 48运行时与内存管理语言与体系结构
P2 BOGO
BOGO：在 MPX 空间安全之上复用边界元数据的轻量级完整内存安全
复用 Intel MPX 的边界元数据来同时提供空间与时间安全，以低开销实现完整内存安全。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 47安全与隐私运行时与内存管理
P2 Understanding and Auto-Adjusting Performance-Sensitive Configurations
理解与自动调整性能敏感的配置
通过实证研究揭示性能敏感配置的设置难题，并提出控制论框架 SmartConf 自动设定与动态调整配置。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 46运行时与内存管理
P2 GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture
BaM 系统架构中的 GPU 发起式按需高吞吐存储访问
提出 BaM 系统架构，用细粒度软件缓存与高吞吐队列实现 GPU 直接发起存储访问，避免 CPU 同步与 I/O 放大。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10引用 45运行时与内存管理语言与体系结构
P2 Wonderland
Wonderland：一种基于抽象的外存图处理系统
提出面向外存图处理系统的图抽象技术，通过抽象引导信息传播与优先调度，大幅加速迭代图算法收敛。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 44运行时与内存管理并发、并行与内存模型
P2 Mallacc
Mallacc：内存分配硬件加速器
提出核内硬件加速器 Mallacc，以低延迟和极小面积加速现代内存分配器的 malloc 操作。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10引用 44运行时与内存管理语言与体系结构
P2 FlexOS: towards flexible OS isolation
FlexOS：迈向灵活的 OS 隔离
提出 FlexOS，可在编译/部署时灵活定制 OS 安全与隔离策略并探索安全-性能设计空间。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10引用 43安全与隐私运行时与内存管理
P2 A fast in-place interpreter for WebAssembly
面向 WebAssembly 的快速原地解释器
提出无需改写、无需独立内部格式的 WebAssembly 原地解释器，性能媲美解释定制格式。
OOPSLA 6(OOPSLA2)2022匹配度 1/10引用 43运行时与内存管理
P2 Espresso
Espresso：为 Java 及其运行时提供非易失性内存持久化支持
提出 Espresso，对 Java 与 JVM 做整体扩展，以高性能利用 NVM 实现持久化内存管理。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 42运行时与内存管理语言设计与特性
P2 GMLake: Efficient and Transparent GPU Memory Defragmentation for Large-scale DNN Training with Virtual Memory Stitching
GMLake：面向大规模 DNN 训练的高效透明 GPU 内存碎片整理与虚拟内存拼接
提出基于 GPU 虚拟内存拼接的分配框架 GMLake，透明缓解 DNN 训练中的内存碎片并降低显存占用。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 1/10引用 41运行时与内存管理
P2 Protecting Page Tables from RowHammer Attacks using Monotonic Pointers in DRAM True-Cells
利用 DRAM true-cell 中的单调指针保护页表免受 RowHammer 攻击
提出 DRAM 单元类型感知的内存分配，通过为页表指针建立单调性，抵御基于页表的 RowHammer 提权攻击。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 41安全与隐私运行时与内存管理
P2 Retrofitting parallelism onto OCaml
为 OCaml 加装并行支持
为 OCaml 设计并实现支持多核并行的 mostly-concurrent GC，兼顾单线程向后兼容与多核扩展性。
ICFP 4(ICFP)2020匹配度 1/10引用 41运行时与内存管理并发、并行与内存模型
P2 Cross-Language Interoperability in a Multi-Language Runtime
多语言运行时中的跨语言互操作性
提出 TruffleVM 与 generic access 机制，实现多语言运行时中高效无缝的跨语言互操作。
TOPLAS 40(2)2018匹配度 1/10引用 39运行时与内存管理编译与代码生成
P2 Skyway
Skyway：直接连接 JVM 托管堆以消除序列化
Skyway 直接连接不同 JVM 进程的托管堆，无需序列化/反序列化即可跨机传输对象。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 38运行时与内存管理分布式与容错
P2 RAIZN: Redundant Array of Independent Zoned Namespaces
RAIZN：独立 Zoned Namespace 冗余阵列
提出 RAIZN，一个在 ZNS SSD 上条带化数据与校验的逻辑卷管理器，缓解设备 GC 并提升吞吐与尾延迟。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10引用 37运行时与内存管理语言与体系结构
P2 NVAlloc: rethinking heap metadata management in persistent memory allocators
NVAlloc：重新思考持久内存分配器中的堆元数据管理
NVAlloc 通过交错元数据、顺序簿记日志与 slab morphing 消除持久内存分配器的缓存行刷写和随机元数据访问。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10引用 35运行时与内存管理
P2 LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly
LogReducer：在内核中即时识别并减少日志热点
提出基于 eBPF 的非侵入式、语言无关日志削减框架，在线识别并降低日志热点开销。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 1/10引用 33运行时与内存管理
P2 DeepUM: Tensor Migration and Prefetching in Unified Memory
DeepUM：统一内存中的张量迁移与预取
提出 DeepUM，利用 CUDA 统一内存与相关性预取，实现 DNN 的 GPU 显存超分并隐藏页迁移开销。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10引用 33运行时与内存管理语言与体系结构
P2 AvA: Accelerated Virtualization of Accelerators
AvA：加速器的加速虚拟化
提出 AvA，为 GPU/TPU/FPGA 等加速器提供加速虚拟化，使云中多个 guest 可共享物理设备，恢复多租户与整合。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10引用 33运行时与内存管理
P2 CommonGraph: Graph Analytics on Evolving Data
CommonGraph：面向演化数据的图分析
提出 CommonGraph，用公共图将删除转为添加并共享增量计算，加速演化图上的查询处理。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10引用 32运行时与内存管理并发、并行与内存模型
P2 Empowering Web Applications with WebAssembly: Are We There Yet?
用 WebAssembly 赋能 Web 应用：我们做到了吗？
实证对比浏览器中 WebAssembly 与 JavaScript 的执行时间与内存占用，揭示 JIT 优化与内存开销差异。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 1/10引用 32运行时与内存管理编译与代码生成
P2 MVEDSUA
MVEDSUA：基于多版本执行的动态软件更新
用多版本执行让动态软件更新先在副本中试运行，意外分歧即回滚，降低更新停顿与出错风险。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 1/10引用 31运行时与内存管理测试、调试与修复
P2 Clobber-NVM: log less, re-execute more
Clobber-NVM：减少日志，增加重执行
提出 Clobber-NVM，通过减少日志记录、增加重执行来降低非易失内存故障原子性库的开销。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 1/10引用 30运行时与内存管理
P2 Watching for Software Inefficiencies with Witch
用 Witch 监视软件低效行为
提出免插桩的轻量采样框架 Witch，利用 PMU 与调试寄存器检测软件低效。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 1/10引用 30运行时与内存管理