Ori Roth

14 papers A 3B 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Qmod: Expressive High-Level Quantum Modeling.
CoRR
Matan Vax, Peleg Emanuel, Eyal Cornfeld, Israel Reichental, Ori Opher, Ori Roth, Tal Michaeli, Lior Preminger, Lior Gazit, Amir Naveh, Yehuda Naveh
2025 — conf
Qmod: Expressive High-Level Quantum Programming.
QSW
Matan Vax, Peleg Emanuel, Eyal Cornfeld, Israel Reichental, Ori Opher, Ori Roth, Tal Michaeli, Lior Preminger, Lior Gazit, Amir Naveh, Yehuda Naveh
2023 J jnl
Fluent APIs in Functional Languages.
Proc. ACM Program. Lang.
Ori Roth, Yossi Gil
2023 J jnl
Python Type Hints Are Turing Complete (Artifact).
Dagstuhl Artifacts Ser.
Ori Roth
2023 A conf
Python Type Hints Are Turing Complete (Pearl/Brave New Idea).
ECOOP
Ori Roth
2023 A conf
Type Automata.
ISSTA
Ori Roth
2022 J jnl
Fluent APIs in Functional Languages (full version).
CoRR
Ori Roth, Yossi Gil
2022 J jnl
Python Type Hints are Turing Complete.
CoRR
Ori Roth
2021 J jnl
Study of the Subtyping Machine of Nominal Subtyping with Variance (full version).
CoRR
Ori Roth
2021 J jnl
Study of the subtyping machine of nominal subtyping with variance.
Proc. ACM Program. Lang.
Ori Roth
2020 J jnl
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata.
CoRR
Joseph Gil, Ori Roth
2019 J jnl
Fling - A Fluent API Generator (Artifact).
Dagstuhl Artifacts Ser.
Ori Roth, Yossi Gil
2019 A conf
Fling - A Fluent API Generator.
ECOOP
Yossi Gil, Ori Roth
2017 B conf
Syntactic Zoom-Out / Zoom-In Code with the Athenizer.
VISSOFT
Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling