SPLASH 2021 (series) / Shmuel Berman
Not registered as user yet
Name:Shmuel Berman
Country:United States
Affiliation:Columbia University
Contributions
CONFLANG 2021 | Intra-update Sniping Vulnerabilities in Smart Contracts | ||||||||||||||||||||||||||||||||||||||||
SPLASH 2021 | Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile