SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Shuvendu K. Lahiri

Not registered as user yet

Name:Shuvendu K. Lahiri
Country:United States
Affiliation:Microsoft Research


SPLASH 2022 SolType: Refinement Types for Arithmetic Overflow in Solidity
SAS 2022 Automated Synthesis of Asynchronizations
Show activities from other conferences

SPLASH 2022-profile
View general profile