Yuki Nishida

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 9

Top Topics

Top Venues

Publications

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40 (2) (2022)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR (2021)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) (2021)
Yuki Nishida, Atsushi Igarashi
Compilation of Coordinated Choice. CoRR (2020)
Yuki Nishida, Atsushi Igarashi
Manifest Contracts with Intersection Types. CoRR (2019)
Yuki Nishida, Atsushi Igarashi
Manifest Contracts with Intersection Types. APLAS (2019)
Yuki Nishida, Atsushi Igarashi
Nondeterministic Manifest Contracts. PPDP (2018)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS (2017)
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Manifest Contracts for Datatypes. POPL (2015)