We show that synthesizing recursive functional programs using a class of primitive recursive
combinators is both simpler and solves more benchmarks from the literature than previously …

Code deobfuscation, which attempts to simplify code that has been intentionally obfuscated
to prevent understanding, is a critical technique for downstream security analysis tasks like …

Online streaming algorithms, tailored for continuous data processing, offer substantial
benefits but are often more intricate to design than their offline counterparts. This paper …