Yuichiro Oyabu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Efficient Inference

Transitive Closure

Top Venues

J. Log. Algebraic Methods Program.

ACM Trans. Program. Lang. Syst.

Publications

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136 (2024)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR (2021)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA (2018)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR (2018)