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

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!

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

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

Time to submit to SAS24!!!!!!!! 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

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

SAS'24 Accepted papers!!!!! 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!!! 2024.splashcon.org/home/sas-2024#…

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

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

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

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

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

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

SAS24 starts in 5 days!!!! join us in Pasadena at #SPLASH2024 #SPLASH24 . Great keynote speakers and amazing papers!!! 2024.splashcon.org/home/sas-2024#…

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:

The pre-prints of the SAS24 papers are now available at the conference web-site!!! 2024.splashcon.org/home/sas-2024#… #SPLASH2024 #SPLASH24

You can follow SAS24 online on the ACM SIGPLAN YouTube Channel!!! Go "Live" and look for SAS around 9am PT at this link: youtube.com/@acmsigplan?si…