31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
Pasadena (USA)
Joined March 2022
- Tweets191
- Following2
- Followers288
- Likes20
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=g…
The pre-prints of the SAS24 papers are now available at the conference web-site!!! 2024.splashcon.org/home/sas-… #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!!! 2024.splashcon.org/home/sas-…
Emina Torlak will present "A New Language for Expressive, Fast, Safe, and Analyzable Authorization" 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!!!
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-…
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-…
Hey! the deadline for artifact has been extended to May 22nd! Prepare your tool to be presented at SAS!!!
2024.splashcon.org/home/sas-…
Static Analysis Symposium retweeted
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-…
#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!
