Syntactic Zoom-Out / Zoom-In Code with the Athenizer. - Yossi Gil; Dor Ma'ayan; Niv Shalmon; Raviv Rachmiel; Ori Roth (VISSOFT, 2017)

Fling - A Fluent API Generator. - Yossi Gil; Ori Roth (ECOOP, 2019)

Fling - A Fluent API Generator (Artifact). - Ori Roth; Yossi Gil (Dagstuhl Artifacts Ser., 2019)

Ties between Parametrically Polymorphic Type Systems and Finite Control Automata. - Joseph Gil; Ori Roth (CoRR, 2020)

Study of the Subtyping Machine of Nominal Subtyping with Variance (full version). - Ori Roth (CoRR, 2021)

Study of the subtyping machine of nominal subtyping with variance. - Ori Roth (Proc. ACM Program. Lang., 2021)

Python Type Hints are Turing Complete. - Ori Roth (CoRR, 2022)

Fluent APIs in Functional Languages (full version). - Ori Roth; Yossi Gil (CoRR, 2022)

Python Type Hints Are Turing Complete (Pearl/Brave New Idea). - Ori Roth (ECOOP, 2023)

Type Automata. - Ori Roth (ISSTA, 2023)

Python Type Hints Are Turing Complete (Artifact). - Ori Roth (Dagstuhl Artifacts Ser., 2023)

Fluent APIs in Functional Languages. - Ori Roth; Yossi Gil (Proc. ACM Program. Lang., 2023)

Qmod: Expressive High-Level Quantum Modeling. - Matan Vax; Peleg Emanuel; Eyal Cornfeld; Israel Reichental; Ori Opher; Ori Roth; Tal Michaeli; Lior Preminger; Lior Gazit; Amir Naveh; Yehuda Naveh (CoRR, 2025)