-
Law and Order for Typestate with Borrowing
Peer-reviewed
Hannes Saffrich, Yuki Nishida, Peter Thiemann
Proceedings of the ACM on Programming Languages 2024/10/08
DOI：
10.1145/3689763
-
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns
Peer-reviewed
Yuki Nishida, Kohei Suenaga, Atsushi Igarashi
2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) 576-584 2024/05/27
Publisher:
IEEE
DOI：
10.1109/icbc59979.2024.10634430
-
SCameleer: スマートコントラクト記述言語SCamlのための自動検証器
服部 佑哉, 西田 雄気, 古瀬 淳, 末永 幸平, 五十嵐 淳
日本ソフトウェア科学会第40回大会講演論文集 2022/08
-
スマートコントラクト検証器Helmholtzのためのエラー原因提示手法
小野 雄登, 西田 雄気, 古瀬 淳, 末永 幸平, 五十嵐 淳
日本ソフトウェア科学会第40回大会講演論文集 2022/08
-
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
Peer-reviewed
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
New Generation Computing 40 (2) 507-540 2022
DOI：
10.1007/s00354-022-00167-1
-
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
Peer-reviewed
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software 262-280 2021
Publisher:
Springer
DOI：
10.1007/978-3-030-72013-1_14
-
Compilation of Coordinated Choice.
Yuki Nishida, Atsushi Igarashi
CoRR abs/2004.14084 2020
-
Typed Software Contracts with Intersection and Nondeterminism.
Yuki Nishida
2020
DOI：
10.14989/doctor.k22675
-
Manifest Contracts with Intersection Types.
Peer-reviewed
Yuki Nishida, Atsushi Igarashi
Programming Languages and Systems - 17th Asian Symposium(APLAS) 33-52 2019
Publisher:
Springer
DOI：
10.1007/978-3-030-34175-6_3
-
Nondeterministic Manifest Contracts.
Peer-reviewed
Yuki Nishida, Atsushi Igarashi
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming(PPDP) 16-13 2018
Publisher:
ACM
DOI：
10.1145/3236950.3236964
-
Sharper and Simpler Nonlinear Interpolants for Program Verification.
Peer-reviewed
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
CoRR abs/1709.00314 2017
-
Sharper and Simpler Nonlinear Interpolants for Program Verification.
Peer-reviewed
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium(APLAS) 491-513 2017
Publisher:
Springer
DOI：
10.1007/978-3-319-71237-6_24
-
Manifest Contracts for Datatypes.
Peer-reviewed
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL) 195-207 2015
Publisher:
ACM
DOI：
10.1145/2676726.2676996
10.1145/2775051.2676996
https://orcid.org/0000-0001-5941-6770