Yi Li
@liyistc
Followers
560
Following
2K
Media
28
Statuses
217
Associate Professor @NTUsg @ntu_srslab | previous PhD @UofTCompSci
Singapore
Joined March 2014
Great effort from @zhiychen in making OpenTracer open source. Feel free to play with it.
Enjoying Phalcon @Phalcon_xyz, EthTx @eth_tx, OpenChain @samczsun? Want more detailed transaction info for debugging or hack analysis? We're excited to open-source OpenTracer, a tool guarantees comprehensive tracking of EVERY execution step, offering complete transaction details!.
1
0
3
RT @HackQuest_: Session Title:.Introduction to Blockchain and Smart Contracts: A Technical Perspective. Session Description:.Blockchain te….
0
1
0
Feel free to read the paper and try out the tool:
github.com
Contribute to ntu-SRSLab/InvCon development by creating an account on GitHub.
0
0
0
I recently talked about InvCon+ at a workshop: It improves on InvCon (ASE'22) to generate verified invariants for Solidity smart contracts.
1
0
2
Glad to have Chung Ho and Kenneth Goh from @ChainUpOfficial to give an invited talk on liquid staking protocols and DVT in our blockchain technology class.
0
0
4
Congrats! Well deserved!🥳🥳🥳.
I am thrilled to receive the SPMS Young Researcher Award. It was such a surprise to receive such a prestigious accolade during the school's mid-autumn gathering yesterday.
0
0
6
It's great to have @FumanXie from UQ visiting us. Welcome to come back again soon.
I am so grateful to have had the opportunity for a short-term visit to the SRSLab at #NTU! Thank you to Prof. Li @liyistc and colleagues for their support. I will miss everything about Singapore — the food, the sunshine, and the people. It was truly a memorable experience🇸🇬❤️
0
0
6
Feel honored to receive a distinguished paper award at @ASE_conf for our work "EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software". Joint work with Yao Zhang, @xfxie312 @tjuchensen @zhclhy
2
2
40
1
0
22
Xiaodong Qi from our group is giving a talk on a new smart contract parallel execution protocol at ICDCS. First time attending a distributed system conference. Find out more:
1
0
7
Thank you @wangshuai901 for hosting and a great crowd. Really love the beautiful campus at UST.
Glad to have Dr. Yi Li from NTU visit us at UST and talk about smart contract security and fairness. Clean and inspiring research. Great talk! @liyistc @NTUsg @HKUSTCSE
0
0
8
Starting soon
The @ICSEconf #blockchain and #SmartContracts session will start at 11 am today. Please join us at meeting room 106. #ICSE.
0
0
1
The @ICSEconf #blockchain and #SmartContracts session will start at 11 am today. Please join us at meeting room 106. #ICSE.
1
0
2
Congratulations to Dr. Liu @yeliu39402922 for passing his PhD oral defence today. The very first student graduated under my supervision, a big milestone.
4
1
26
RT @CoinliveHQ: The project-pitching session cum roundtable discussion titled “Startups, VCs, and Grooming the Next Generation of Innovator….
0
1
0