Static Analysis Symposium

You can follow SAS24 online on the ACM SIGPLAN YouTube Channel!!! Go "Live" and look for SAS around 9am PT at this link: @acmsigplan?si=gxGk9vU-AFAmTaMw" target="_blank" rel="nofollow noopener">youtube.com/@acmsigplan?si…

The pre-prints of the SAS24 papers are now available at the conference web-site!!! #program" target="_blank" rel="nofollow noopener">2024.splashcon.org/home/sas-2024#… #SPLASH2024 #SPLASH24

After Namur, Glasgow, Aachen, Paris, Pisa, Venice, Santa Barbara, Paris, Madrid, Verona, London, Seoul, Kongens Lyngby, Valencia, Los Angeles, Perpignan, Venice, Deauville, Seattle, Munich, Saint-Malo, Edinburgh, New York, San Diego, Freiburg, Porto, Chicago, Auckland, Cascais:

SAS24 starts in 5 days!!!! join us in Pasadena at #SPLASH2024 #SPLASH24 . Great keynote speakers and amazing papers!!! #About" target="_blank" rel="nofollow noopener">2024.splashcon.org/home/sas-2024#…

Emina Torlak will present "A New Language for Expressive, Fast, Safe, and Analyzable Authorization" at SAS24!!!

Kwang Yi will present "Static Analysis Sparsity and Modularity" at SAS24!!!

Caterina Urban will present "Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software" at SAS24!!!

Francesco Logozzo will present "Measuring data lineage: when program analysis meets data science" at SAS24!!!

Mayur Naik will present "What's Still Missing in Static Analysis? A Decade-Long Journey" at SAS24!!

2 weeks to SAS24!!!!!! Time is running fast. We would like to extend our sincere thanks to our generous sponsors: AbsInt, ENS Foundation, Google, Nokia Bell Labs, and Springer: 2024.splashcon.org/home/sas-2024

The program of SAS24 is now online with outstanding keynote speakers! It is time to register. Early registration expires on Sept. 20th!!! #About" target="_blank" rel="nofollow noopener">2024.splashcon.org/home/sas-2024#…

SAS'24 Accepted papers!!!!! #event-overview" target="_blank" rel="nofollow noopener">2024.splashcon.org/home/sas-2024#…

Hey! the deadline for artifact has been extended to May 22nd! Prepare your tool to be presented at SAS!!! 2024.splashcon.org/home/sas-2024

I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsberg. To honor him, we are looking for paper submissions and extended abstracts for papers that have high "Jensness". Consider submitting!

Hey! the deadline of SAS'24 (the 31st Static Analysis Symposium) has been extended to May 19th, AOE!! 2024.splashcon.org/home/sas-2024

Time to submit to SAS24!!!!!!!! 2024.splashcon.org/home/sas-2024

#SAS2024 will be co-located with #SPLASH2024, see you next year in Pasadena!

#SAS2023 has reached its end, but #SPLASH2023 continues, see you there! Thanks to everyone that made #SAS2023 a success!

The last talk this year is given by Benjamin Mikek, representing a work by Shuo Ding and Qirun Zhang, Mutual Refinements of Context-Free Language Reachability!

For our last keynote this year, Loris D'Antoni is Verifying Infinitely Many Programs at Once!