Barbara Jobstmann, K. Rustan M. Leino
Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2016.

@proceedings{VMCAI-2016,
	doi           = "10.1007/978-3-662-49122-5",
	editor        = "Barbara Jobstmann and K. Rustan M. Leino",
	ee            = "https://www.wikidata.org/entity/Q57664983",
	isbn          = "978-3-662-49121-8",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 9583,
	year          = 2016,
}

Contents (26 items)

VMCAI-2016-RepsT #abstract interpretation #automation

Automating Abstract Interpretation (TWR, AVT), pp. 3–40.

VMCAI-2016-0001SS #framework #named #reasoning #verification

Viper: A Verification Infrastructure for Permission-Based Reasoning (PM0, MS, AJS), pp. 41–62.

VMCAI-2016-BakstJ #abstraction #data type #linked data #open data

Predicate Abstraction for Linked Data Structures (AB, RJ), pp. 65–84.

VMCAI-2016-GangeNSSS #abstract domain

An Abstract Domain of Uninterpreted Functions (GG, JAN, PS, HS, PJS), pp. 85–103.

VMCAI-2016-RinetzkyS #abstract interpretation

Property Directed Abstract Interpretation (NR, SS), pp. 104–123.

VMCAI-2016-KarpenkovMW #policy #program analysis

Program Analysis with Local Policy Iteration (EGK, DM, PW), pp. 127–146.

VMCAI-2016-GanjeiREP #abstraction #lazy evaluation

Lazy Constrained Monotonic Abstraction (ZG, AR, PE, ZP), pp. 147–165.

VMCAI-2016-MarechalFKMP #approximate #multi #theorem #using

Polyhedral Approximation of Multivariate Polynomials Using Handelman's Theorem (AM, AF, TK0, DM, MP), pp. 166–184.

VMCAI-2016-PelegSY #abstraction #data-driven

D^3 : Data-Driven Disjunctive Abstraction (HP, SS, EY), pp. 185–205.

VMCAI-2016-HilleryMRP #execution #summary #symbolic computation

Exact Heap Summaries for Symbolic Execution (BH, EM, NR, SP), pp. 206–225.

VMCAI-2016-KidoCH #abstract interpretation #scalability #standard #static analysis #towards

Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis (KK, SC, IH), pp. 229–249.

VMCAI-2016-HenzingerOS #robust

Lipschitz Robustness of Timed I/O Systems (TAH, JO, RS), pp. 250–267.

VMCAI-2016-SogokonGJP #generative #invariant #polynomial

A Method for Invariant Generation for Polynomial Continuous Systems (AS, KG, PBJ, AP), pp. 268–288.

VMCAI-2016-Parizek #analysis #array #hybrid #partial order #reduction #source code

Hybrid Analysis for Partial Order Reduction of Programs with Arrays (PP), pp. 291–310.

VMCAI-2016-Holzmann #concurrent #verification

Cloud-Based Verification of Concurrent Software (GJH), pp. 311–327.

VMCAI-2016-DacaGH #testing

Abstraction-driven Concolic Testing (PD, AG0, TAH), pp. 328–347.

VMCAI-2016-HashemiH0 #bound #nondeterminism #probability #reachability

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs (VH, HH, LS0), pp. 351–371.

VMCAI-2016-DelahayeLP #markov #parametricity #synthesis

Parameter Synthesis for Parametric Interval Markov Chains (BD, DL, LP), pp. 372–390.

VMCAI-2016-HazizaHMW #pointer

Pointer Race Freedom (FH, LH, RM0, SW), pp. 393–412.

VMCAI-2016-DokoV #logic #memory management

A Program Logic for C11 Memory Fences (MD, VV), pp. 413–430.

VMCAI-2016-DudkaHPTV #low level #pointer

From Low-Level Pointers to High-Level Containers (KD, LH, PP, MT, TV), pp. 431–452.

VMCAI-2016-LinNR0 #symmetry

Regular Symmetry Patterns (AWL, TKN, PR, JS0), pp. 455–475.

VMCAI-2016-AusserlechnerJK #protocol

Tight Cutoffs for Guarded Protocols with Fairness (SA, SJ, AK), pp. 476–494.

VMCAI-2016-CrescenzoT #automaton #composition #problem #synthesis

A General Modular Synthesis Problem for Pushdown Systems (IDC, SLT), pp. 495–513.

VMCAI-2016-ChakiK #concurrent #model checking #multi #thread

Model Checking with Multi-threaded IC3 Portfolios (SC, DK), pp. 517–535.

VMCAI-2016-BrainHKM #automation #encoding #generative #satisfiability

Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.