String Constraint Solving with Real-World Regular Expressions

Research output

Research output per year 2020 2020 2022 2022

• 2 Conference contribution
• 1 Paper

Research output per year

Research output per year

Search results

• 2022

  Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

  Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
  8 Downloads (Pure)
• 2020

  A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

  Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  51 Downloads (Pure)

• Monadic Decomposition in Integer Linear Arithmetic

  Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  49 Downloads (Pure)