24th Static Analysis Symposium (SAS 2017)

Страна: США

Город: New York

Тезисы до: 14.04.2017

Даты: 30.08.17 — 01.09.17

Область наук: Физико-математические;

Е-мейл Оргкомитета: https://easychair.org/account/signin.cgi?key=49458965.hnYiooFjonepnApR

Организаторы: New York University

 

Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 24th Static Analysis Symposium, SAS 2017, will be held at New York University, New York City, NY, USA. Previous symposia were held in Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the Springer's journal Formal Methods in System Design.


Topics


The technical program for SAS 2017 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:

Abstract domains
Automated deduction

Debugging

Emerging applications

Program optimizations and transformations

Program verification

Tool environments and architectures

Type checking
 

Abstract interpretation

Data flow analysis

Deductive methods

Model checking

Program synthesis

Security analysis

Theoretical frameworks

 

Веб-сайт конференции: http://staticanalysis.org/sas2017/sas2017.html

Конференции по теме - с близкими дедлайнами: