Static Analysis Symposium
@symposiumSAS
Followers
296
Following
20
Media
86
Statuses
191
31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
Pasadena (USA)
Joined March 2022
You can follow SAS24 online on the ACM SIGPLAN YouTube Channel!!! Go "Live" and look for SAS around 9am PT at this link:
0
5
12
The pre-prints of the SAS24 papers are now available at the conference web-site!!! #SPLASH2024 #SPLASH24.
0
6
7
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:
0
2
11
SAS24 starts in 5 days!!!! join us in Pasadena at #SPLASH2024 #SPLASH24 . Great keynote speakers and amazing papers!!!
0
4
6
Emina Torlak will present "A New Language for Expressive, Fast, Safe, and Analyzable Authorization" at SAS24!!!.
0
1
8
Kwang Yi will present "Static Analysis Sparsity and Modularity" at SAS24!!!.
0
2
5
Caterina Urban will present "Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software" at SAS24!!!.
0
3
8
Francesco Logozzo will present "Measuring data lineage: when program analysis meets data science" at SAS24!!!.
0
5
8
Mayur Naik will present "What's Still Missing in Static Analysis? A Decade-Long Journey" at SAS24!!.
0
2
12
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:
0
2
3
The program of SAS24 is now online with outstanding keynote speakers! It is time to register. Early registration expires on Sept. 20th!!!
0
4
10
Hey! the deadline for artifact has been extended to May 22nd! Prepare your tool to be presented at SAS!!!.
0
0
3
RT @TitzerBL: I'm excited to announce a new SPLASH workshop: JENSFEST 2024! in which we celebrate the career of the one and only Jens Palsb….
0
15
0
Hey! the deadline of SAS'24 (the 31st Static Analysis Symposium) has been extended to May 19th, AOE!! .
0
2
8
#SAS2023 has reached its end, but #SPLASH2023 continues, see you there!. Thanks to everyone that made #SAS2023 a success!.
0
2
11
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!
0
0
1
For our last keynote this year, Loris D'Antoni is Verifying Infinitely Many Programs at Once!
1
2
13