BibSLEIGH — SAS

Static Analysis Symposium (SAS)

(brand of PLT)

1 × Belgium
1 × Denmark
5 × France
2 × Germany
4 × Italy
1 × Korea
2 × Spain
4 × USA
2 × United Kingdom

163 ×#analysis
81 ×#source code
55 ×#abstract interpretation
39 ×#using
33 ×#static analysis
31 ×#abstraction
29 ×#verification
25 ×#concurrent
25 ×#constraints
24 ×#logic programming

Vocabulary: 843 words

Event series page: http://www.staticanalysis.org

668 papers in 26 issues:

2019: Proceedings of the 26th International Static Analysis Symposium (SAS 2019)
2018: Proceedings of the 25th International Static Analysis Symposium (SAS 2018)
2017: Proceedings of the 24th International Static Analysis Symposium (SAS 2017)
2016: Proceedings of the 23rd International Static Analysis Symposium (SAS 2016)
2015: Proceedings of the 22nd International Static Analysis Symposium (SAS 2015)
2014: Proceedings of the 21st International Static Analysis Symposium (SAS 2014)
2013: Proceedings of the 20th International Static Analysis Symposium (SAS 2013)
2012: Proceedings of the 19th International Static Analysis Symposium (SAS 2012)
2011: Proceedings of the 18th International Static Analysis Symposium (SAS 2011)
2010: Proceedings of the 17th International Static Analysis Symposium (SAS 2010)
2009: Proceedings of the 16th International Static Analysis Symposium (SAS 2009)
2008: Proceedings of the 15th International Static Analysis Symposium (SAS 2008)
2007: Proceedings of the 14th International Static Analysis Symposium (SAS 2007)
2006: Proceedings of the 13th International Static Analysis Symposium (SAS 2006)
2005: Proceedings of the 12th International Static Analysis Symposium (SAS 2005)
2004: Proceedings of the 11th International Static Analysis Symposium (SAS 2004)
2003: Proceedings of the 10th International Static Analysis Symposium (SAS 2003)
2002: Proceedings of the Ninth International Static Analysis Symposium (SAS 2002)
2001: Proceedings of the Eighth International Static Analysis Symposium (SAS 2001)
2000: Proceedings of the Seventh International Static Analysis Symposium (SAS 2000)
1999: Proceedings of the Sixth International Static Analysis Symposium (SAS 1999)
1998: Proceedings of the Fifth International Static Analysis Symposium (SAS 1998)
1997: Proceedings of the Fourth International Static Analysis Symposium (SAS 1997)
1996: Proceedings of the Third International Static Analysis Symposium (SAS 1996)
1995: Proceedings of the Second International Static Analysis Symposium (SAS 1995)
1994: Proceedings of the First International Static Analysis Symposium (SAS 1994)