We stand with Ukraine  

Ori Roth

Orcid: 0009-0002-1025-6707

According to our database1, Ori Roth authored at least 14 papers between 2017 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Qmod: Expressive High-Level Quantum Modeling.
[BibTeX]
[DOI]
Matan Vax
,
Peleg Emanuel
,
Eyal Cornfeld
,
Israel Reichental
,
Ori Opher
,
Ori Roth
,
Tal Michaeli
,
Lior Preminger
,
Lior Gazit
,
Amir Naveh
,
Yehuda Naveh
CoRR, February, 2025

Qmod: Expressive High-Level Quantum Programming.
[BibTeX]
[DOI]
Matan Vax
,
Peleg Emanuel
,
Eyal Cornfeld
,
Israel Reichental
,
Ori Opher
,
Ori Roth
,
Tal Michaeli
,
Lior Preminger
,
Lior Gazit
,
Amir Naveh
,
Yehuda Naveh
Proceedings of the IEEE International Conference on Quantum Software, 2025

2023
Fluent APIs in Functional Languages.
[BibTeX]
[DOI]
Ori Roth
,
Yossi Gil
Proc. ACM Program. Lang., April, 2023

Python Type Hints Are Turing Complete (Artifact).
[BibTeX]
[DOI]
Ori Roth
Dagstuhl Artifacts Ser., 2023

Type Automata.
[BibTeX]
[DOI]
Ori Roth
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Python Type Hints Are Turing Complete (Pearl/Brave New Idea).
[BibTeX]
[DOI]
Ori Roth
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Fluent APIs in Functional Languages (full version).
[BibTeX]
[DOI]
Ori Roth
,
Yossi Gil
CoRR, 2022

Python Type Hints are Turing Complete.
[BibTeX]
[DOI]
Ori Roth
CoRR, 2022

2021
Study of the subtyping machine of nominal subtyping with variance.
[BibTeX]
[DOI]
Ori Roth
Proc. ACM Program. Lang., 2021

Study of the Subtyping Machine of Nominal Subtyping with Variance (full version).
[BibTeX]
[DOI]
Ori Roth
CoRR, 2021

2020
Ties between Parametrically Polymorphic Type Systems and Finite Control Automata.
[BibTeX]
[DOI]
Joseph Gil
,
Ori Roth
CoRR, 2020

2019
Fling - A Fluent API Generator (Artifact).
[BibTeX]
[DOI]
Ori Roth
,
Yossi Gil
Dagstuhl Artifacts Ser., 2019

Fling - A Fluent API Generator.
[BibTeX]
[DOI]
Yossi Gil
,
Ori Roth
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017
Syntactic Zoom-Out / Zoom-In Code with the Athenizer.
[BibTeX]
[DOI]
Yossi Gil
,
Dor Ma'ayan
,
Niv Shalmon
,
Raviv Rachmiel
,
Ori Roth
Proceedings of the IEEE Working Conference on Software Visualization, 2017


  Loading...