Benjamin Sepanski

Registered user since Tue 7 Sep 2021

Name:Benjamin Sepanski
Affiliation:The University of Texas at Austin
Research interests:Programming Languages, Synthesis, Scientific Computing

Contributions

SPLASH 2022 Author of Synthesizing fine-grained synchronization protocols for implicit monitors within the OOPSLA-track