Static Analysis Symposium

31th International Static Analysis Symposium, co-located with @splashcon #SAS2024

[Static Analysis Symposium @symposiumSAS]

You can follow SAS24 online on the ACM SIGPLAN YouTube Channel!!! Go "Live" and look for SAS around 9am PT at this link: https://t.co/UmUjlMFFwO

[Static Analysis Symposium @symposiumSAS]

The pre-prints of the SAS24 papers are now available at the conference web-site!!! https://t.co/owwp8Vlq5I #SPLASH2024 #SPLASH24

[Static Analysis Symposium @symposiumSAS]

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:

[Static Analysis Symposium @symposiumSAS]

SAS24 starts in 5 days!!!! join us in Pasadena at #SPLASH2024 #SPLASH24 . Great keynote speakers and amazing papers!!! https://t.co/Sg005waHXN

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

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: https://t.co/6gbF1wWBip

[Static Analysis Symposium @symposiumSAS]

The program of SAS24 is now online with outstanding keynote speakers! It is time to register. Early registration expires on Sept. 20th!!! https://t.co/Sg005waHXN

[Static Analysis Symposium @symposiumSAS]

SAS'24 Accepted papers!!!!! https://t.co/2haSGbV32l

[Static Analysis Symposium @symposiumSAS]

Hey! the deadline for artifact has been extended to May 22nd! Prepare your tool to be presented at SAS!!!

https://t.co/6gbF1wWBip

[Ben L. Titzer @TitzerBL]

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!

[Static Analysis Symposium @symposiumSAS]

Hey! the deadline of SAS'24 (the 31st Static Analysis Symposium) has been extended to May 19th, AOE!!

https://t.co/6gbF1wWBip

[Static Analysis Symposium @symposiumSAS]

Time to submit to SAS24!!!!!!!!
https://t.co/6gbF1wWBip

[Static Analysis Symposium @symposiumSAS]

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

[Static Analysis Symposium @symposiumSAS]

#SAS2023 has reached its end, but #SPLASH2023 continues, see you there!

Thanks to everyone that made #SAS2023 a success!

[Static Analysis Symposium @symposiumSAS]

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!

[Static Analysis Symposium @symposiumSAS]

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