Paper accepted at APLAS'25

We are proud that our paper "Decision Procedures for A Theory of String Sequences", has been accepted at 23rd Asian Symposium on Programming Languages and Systems (APLAS).

@article{denghangAPLAS_2025,
  author       = {Denghang Hu and
                    Taolue Chen and
                    Philipp R{\"{u}}mmer and
                    Fu Song and
                    Zhilin Wu},
  title        = {Decision Procedures for A Theory of String Sequences},
  year         = {2025},
  booktitle    = {23rd Asian Symposium on Programming Languages and Systems (APLAS)},
  series       = {Lecture Notes in Computer Science}
}