Bor-Yuh Evan Chang
Proceedings of the 26th International Static Analysis Symposium
SAS, 2019.

@proceedings{SAS-2019,
	doi           = "10.1007/978-3-030-32304-2",
	editor        = "Bor-Yuh Evan Chang",
	isbn          = "['978-3-030-32303-5', '978-3-030-32304-2']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 26th International Static Analysis Symposium}",
	volume        = 11822,
	year          = 2019,
}

Contents (22 items)

SAS-2019-Naik #reasoning #static analysis

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning (MN), pp. 3–16.

SAS-2019-Urban #static analysis

Static Analysis of Data Science Software (CU), pp. 17–23.

SAS-2019-LeiS #analysis #performance #pointer #precise

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis (YL, YS), pp. 27–47.

SAS-2019-YanCSZZX #adaptation #analysis #safety #verification

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis (HY, SC0, YS, YZ, CZ, JX), pp. 48–72.

SAS-2019-VolkerK #heuristic #policy #static analysis

A Change-Based Heuristic for Static Analysis with Policy Iteration (MV, SK), pp. 73–95.

SAS-2019-Cousot #analysis #data flow #semantics

Syntactic and Semantic Soundness of Structural Dataflow Analysis (PC), pp. 96–117.

SAS-2019-CampionPG #abstract interpretation

Abstract Interpretation of Indexed Grammars (MC, MDP, RG), pp. 121–139.

SAS-2019-GantyR0 #abstract interpretation #algorithm

Language Inclusion Algorithms as Complete Abstract Interpretations (PG, FR, PV0), pp. 140–161.

SAS-2019-FijalkowLOOP0 #abstract interpretation #on the #problem

On the Monniaux Problem in Abstract Interpretation (NF, EL, PO, JO, AP, JW0), pp. 162–180.

SAS-2019-BecchiZ #analysis #hybrid

Revisiting Polyhedral Analysis for Hybrid Systems (AB, EZ), pp. 183–202.

SAS-2019-YuM #linear #parametricity #performance #programming

An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (HY, DM), pp. 203–224.

SAS-2019-DelmasM #abstract interpretation #analysis #using

Analysis of Software Patches Using Numerical Abstract Interpretation (DD, AM), pp. 225–246.

SAS-2019-YinCL0C #source code #testing #verification

Verifying Numerical Programs via Iterative Abstract Testing (BY, LC, JL, JW0, PC), pp. 247–267.

SAS-2019-RanzatoZ #robust #verification

Robustness Verification of Support Vector Machines (FR, MZ), pp. 271–295.

SAS-2019-LiLYCHZ #network #performance #precise #towards #verification

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification (JL, JL, PY, LC, XH0, LZ0), pp. 296–319.

SAS-2019-NeiderS0M #algorithm #invariant #learning #named

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants (DN, SS, PG0, PM), pp. 323–346.

SAS-2019-HuSSD #imperative #source code

Direct Manipulation for Imperative Programs (QH, RS, RS, LD), pp. 347–367.

SAS-2019-DengC #abstract interpretation #analysis

Responsibility Analysis by Abstract Interpretation (CD, PC), pp. 368–388.

SAS-2019-Cousot19a #dependence #semantics

Abstract Semantic Dependency (PC), pp. 389–410.

SAS-2019-0001NIU #first-order #fixpoint #logic #source code #verification

Temporal Verification of Programs via First-Order Fixpoint Logic (NK0, TN, AI, HU0), pp. 413–436.

SAS-2019-OkuyamaT0 #functional #higher-order #logic #source code

A Temporal Logic for Higher-Order Functional Programs (YO, TT, NK0), pp. 437–458.

SAS-2019-Ben-AmramDG #multi #ranking #set

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets (AMBA, JJD, SG), pp. 459–480.