7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2026
ReSyn: A Generalized Recursive Regular Expression Synthesis Framework
Seongmin Kim, Hyunjoon Cheon, Su-Hyeon Kim +2
Existing Programming-By-Example (PBE) systems often rely on simplified benchmarks that fail to capture the high structural complexity of real-world regexes, such as deeper nesting…
cs.LG2022
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting
Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han +1
Due to the practical importance of regular expressions (regexes, for short), there has been a lot of research to automatically generate regexes from positive and negative string ex…
cs.DC2018★ 7 cited
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems
Sang-Min Choi, Jiho Park, Quan Nguyen +5
This paper introduces a new family of consensus protocols, namely \emph{Lachesis-class} denoted by , for distributed networks with guaranteed Byzantine fault tolerance…