Technical Papers

Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs

Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs

SPLASH 2021

Shmuel Berman

Intra-update Sniping Vulnerabilities in Smart Contracts

Intra-update Sniping Vulnerabilities in Smart Contracts

CONFLANG 2021

Mark Santolucito, Shmuel Berman, Brennen Yu, Stella Lessler

Other Writing

The Reconstruction Of Jewish Divinity Through Source Reinterpretation

The Reconstruction Of Jewish Divinity Through Source Reinterpretation

Shmuel Berman

Joyce, Steinberg, and Acher: A Literary Analysis on the Consciousness of Heresy

Joyce, Steinberg, and Acher: A Literary Analysis on the Consciousness of Heresy

Shmuel Berman

What Doe We Do About the Deer?

What Doe We Do About the Deer?

Shmuel Berman

If We Treat Climate Change Like COVID, We Will Fail

If We Treat Climate Change Like COVID, We Will Fail

Shmuel Berman