default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Hakjoo Oh, Yulei Sui:
  Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings. Lecture Notes in Computer Science 16100, Springer 2026, ISBN 978-3-032-07105-7 [contents]

• 
  Roberto Giacobazzi, Alessandra Gorla:
  Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings. Lecture Notes in Computer Science 14995, Springer 2025, ISBN 978-3-031-74775-5 [contents]

• 
  Manuel V. Hermenegildo, José F. Morales:
  Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Lecture Notes in Computer Science 14284, Springer 2023, ISBN 978-3-031-44244-5 [contents]

• 
  Gagandeep Singh, Caterina Urban:
  Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13790, Springer 2022, ISBN 978-3-031-22307-5 [contents]

• 
  Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi:
  Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Lecture Notes in Computer Science 12913, Springer 2021, ISBN 978-3-030-88805-3 [contents]

• 
  David Pichardie, Mihaela Sighireanu:
  Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings. Lecture Notes in Computer Science 12389, Springer 2020, ISBN 978-3-030-65473-3 [contents]

• 
  Bor-Yuh Evan Chang:
  Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11822, Springer 2019, ISBN 978-3-030-32303-5 [contents]

• 
  Andreas Podelski:
  Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. Lecture Notes in Computer Science 11002, Springer 2018, ISBN 978-3-319-99724-7 [contents]

• 
  Francesco Ranzato:
  Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10422, Springer 2017, ISBN 978-3-319-66705-8 [contents]
• 
  Francesca Scozzari:
  Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017. Electronic Notes in Theoretical Computer Science 334, Elsevier 2018 [contents]

• 
  Xavier Rival:
  Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings. Lecture Notes in Computer Science 9837, Springer 2016, ISBN 978-3-662-53412-0 [contents]
• 
  Isabella Mastroeni:
  Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016. Electronic Notes in Theoretical Computer Science 331, Elsevier 2017 [contents]

• 
  Sandrine Blazy, Thomas P. Jensen:
  Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science 9291, Springer 2015, ISBN 978-3-662-48287-2 [contents]

• 
  Markus Müller-Olm, Helmut Seidl:
  Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8723, Springer 2014, ISBN 978-3-319-10935-0 [contents]
• 
  Axel Simon, Arnaud Venet:
  Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 307, Elsevier 2014 [contents]

• 
  Francesco Logozzo, Manuel Fähndrich:
  Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7935, Springer 2013, ISBN 978-3-642-38855-2 [contents]
• 
  Bor-Yuh Evan Chang:
  Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS 2013, Seattle, Washington, USA, June 19, 2013. Electronic Notes in Theoretical Computer Science 311, Elsevier 2015 [contents]

• 
  Antoine Miné, David Schmidt:
  Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7460, Springer 2012, ISBN 978-3-642-33124-4 [contents]
• 
  Jan Midtgaard, Matthew Might:
  Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012. Electronic Notes in Theoretical Computer Science 287, Elsevier 2012 [contents]
• 
  Bertrand Jeannet:
  Third Workshop on Tools for Automatic Program Analysis, TAPAS 2012, Deauville, France, September 14, 2012. Electronic Notes in Theoretical Computer Science 289, Elsevier 2012 [contents]

• 
  Eran Yahav:
  Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Lecture Notes in Computer Science 6887, Springer 2011, ISBN 978-3-642-23701-0 [contents]
• 
  Damien Massé, Laurent Mauborgne:
  Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 288, Elsevier 2012 [contents]

• 
  Radhia Cousot, Matthieu Martel:
  Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings. Lecture Notes in Computer Science 6337, Springer 2010, ISBN 978-3-642-15768-4 [contents]
• 
  Antoine Miné, Enric Rodríguez-Carbonell:
  Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents]
• 
  David Delmas, Xavier Rival:
  Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS 2010, Perpignan, France, September 17, 2010. Electronic Notes in Theoretical Computer Science 267(2), Elsevier 2010 [contents]

• 
  Jens Palsberg, Zhendong Su:
  Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5673, Springer 2009, ISBN 978-3-642-03236-3 [contents]

• 
  María Alpuente, Germán Vidal:
  Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5079, Springer 2008, ISBN 978-3-540-69163-1 [contents]

• 
  Hanne Riis Nielson, Gilberto Filé:
  Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4634, Springer 2007, ISBN 978-3-540-74060-5 [contents]

• 
  Kwangkeun Yi:
  Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Lecture Notes in Computer Science 4134, Springer 2006, ISBN 3-540-37756-5 [contents]

• 
  Chris Hankin, Igor Siveroni:
  Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Lecture Notes in Computer Science 3672, Springer 2005, ISBN 3-540-28584-9 [contents]

• 
  Roberto Giacobazzi:
  Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148, Springer 2004, ISBN 3-540-22791-1 [contents]

• 
  Radhia Cousot:
  Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694, Springer 2003, ISBN 3-540-40325-6 [contents]

SAS 2002 Home Page

• 
  Manuel V. Hermenegildo, Germán Puebla:
  Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science 2477, Springer 2002, ISBN 3-540-44235-9 [contents]

• 
  Patrick Cousot:
  Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, ISBN 3-540-42314-1 [contents]

• 
  Jens Palsberg:
  Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings. Lecture Notes in Computer Science 1824, Springer 2000, ISBN 3-540-67668-6 [contents]

• 
  Agostino Cortesi, Gilberto Filé:
  Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, ISBN 3-540-66459-9 [contents]

• 
  Giorgio Levi:
  Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings. Lecture Notes in Computer Science 1503, Springer 1998, ISBN 3-540-65014-8 [contents]

• 
  Pascal Van Hentenryck:
  Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Lecture Notes in Computer Science 1302, Springer 1997, ISBN 3-540-63468-1 [contents]

• 
  Radhia Cousot, David A. Schmidt:
  Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145, Springer 1996, ISBN 3-540-61739-6 [contents]

• 
  Alan Mycroft:
  Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings. Lecture Notes in Computer Science 983, Springer 1995, ISBN 3-540-60360-3 [contents]

• 
  Baudouin Le Charlier:
  Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings. Lecture Notes in Computer Science 864, Springer 1994, ISBN 3-540-58485-4 [contents]

• 
  Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
  Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents]

• 
  Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
  Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 81-82, Atelier Irisa, IRISA, Campus de Beaulieu 1992 [contents]

• 
  Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
  Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 74, Atelier Irisa, IRISA, Campus de Beaulieu 1991 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-08 09:58 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: