Volume 53, Issue 2

October 2018

Special issue on 'SAS 2016'

Issue Editor:

7 articles in this issue

Foreword
Xavier Rival
EditorialNotes 19 September 2018 Pages: 165 - 165
Securing a compiler transformation
Chaoqiang Deng
Kedar S. Namjoshi
OriginalPaper 15 January 2018 Pages: 166 - 188
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
Kihong Heo
Hakjoo Oh
Hongseok Yang
OriginalPaper 21 November 2017 Pages: 189 - 220
Inferring functional properties of matrix manipulating programs by abstract interpretation
Matthieu Journault
Antoine Miné
OriginalPaper 12 February 2018 Pages: 221 - 258
Abstracting Nash equilibria of supermodular games
Francesco Ranzato
OriginalPaper 07 August 2017 Pages: 259 - 285
Validating numerical semidefinite programming solvers for polynomial invariants
Pierre Roux
Yuen-Lam Voronin
Sriram Sankaranarayanan
OriginalPaper 14 October 2017 Pages: 286 - 312
Enforcing termination of interprocedural analysis
Stefan Schulze Frielinghaus
Helmut Seidl
Ralf Vogler
OriginalPaper 03 August 2017 Pages: 313 - 338

Search