首页>外文会议>International symposium on static analysis

International symposium on static analysis

召开年：2015
召开地：Saint-Malo(FR)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Static Analysis of Non-interference in Expressive Low-Level Languages

机译：表现性低级语言的无干扰静态分析
- 作者：Peter Aldous;Matthew Might
- 会议名称：《International symposium on static analysis》 | 2015年
2.Static Analysis with Set-Closure in Secrecy

机译：带有定值封闭的静态分析
- 作者：Woosuk Lee;Hyunsook Hong;Kwangkeun Yi;Jung Hee Cheon
- 会议名称：《International symposium on static analysis》 | 2015年
3.A Binary Decision Tree Abstract Domain Functor

机译：二叉决策树抽象域函子
- 作者：Junjie Chen;Patrick Cousot
- 会议名称：《International symposium on static analysis》 | 2015年
4.Precise Data Flow Analysis in the Presence of Correlated Method Calls

机译：存在相关方法调用时的精确数据流分析
- 作者：Marianna Rapoport;Ondrej Lhotak;Prank Tip
- 会议名称：《International symposium on static analysis》 | 2015年
5.May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

机译：具有过程间同步的异步程序的May-Happen-in-Parallel分析
- 作者：Elvira Albert;Samir Genaim;Pablo Gordillo
- 会议名称：《International symposium on static analysis》 | 2015年
6.Shape Analysis for Unstructured Sharing

机译：非结构化共享的形状分析
- 作者：Huisong Li;Xavier Rival;Bor-Yuh Evan Chang
- 会议名称：《International symposium on static analysis》 | 2015年
7.Synthesizing Heap Manipulations via Integer Linear Programming

机译：通过整数线性规划合成堆操作
- 作者：Anshul Garg;Subhajit Roy
- 会议名称：《International symposium on static analysis》 | 2015年
8.Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR

机译：解释使用CEGAR的程序验证中的细化启发式算法的有效性
- 作者：Tachio Terauchi
- 会议名称：《International symposium on static analysis》 | 2015年
9.Safety Verification and Refutation by k-Invariants and k-Induction

机译：通过k不变量和k归纳法进行安全性验证和驳斥
- 作者：Martin Brain;Saurabh Joshi;Daniel Kroening;Peter Schrammel
- 会议名称：《International symposium on static analysis》 | 2015年
10.Effective Soundness-Guided Reflection Analysis

机译：有效的声音引导反射分析
- 作者：Yue Li;Tian Tan;Jingling Xue
- 会议名称：《International symposium on static analysis》 | 2015年
11.SJS: A Type System for JavaScript with Fixed Object Layout

机译：SJS：具有固定对象布局的JavaScript类型系统
- 作者：Wontae Choi;Satish Chandra;George Necula;Koushik Sen
- 会议名称：《International symposium on static analysis》 | 2015年
12.Refinement Type Inference via Horn Constraint Optimization

机译：通过Horn约束优化进行细化类型推断
- 作者：Kodai Hashimoto;Hiroshi Unno
- 会议名称：《International symposium on static analysis》 | 2015年
13.A Simple Abstraction of Arrays and Maps by Program Translation

机译：通过程序翻译对数组和映射进行简单抽象
- 作者：David Monniaux;Francesco Alberti
- 会议名称：《International symposium on static analysis》 | 2015年
14.Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization

机译：使用平方和优化的基于属性的多项式不变生成
- 作者：Assale Adje;Pierre-Loiec Garoche;Victor Magron
- 会议名称：《International symposium on static analysis》 | 2015年
15.Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis

机译：格中的模块性：自上而下与自下而上分析的对应关系的案例研究
- 作者：Ghila Castelnuovo;Mayur Naik;Noam Rinetzky;Mooly Sagiv;Hongseok Yang
- 会议名称：《International symposium on static analysis》 | 2015年
16.Parallel Cost Analysis of Distributed Systems

机译：分布式系统的并行成本分析
- 作者：Elvira Albert;Jesus Correas;Einar Broch Johnsen;Guillermo Roman-Diez
- 会议名称：《International symposium on static analysis》 | 2015年
17.A Forward Analysis for Recurrent Sets

机译：递归集的正向分析
- 作者：Alexey Bakhirkin;Josh Berdine;Nir Piterman
- 会议名称：《International symposium on static analysis》 | 2015年
18.Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

机译：带输入的受保护LTI系统的无时限抽象加速分析
- 作者：Dario Cattaruzza;Alessandro Abate;Peter Schrammel;Daniel Kroening
- 会议名称：《International symposium on static analysis》 | 2015年
19.Preface

机译：前言
- 作者：Sandrine Blazy;Thomas Jensen
- 会议名称：《International symposium on static analysis》 | 2015年
20.Static Analysis of x86 Executable Using Abstract Interpretation

机译：使用抽象解释对x86可执行文件进行静态分析
- 作者：Henny B. Sipma
- 会议名称：《International symposium on static analysis》 | 2015年
21.Static Analysis for JavaScript

机译：JavaScript的静态分析
- 作者：Anders Moller
- 会议名称：《》 | 2015年
22.The SLAyer Static Analyzer

机译：SLAyer静态分析器
- 作者：Josh Berdine
- 会议名称：《International symposium on static analysis》 | 2015年