Yuki Nishida

According to our database, Yuki Nishida authored at least 10 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Max-plus Algebraic Description of Evolutions of Weighted Timed Event Graphs.

Kensuke Kitai, Yuki Nishida, Yoshihide Watanabe

Theory Comput. Syst., October, 2024

Law and Order for Typestate with Borrowing.

Hannes Saffrich, Yuki Nishida, Peter Thiemann

Proc. ACM Program. Lang., 2024

iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns.

Yuki Nishida, Kohei Suenaga, Atsushi Igarashi

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

2022

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 Gener. Comput., 2022

2020

Typed Software Contracts with Intersection and Nondeterminism.

Yuki Nishida

PhD thesis, 2020

Compilation of Coordinated Choice.

Yuki Nishida, Atsushi Igarashi

CoRR, 2020

2019

Manifest Contracts with Intersection Types.

Yuki Nishida, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Nondeterministic Manifest Contracts.

Yuki Nishida, Atsushi Igarashi

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Manifest Contracts for Datatypes.

Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015