Jun Furuse

Identifiers

• name variant Jun Furuse 0.60 · backfill

Papers (2)

1. HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types cs.PL · 2021 · author #5
2. Verification of a Merkle Patricia Tree Library Using F* cs.PL · 2021 · author #3

Mentions

• 2108.12971 #5 · arxiv_oai · confidence 0.70 Jun Furuse
• 2106.04826 #3 · arxiv_oai · confidence 0.70 Jun Furuse

Frequent Coauthors

• Atsushi Igarashi 2 shared papers
• Kohei Suenaga 2 shared papers
• Akira Kawata 1 shared papers
• Hiromasa Saito 1 shared papers
• Ran Chen 1 shared papers
• Ryotaro Banno 1 shared papers
• Sota Sato 1 shared papers
• Yuki Nishida 1 shared papers