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

International symposium on static analysis

召开年：2013
召开地：Seattle, WA(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Localizing Widening and Narrowing

机译：本地化加宽和缩小
- 作者：Gianluca Amato;Francesca Scozzari
- 会议名称：《International symposium on static analysis》 | 2013年
2.Static Analysis by Abstract Interpretation of Numerical Programs and Systems,and FLUCTUAT

机译：数值程序和系统的抽象解释以及FLUCTUAT的静态分析
- 作者：Eric Goubault
- 会议名称：《International symposium on static analysis》 | 2013年
3.Static Analysis in the Continuously Changing World

机译：不断变化的世界中的静态分析
- 作者：Sriram Sankaranarayanan
- 会议名称：《International symposium on static analysis》 | 2013年
4.Abstract Interpretation over Non-lattice Abstract Domains

机译：非格抽象域的抽象解释
- 作者：Graeme Gange;Jorge A. Navas;Peter Schachte;Harald Sondergaard;Peter J. Stuckey
- 会议名称：《International symposium on static analysis》 | 2013年
5.The Abstract Domain of Segmented Ranking Functions

机译：分段排名函数的抽象域
- 作者：Caterina Urban
- 会议名称：《International symposium on static analysis》 | 2013年
6.Symbolic Automata for Static Specification Mining

机译：静态规范挖掘的符号自动机
- 作者：Hila Peleg;Sharon Shoham;Eran Yahav;Hongseok Yang
- 会议名称：《International symposium on static analysis》 | 2013年
7.Predicate Abstraction for Relaxed Memory Models

机译：轻松内存模型的谓词抽象
- 作者：Andrei Marian Dan;Yuri Meshman;Martin Vechev;Eran Yahav
- 会议名称：《International symposium on static analysis》 | 2013年
8.On Solving Universally Quantified Horn Clauses

机译：关于解决通用量化的号角子句
- 作者：Nikolaj Bjorner;Ken McMillan;Andrey Rybalchenko
- 会议名称：《International symposium on static analysis》 | 2013年
9.From Concrete Examples to Heap Manipulating Programs

机译：从具体示例到堆操作程序
- 作者：Subhajit Roy
- 会议名称：《International symposium on static analysis》 | 2013年
10.Local Shape Analysis for Overlaid Data Structures

机译：重叠数据结构的局部形状分析
- 作者：Cezara Dragoi;Constantin Enea;Mihaela Sighireanu
- 会议名称：《International symposium on static analysis》 | 2013年
11.Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

机译：瘦树上的量化数据自动机：列表的抽象域
- 作者：Pranav Garg;P. Madhusudan;Gennaro Parlato
- 会议名称：《International symposium on static analysis》 | 2013年
12.Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

机译：基于抽象解析和语义处理的动态生成HTML文档的静态验证
- 作者：Hyunha Kim;Kyung-Goo Doh;David A. Schmidt
- 会议名称：《International symposium on static analysis》 | 2013年
- static analysis;
- string analysis;
- abstract parsing;
- HTML val-idation;
13.Byte-Precise Verification of Low-Level List Manipulation

机译：底层列表操作的字节精确验证
- 作者：Kamil Dudka;Petr Peringer;Tomas Vojnar
- 会议名称：《International symposium on static analysis》 | 2013年
14.Abstract Semantic Differencing for Numerical Programs

机译：数值程序的抽象语义差异
- 作者：Nimrod Partush;Eran Yahav
- 会议名称：《International symposium on static analysis》 | 2013年
15.Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

机译：通过术语重写和抽象解释在命令式程序中进行精确切片
- 作者：Raghavan Komondoor
- 会议名称：《International symposium on static analysis》 | 2013年
16.Automatic Synthesis of Deterministic Concurrency

机译：确定性并发的自动综合
- 作者：Veselin Raychev;Martin Vechev;Eran Yahav
- 会议名称：《International symposium on static analysis》 | 2013年
17.Preface

机译：前言
- 作者：Manuel Faehndrich
- 会议名称：《International symposium on static analysis》 | 2013年
18.Witnessing Program Transformations

机译：见证程序转换
- 作者：Kedar S. Namjoshi;Lenore D. Zuck
- 会议名称：《International symposium on static analysis》 | 2013年
19.Formal Verification of a C Value Analysis Based on Abstract Interpretation

机译：基于抽象解释的C值分析的形式验证
- 作者：Sandrine Blazy;Vincent Laporte;Andre Maroneze;David Pichardie
- 会议名称：《International symposium on static analysis》 | 2013年
20.Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

机译：有效生成多面体抽象域的正确性证书
- 作者：Alexis Fouilhe;David Monniaux;Michaeel Perin
- 会议名称：《International symposium on static analysis》 | 2013年
21.Static Provenance Verification for Message Passing Programs

机译：消息传递程序的静态来源验证
- 作者：Rupak Majumdar;Roland Meyer;Zilong Wang
- 会议名称：《International symposium on static analysis》 | 2013年
22.Verification as Learning Geometric Concepts

机译：验证是学习几何概念
- 作者：Rahul Sharma;Saurabh Gupta;Bharath Hariharan;Alex Aiken;Aditya V. Nori
- 会议名称：《International symposium on static analysis》 | 2013年
- loop invariants;
- verification;
- machine learning;
23.Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL

机译：基于插值的抽象CDCL浮点程序验证
- 作者：Martin Brain;Vijay DSilva;Alberto Griggio;Leopold Haller;Daniel Kroening
- 会议名称：《International symposium on static analysis》 | 2013年
24.Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation

机译：使用蕴涵代数的简洁分析，用于任务本地内存优化
- 作者：Leo White;Alan Mycroft
- 会议名称：《International symposium on static analysis》 | 2013年
25.Automatic Verification of Erlang-Style Concurrency

机译：自动验证Erlang样式的并发
- 作者：Emanuele DOsualdo;Jonathan Kochems;C.-H. Luke Ong
- 会议名称：《International symposium on static analysis》 | 2013年
- Erlang;
- Infinite-state Systems Verification;
- Petri Nets;
26.Contextual Locking for Dynamic Pushdown Networks

机译：动态下推式网络的上下文锁定
- 作者：Peter Lammich;Markus Mueller-Olm;Helmut Seidl;Alexander Wenner
- 会议名称：《International symposium on static analysis》 | 2013年
27.A Structural Soundness Proof for Shivers's Escape Technique A Case for Galois Connections

机译：颤抖的逃生技术的结构健全良好证据是Galois Connections的情况
- 作者：Jan Midtgaard;Michael D. Adams;Matthew Might
- 会议名称：《International symposium on static analysis》 | 2012年
28.A New Abstract Domain for the Representation of Mathematically Equivalent Expressions

机译：一个新的抽象域，用于数学上等同表达式的表示
- 作者：Arnault Ioualalen;Matthieu Martel
- 会议名称：《International symposium on static analysis》 | 2012年
29.Semantics and Analyses for JavaScript and the Web

机译：JavaScript和Web的语义和分析
- 作者：Shriram Krislmamurthi
- 会议名称：《International symposium on static analysis》 | 2012年
30.Modular Static Analysis with Zonotopes

机译：Zonotopes的模块化静态分析
- 作者：Eric Goubault;Sylvie Putot;Franck Vedrine
- 会议名称：《International symposium on static analysis》 | 2012年
31.Finding Non-terminating Executions in Distributed Asynchronous Programs

机译：在分布式异步程序中查找非终止执行
- 作者：Michael Emmi;Akash Lal
- 会议名称：《International symposium on static analysis》 | 2012年
32.An Abstract Domain to Infer Types over Zones in Spreadsheets

机译：一个抽象域来推断电子表格中的区域
- 作者：Tie Cheng;Xavier Rival
- 会议名称：《International symposium on static analysis》 | 2012年
33.Invariant Generation for Parametrized Systems Using Self-reflection

机译：使用自反射的参数化系统不变生成
- 作者：Alejandro Sanchez;Sriram Sankaranarayanan;Cesar Sanchez;Bor-Yuh Evan Chang
- 会议名称：《International symposium on static analysis》 | 2012年
34.Computer-Aided Cryptographic Proofs

机译：计算机辅助加密证明
- 作者：Gilles Barthe;Benjamin Gregoire;Santiago Zanella Beguelin
- 会议名称：《International symposium on static analysis》 | 2012年
35.When the Decreasing Sequence Fails

机译：当减少序列失败时
- 作者：Nicolas Halbwachs;Julien Henry
- 会议名称：《International symposium on static analysis》 | 2012年
36.Path-Sensitive Backward Slicing

机译：路径敏感的向后切片
- 作者：Joxan Jaffar;Vijayaraghavan Murali;Jorge A. Navas;Andrew E. Santosa
- 会议名称：《International symposium on static analysis》 | 2012年
37.Craig Interpretation

机译：克雷格解释
- 作者：Aws Albarghouthi;Arie Gurfinkel;Marsha Chechik
- 会议名称：《International symposium on static analysis》 | 2012年
38.Succinct Representations for Abstract Interpretation Combined Analysis Algorithms and Experimental Evaluation

机译：抽象解释组合分析算法和实验评估的简洁表示
- 作者：Julien Henry;David Monniaux;Matthieu Moy
- 会议名称：《International symposium on static analysis》 | 2012年
39.Polyhedral Analysis Using Parametric Objectives

机译：使用参数目标的多面体分析
- 作者：Jacob M. Howe;Andy King
- 会议名称：《International symposium on static analysis》 | 2012年
40.Control Flow Analysis for the Join Calculus

机译：加入微积分的控制流程分析
- 作者：Peter Calvert;Alan Mycroft
- 会议名称：《International symposium on static analysis》 | 2012年
- program analysis;
- concurrency;
- optimisation;
41.Liveness-Based Pointer Analysis

机译：基于活的指针分析
- 作者：Uday P. Khedker;Alan Mycroft;Prashant Singh Rawat
- 会议名称：《International symposium on static analysis》 | 2012年
42.A Generalization of Stalmarck's Method

机译：史尔马克方法的概括
- 作者：Aditya Thakur;Thomas Reps
- 会议名称：《International symposium on static analysis》 | 2012年
43.Termination Proofs for Linear Simple Loops

机译：线性简单环路的终止证明
- 作者：Hong Yi Chen;Shaked Flur;Supratik Mukhopadhyay
- 会议名称：《International symposium on static analysis》 | 2012年
44.Modular Heap Analysis for Higher-Order Programs

机译：高阶节目的模块化堆分析
- 作者：Ravichandhran Madhavan;G. Ramalingam;Kapil Vaswani
- 会议名称：《International symposium on static analysis》 | 2012年
45.Symbolic Learning of Component Interfaces

机译：组件界面的象征性学习
- 作者：Dimitra Giannakopoulou;Zvonimir Rakamaric;Vishwanath Raman
- 会议名称：《International symposium on static analysis》 | 2012年
46.Loop Leaping with Closures

机译：循环跳跃封闭
- 作者：Sebastian Biallas;Joerg Braucr;Andy King;Stefan Kowalewski
- 会议名称：《International symposium on static analysis》 | 2012年
47.Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation

机译：制作抽象解释不完整：模拟混淆的效力
- 作者：Roberto Giacobazzi;Isabella Mastroeni
- 会议名称：《International symposium on static analysis》 | 2012年
48.On the Limits of the Classical Approach to Cost Analysis

机译：论成本分析古典方法的极限
- 作者：Diego Esteban Alonso-Blas;Samir Genaim
- 会议名称：《International symposium on static analysis》 | 2012年
49.Bilateral Algorithms for Symbolic Abstraction

机译：符号抽象的双边算法
- 作者：Aditya Thakur;Matt Elder;Thomas Reps
- 会议名称：《International symposium on static analysis》 | 2012年
50.Binary Reachability Analysis of Higher Order Functional Programs

机译：高阶功能计划的二进制可达性分析
- 作者：Ruslan Ledesma-Garza;Audrey Rybalehenko
- 会议名称：《International symposium on static analysis》 | 2012年
51.Automatic Fence Insertion in Integer Programs via Predicate Abstraction

机译：通过谓词抽象自动围栏在整数节目中插入
- 作者：Parosh Aziz Abdulla;Mohamed Faouzi Atig;Yu-Fang Chen;Carl Leonardsson;Ahmed Rezine
- 会议名称：《International symposium on static analysis》 | 2012年
52.Satisfiability Solvers Are Static Analysers

机译：可满足求解器是静态分析仪
- 作者：Vijay DSilva;Leopold Haller;Daniel Kroening
- 会议名称：《International symposium on static analysis》 | 2012年
53.Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grobner Bases

机译：对必要计划的多项式不变的推论：对Grobner基地的告别
- 作者：David Cachera;Thomas Jensen;Arnand Jobin;Floront Kirchner
- 会议名称：《International symposium on static analysis》 | 2012年
54.Efficient May Happen in Parallel Analysis for Async-Finish Parallelism

机译：有效可能发生在异步分析中的异步分析
- 作者：Jonathan K. Lee;Jens Palsberg;Rupak Majumdar;Hong Hong
- 会议名称：《International symposium on static analysis》 | 2012年
55.On the Monniaux Problem in Abstract Interpretation

机译：论抽象解读中的蒙累累问题
- 作者：Nathanael Fijalkow;Engel Lefaucheux;Pierre Ohlmann;Joeel Ouaknine;Amaury Pouly;James Worrell
- 会议名称：《International symposium on static analysis》 | 2019年
56.Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

机译：分析符号传播的深神经网络：迈向更高的精度和更快的验证
- 作者：Jianlin Li;Jiangchao Liu;Pengfei Yang;Liqian Chen;Xiaowei Huang;Lijun Zhang
- 会议名称：《International symposium on static analysis》 | 2019年
57.A Change-Based Heuristic for Static Analysis with Policy Iteration

机译：一种基于静态分析的静态分析的改变启发式迭代
- 作者：Marcus Voelker;Stefan Kowalewski
- 会议名称：《International symposium on static analysis》 | 2019年
- Data flow analysis;
- Value set analysis;
- Policy iteration;
58.Analysis of Software Patches Using Numerical Abstract Interpretation

机译：使用数值抽象解释的软件补丁分析
- 作者：David Delmas;Antoine Mine
- 会议名称：《International symposium on static analysis》 | 2019年
59.Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

机译：用于场敏感指针分析的快速和精确处理正重循环
- 作者：Yuxiang Lei;Yulei Sui
- 会议名称：《International symposium on static analysis》 | 2019年
- Pointer analysis;
- Field-sensitive;
- Cycle elimination;
- Positive weight cycle;
60.Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets

机译：多相线性排名函数及其与复制集的关系
- 作者：Amir M. Ben-Amram;Jesus J. Domenech;Samir Genaim
- 会议名称：《International symposium on static analysis》 | 2019年
61.Robustness Verification of Support Vector Machines

机译：支持向量机的鲁棒性验证
- 作者：Francesco Ranzato;Marco Zanella
- 会议名称：《International symposium on static analysis》 | 2019年
62.Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

机译：通过结合离散和连续推理来重新思考静态分析
- 作者：Mayur Naik
- 会议名称：《International symposium on static analysis》 | 2019年
- Static analysis;
- Constraint solving;
- Provenance;
- Probabilistic logics;
- Alarm ranking;
- Inductive logic programming;
63.Verifying Numerical Programs via Iterative Abstract Testing

机译：通过迭代抽象测试验证数字程序
- 作者：Banghu Yin;Liqian Chen;Jiangehao Liu;Ji Wang;Patrick Cousot
- 会议名称：《International symposium on static analysis》 | 2019年
- Program verification;
- Abstract;
- interpretation;
- Abstract testing;
- Input space partitioning;
64.Abstract Interpretation of Indexed Grammars

机译：摘要索引语法解释
- 作者：Marco Campion;Mila Dalla Preda;Roberto Giacobazzi
- 会议名称：《International symposium on static analysis》 | 2019年
65.Abstract Semantic Dependency

机译：抽象语义依赖
- 作者：Patrick Consot
- 会议名称：《International symposium on static analysis》 | 2019年
66.Towards Semantic Adversarial Examples

机译：朝向语义对抗的例子
- 作者：Somesh Jha
- 会议名称：《International symposium on static analysis》 | 2019年
67.Preface

机译：前言
- 作者：Bor-Yuh Evan Chang;Hakjoo Oh
- 会议名称：《International symposium on static analysis》 | 2019年
68.An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection

机译：高效的参数线性编程求解器和应用于多面体投影的应用
- 作者：Hang Yu;David Monniaux
- 会议名称：《International symposium on static analysis》 | 2019年
- Polyhedral projection;
- Parametric linear programming;
- Floating-point arithmetic;
69.Responsibility Analysis by Abstract Interpretation

机译：抽象解释责任分析
- 作者：Chaoqiang Deng;Patrick Cousot
- 会议名称：《International symposium on static analysis》 | 2019年
- Responsibility;
- Abstract interpretation;
- Static analysis;
- Dependency;
- Causality;
- Program security;
70.A Temporal Logic for Higher-Order Functional Programs

机译：高阶功能程序的时间逻辑
- 作者：Yuya Okuyama;Takeshi Tsukada;Naoki Kobayashi
- 会议名称：《International symposium on static analysis》 | 2019年
71.Revisiting Polyhedral Analysis for Hybrid Systems

机译：对混合系统进行重新发现多面体分析
- 作者：Anna Becchi;Enea Zaffanella
- 会议名称：《International symposium on static analysis》 | 2019年
72.Language Inclusion Algorithms as Complete Abstract Interpretations

机译：语言包含算法作为完整的抽象解释
- 作者：Pierre Ganty;Francesco Ranzato;Pedro Valero
- 会议名称：《International symposium on static analysis》 | 2019年
73.Direct Manipulation for Imperative Programs

机译：直接操纵势在必行计划
- 作者：Qinheping Hu;Roopsha Samanta;Rishabh Singh;Loris DAntoni
- 会议名称：《International symposium on static analysis》 | 2019年
74.Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

机译：通过自适应上下文敏感分析每次取消验证时间堆安全性
- 作者：Hua Yan;Shiping Chen;Yulei Sui;Yueqian Zhang;Changwei Zou;Jingling Xue
- 会议名称：《International symposium on static analysis》 | 2019年
75.Learning Verifiers and Verifying Learners

机译：学习验证者和验证学习者
- 作者：Suresh Jagannathan
- 会议名称：《International symposium on static analysis》 | 2019年
76.Static Analysis of Data Science Software

机译：数据科学软件的静态分析
- 作者：Caterina Urban
- 会议名称：《International symposium on static analysis》 | 2019年
77.SORCAR: Property-Driven Algorithms for Learning Conjunctive Invariants

机译：Sorcar：用于学习联合不变的物业驱动算法
- 作者：Daniel Neider;Shambwaditya Saha;Pranav Garg;P. Madhusudan
- 会议名称：《International symposium on static analysis》 | 2019年
- Invariant synthesis;
- Machine learning;
- Horn-ICE learning;
- Conjunctive formulas;
78.Syntactic and Semantic Soundness of Structural Dataflow Analysis

机译：结构数据流分析的句法与语义
- 作者：Patrick Cousot
- 会议名称：《International symposium on static analysis》 | 2019年
- Abstract interpretation;
- Dataflow analysis;
- Model-checking;
- Soundness;
79.Temporal Verification of Programs via First-Order Fixpoint Logic

机译：通过一阶FixPoint Logic对程序的时间验证
- 作者：Naoki Kobayashi;Takeshi Nishikawa;Atsushi Igarashi;Hiroshi Unno
- 会议名称：《International symposium on static analysis》 | 2019年