Announcements

SAS 2023 - Call for Participation - Early deadline: Sept 22

----------------------------------------------------------------------
			Call for Participation
	      Early registration deadline: September 22

			       SAS 2023
		  The 30th Static Analysis Symposium
      Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023
		       Colocated with SPLASH 23

	       https://2023.splashcon.org/home/sas-2023

----------------------------------------------------------------------

Registration is now open for SAS 2023!

The 30th Static Analysis Symposium (SAS 2023) will be co-located with
SPLASH 2023 in Cascais (Lisbon), Portugal and held on October 22-24.


REGISTRATION

*Early bird registration deadline: September 22*

Registration to be completed through the SPLASH registration pages; see instructions at:
https://conf.researchr.org/attending/sas-2023/%5Esattending%5EsRegistration
https://2023.splashcon.org/attending/Registration

INVITED SPEAKERS

- Loris D'Antoni
  Verifying Infinitely Many Programs at Once

- Bor-Yuh Evan Chang
  Goal-Directed Abstract Interpretation and Event-Driven Frameworks

- Daniel Kästner
  Abstract Interpretation in Industry - Experience and Lessons Learned

- Gagandeep Singh
  Building Trust and Safety in Artificial Intelligence
  with Abstract Interpretation


ACCEPTED PAPERS

- Mutual Refinements of Context-Free Language Reachability
  Shuo Ding and Qirun Zhang
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
  Rosa Abbasi Boroujeni and Eva Darulova
- How fitting is your abstract domain?
  Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni
- BREWasm: A General Static Binary Rewriting Framework for WebAssembly
  Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang
- Scaling up Roundoff Analysis of Functional Data Structure Programs
  Anastasia Isychev and Eva Darulova
- Octagons Revisited - Elegant Proofs and Simplified Algorithms
  Michael Schwarz and Helmut Seidl
- Error Invariants for Fault Localization via Abstract Interpretation
  Aleksandar S. Dimovski
- Symbolic transformation of expressions in modular arithmetic
  Jérôme Boillot and Jérôme Feret
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
  Florian Frohn and Jürgen Giesl
- Unconstrained Variable Oracles for Faster Static Analyses
  Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella
- Generalized Program Sketching by Abstract Interpretation and Logical Abduction
  Aleksandar S. Dimovski
- Domain Precision in Galois Connection-less Abstract Interpretation
  Isabella Mastroeni and Michele Pasqua
- A Formal Framework to Measure the Incompleteness of Abstract Interpretations
  Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi
- Error Localization for Sequential Effect Systems
  Colin S. Gordon and Chaewon Yun
- Lifting On-Demand Analysis to Higher-Order Languages
  Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel
  Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang
- A Product of Shape and Sequence Abstractions
  Josselin Giet, Félix Ridoux and Xavier Rival
- Quantum Constant Propagation
  Yanbin Chen and Yannick Stade
- Polynomial Analysis of Modular Arithmetic
  Thomas Seed, Andy King, Neil Evans and Chris Coppins
- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
  Xuezhou Tang, Ye Zheng and Jiaxiang Liu
- Reverse Template Processing using Abstract Interpretation
  Matthieu Lemerre
- Mutual Refinements of Context-Free Language Reachability
  Shuo Ding and Qirun Zhang
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
  Rosa Abbasi Boroujeni and Eva Darulova
- How fitting is your abstract domain?
  Roberto Giacobazzi, Isabella Mastroeni and Elia Perantoni
- BREWasm: A General Static Binary Rewriting Framework for WebAssembly
  Shangtong Cao, Ningyu He, Yao Guo and Haoyu Wang
- Scaling up Roundoff Analysis of Functional Data Structure Programs
  Anastasia Isychev and Eva Darulova
- Octagons Revisited - Elegant Proofs and Simplified Algorithms
  Michael Schwarz and Helmut Seidl
- Error Invariants for Fault Localization via Abstract Interpretation
  Aleksandar S. Dimovski
- Symbolic transformation of expressions in modular arithmetic
  Jérôme Boillot and Jérôme Feret
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
  Florian Frohn and Jürgen Giesl
- Unconstrained Variable Oracles for Faster Static Analyses
  Vincenzo Arceri, Greta Dolcetti and Enea Zaffanella
- Generalized Program Sketching by Abstract Interpretation and Logical Abduction
  Aleksandar S. Dimovski
- Domain Precision in Galois Connection-less Abstract Interpretation
  Isabella Mastroeni and Michele Pasqua
- A Formal Framework to Measure the Incompleteness of Abstract Interpretations
  Marco Campion, Caterina Urban, Mila Dalla Preda and Roberto Giacobazzi
- Error Localization for Sequential Effect Systems
  Colin S. Gordon and Chaewon Yun
- Lifting On-Demand Analysis to Higher-Order Languages
  Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel
  Tattersall, Pauline Bolignano, Franco Raimondi and Bor-Yuh Evan Chang
- A Product of Shape and Sequence Abstractions
  Josselin Giet, Félix Ridoux and Xavier Rival
- Quantum Constant Propagation
  Yanbin Chen and Yannick Stade
- Polynomial Analysis of Modular Arithmetic
  Thomas Seed, Andy King, Neil Evans and Chris Coppins
- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
  Xuezhou Tang, Ye Zheng and Jiaxiang Liu
- Reverse Template Processing using Abstract Interpretation
  Matthieu Lemerre