Jianbo Gao - FormaliSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

co-located with ICSE 2024

Registered user since Sun 2 Mar 2025

Name:Jianbo Gao

Country:China

Affiliation:Peking University

Personal website: http://gaojianbo.cn/

Research interests:Blockchain

Contributions

2024

ICSE

When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs

International Conference on Program Comprehension

SolaSim: Clone Detection for Solana Smart Contracts via Program Representation

Show activities from other conferences

ICSE 2024-profile
View general profile