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