conf.researchr.org / Rebecca Swords
No Photo

Registered user since Sat 3 Apr 2021

Name:Rebecca Swords
Country:United States
Affiliation:Gable.ai
Research interests:Static analysis, synthesis, e-graphs

Contributions