Nibble
发表于 2025-3-28 15:34:03
Interprocedural Shape Analysis for Recursive Programs subset of C. The algorithm is significantly more precise than existing algorithms. For example, it can verify the absence of memory leaks in many recursive programs; this is beyond the capabilities of existing algorithms.
反复无常
发表于 2025-3-28 19:41:35
Optimal Live Range Merge for Address Register Allocation in Embedded Programss work, which is based on a heuristic that merges address register live ranges. We prove, for the first time, that the merge operation is NP-hard in general, and show the existence of an optimal linear-time algorithm, based on dynamic programming, for a special case of the problem.
分解
发表于 2025-3-29 01:06:36
http://reply.papertrans.cn/24/2313/231252/231252_43.png
向下
发表于 2025-3-29 04:37:40
Soft Modes and Localization in Spin Glassesfor probabilistic data flow problems. In contrast to other approaches, we utilize execution history for calculating the probabilities of data flow facts. In this way we achieve significantly better results. Effectiveness and efficiency of our approach are shown by compiling and running the SPECint95 benchmark suite.
四海为家的人
发表于 2025-3-29 07:58:26
Energy Landscape of ,-Component Spin Glassesbility of these rewrites we add temporal logic side conditions. The combination of these features allows a flexible, high level, yet executable specification of many of the transformations found in optimising compilers.
乞丐
发表于 2025-3-29 11:27:58
http://reply.papertrans.cn/24/2313/231252/231252_46.png
Obverse
发表于 2025-3-29 18:32:43
http://reply.papertrans.cn/24/2313/231252/231252_47.png
EVICT
发表于 2025-3-29 20:25:46
http://reply.papertrans.cn/24/2313/231252/231252_48.png
Itinerant
发表于 2025-3-30 03:34:39
Directly-Executable Earley Parsingscribe how to narrow the performance gap between general and deterministic parsers, constructing a directly-executable Earley parser that can reach speeds comparable to deterministic methods even on grammars for commonly-used programming languages.
follicular-unit
发表于 2025-3-30 04:34:35
http://reply.papertrans.cn/24/2313/231252/231252_50.png