atopic 发表于 2025-3-25 03:51:51
Abstract Interpretation of Probabilistic Semanticsics allows for random external inputs of known or unknown probability and random number generators..We then propose a method for analysing programs according to this semantics, in the general framework of abstract interpretation. This method lifts an “ordinary” abstract lattice, for non-probabilistirectocele 发表于 2025-3-25 10:45:37
Code Specialization Based on Value Profilesery skewed, with a small number of values occurring most of the time. Knowledge of such frequently occurring values can be exploited by a compiler to generate code that optimizes for the common cases without sacrificing the ability to handle the general case. The idea can be generalized to the notio修改 发表于 2025-3-25 15:34:54
Flattening Is an Improvementfine a sufficient syntactic condition for the correctness of flattening, providing a static approximation of Blelloch’s “containment”. This is acheived using a typing system that tracks the control flow of programs. Using a weak improvement preorder, we then show that the flattening transformations抗体 发表于 2025-3-25 18:24:47
TVLA: A System for Implementing Static Analysesperform shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients, and to verify the partial correctness of several sorting programs.inclusive 发表于 2025-3-25 21:45:37
Flattening Is an Improvementd using a typing system that tracks the control flow of programs. Using a weak improvement preorder, we then show that the flattening transformations are intensionally correct for all well-typed programs.ARK 发表于 2025-3-26 01:25:42
http://reply.papertrans.cn/88/8762/876195/876195_26.png共同给与 发表于 2025-3-26 08:19:12
http://reply.papertrans.cn/88/8762/876195/876195_27.pngSpinal-Fusion 发表于 2025-3-26 11:50:49
Deriving Parallel Codes via Invariantsiants can be discovered and verified systematically, and demonstrate the power of our methodology by deriving a parallel code for maximum segment product. To the best of our knowledge, this is the first systematic parallelization for the maximum segment product problem.音的强弱 发表于 2025-3-26 15:44:20
Safety of Strictness Analysis via Term Graph Rewritingis used to define a notion of safety with respect to a variant of Ariola and Arvind’s direct approximation semantics, and this notion of safety is shown to be adequate for strictness analysis. Abstract reduction is defined as the union of the extended rewrite system with additional ‘heuristic’ reductions and shown to be safe.exorbitant 发表于 2025-3-26 17:24:36
Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for Clymorphism hardly makes any difference. We also gain some insight into the nature of polymorphism in points-to analysis of C. In particular, we find considerable polymorphism available in function parameters, but little or no polymorphism in function results, and we show how this observation explains our results.