Ian Erik Varatalu

Uurimisrühmad

  1. Tugevalt tagatud tarkvara laboratoorium

Publikatsioonid

Regex decision procedures in extended RE#
Väljaanne: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Autorid: Varatalu, Ian Erik; Veanes; Margus; Zhuchko, Ekaterina; Ernits, Juhan-Peep
Aasta: 2025
RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Väljaanne: Proceedings of the ACM on Programming Languages
Autorid: Varatalu, Ian Erik; Veanes, Margus; Ernits, Juhan
Aasta: 2025