Isil Dillig, Jens Palsberg
Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation
VMCAI, 2018.

@proceedings{VMCAI-2018,
	doi           = "10.1007/978-3-319-73721-8",
	editor        = "Isil Dillig and Jens Palsberg",
	isbn          = "['978-3-319-73720-1', '978-3-319-73721-8']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation}",
	volume        = 10747,
	year          = 2018,
}

Contents (24 items)

VMCAI-2018-AminofRSWZ #abstraction #algorithm #distributed #model checking

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (BA, SR, IS, JW, FZ), pp. 1–24.

VMCAI-2018-BaderAT #verification

Gradual Program Verification (JB, JA, ÉT), pp. 25–46.

VMCAI-2018-BaumannDMHV #abstraction #automation #source code #verification

Automatic Verification of RMA Programs via Abstraction Extrapolation (CB, AMD, YM, TH, MTV), pp. 47–70.

VMCAI-2018-BiondiEHLMQ #approximate #data flow #scalability #source code

Scalable Approximation of Quantitative Information Flow in Programs (FB, MAE, AH, AL, KSM, JQ), pp. 71–93.

VMCAI-2018-BruniGG #model checking #obfuscation

Code Obfuscation Against Abstract Model Checking Attacks (RB, RG, RG), pp. 94–115.

VMCAI-2018-BuroM #approach #injection #semantics

Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference (SB, IM), pp. 116–137.

VMCAI-2018-ButlerTP #design #domain model #education #framework #modelling

A Framework for Computer-Aided Design of Educational Domain Models (EB, ET, ZP), pp. 138–160.

VMCAI-2018-DahiyaB #automation #verification

Automatic Verification of Intermittent Systems (MD, SB), pp. 161–182.

VMCAI-2018-DongolJRA #abstraction #composition #on the

On abstraction and compositionality for weak-memory linearisability (BD, RJ, JR, AA), pp. 183–204.

VMCAI-2018-FiedorHRSVZ #complexity

From Shapes to Amortized Complexity (TF, LH, AR, MS, TV, FZ), pp. 205–225.

VMCAI-2018-HumenbergerJK #generative #invariant #multi #polynomial

Invariant Generation for Multi-Path Loops with Polynomial Assignments (AH, MJ, LK), pp. 226–246.

VMCAI-2018-JacobsS #protocol

Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity (SJ, MS), pp. 247–268.

VMCAI-2018-KazerounianVBFT #refinement #ruby

Refinement Types for Ruby (MK, NV, AB, JSF, ET), pp. 269–290.

VMCAI-2018-KranzS #analysis #bytecode #composition #on-demand #using

Modular Analysis of Executables Using On-Demand Heyting Completion (JK, AS), pp. 291–312.

VMCAI-2018-LiTZS #automaton #learning

Learning to Complement Büchi Automata (YL0, AT, LZ0, SS), pp. 313–335.

VMCAI-2018-ZuckMT #probability #protocol #proving

P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols (LDZ, KLM, JT), pp. 336–357.

VMCAI-2018-Najafzadeh0E #co-evolution #design #file system #verification

Co-Design and Verification of an Available File System (MN, MS0, PE), pp. 358–381.

VMCAI-2018-PelegIS #interactive #synthesis

Abstraction-Based Interaction Model for Synthesis (HP, SI, SS), pp. 382–405.

VMCAI-2018-PelegRY #generative #testing

Generating Tests by Example (HP, DR, EY), pp. 406–429.

VMCAI-2018-PrabawaALC #composition #data flow #logic #verification

A Logical System for Modular Information Flow Verification (AP, MFAA, BL, WNC), pp. 430–451.

VMCAI-2018-Ranzato #on the

On Constructivity of Galois Connections (FR), pp. 452–473.

VMCAI-2018-Roohi0

Revisiting MITL to Fix Decision Procedures (NR, MV0), pp. 474–494.

VMCAI-2018-SchindlerJ #infinity #model checking

Selfless Interpolation for Infinite-State Model Checking (TS, DJ), pp. 495–515.

VMCAI-2018-TitoloFMM #abstract interpretation #analysis #fault #float #framework #source code

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (LT, MAF, MMM, CAM), pp. 516–537.