Tiki Wan

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 2

Top Topics

Ontology Matching

Top Venues

Proc. ACM Program. Lang.

Publications

Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Olli Saarikivi, Margus Veanes, Tiki Wan, Eric Xu
Symbolic Regex Matcher. TACAS (1) (2019)