-
Law and Order for Typestate with Borrowing
査読有り
Hannes Saffrich, Yuki Nishida, Peter Thiemann
Proceedings of the ACM on Programming Languages 2024年10月8日
DOI：
10.1145/3689763
-
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns
査読有り
Yuki Nishida, Kohei Suenaga, Atsushi Igarashi
2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) 576-584 2024年5月27日
出版者・発行元：
IEEE
DOI：
10.1109/icbc59979.2024.10634430
-
SCameleer: スマートコントラクト記述言語SCamlのための自動検証器
服部 佑哉, 西田 雄気, 古瀬 淳, 末永 幸平, 五十嵐 淳
日本ソフトウェア科学会第40回大会講演論文集 2022年8月
-
スマートコントラクト検証器Helmholtzのためのエラー原因提示手法
小野 雄登, 西田 雄気, 古瀬 淳, 末永 幸平, 五十嵐 淳
日本ソフトウェア科学会第40回大会講演論文集 2022年8月
-
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
査読有り
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.
査読有り
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年
出版者・発行元：
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.
査読有り
Yuki Nishida, Atsushi Igarashi
Programming Languages and Systems - 17th Asian Symposium(APLAS) 33-52 2019年
出版者・発行元：
Springer
DOI：
10.1007/978-3-030-34175-6_3
-
Nondeterministic Manifest Contracts.
査読有り
Yuki Nishida, Atsushi Igarashi
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming(PPDP) 16-13 2018年
出版者・発行元：
ACM
DOI：
10.1145/3236950.3236964
-
Sharper and Simpler Nonlinear Interpolants for Program Verification.
査読有り
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.
査読有り
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium(APLAS) 491-513 2017年
出版者・発行元：
Springer
DOI：
10.1007/978-3-319-71237-6_24
-
Manifest Contracts for Datatypes.
査読有り
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL) 195-207 2015年
出版者・発行元：
ACM
DOI：
10.1145/2676726.2676996
10.1145/2775051.2676996
https://orcid.org/0000-0001-5941-6770