Proceedings of the 26th International Static Analysis Symposium
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.