Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dana Fisman
conf.researchr.org general profile
POPL 2016 profile
POPL 2026 profile
Not registered as user
Name:
Dana Fisman
Affiliation:
University of Pennsylvania
Contributions
2026
VMCAI
Author of Atomic Gliders and Cellular Automata as Language Generators within the VMCAI 2026-track
2016
POPL
Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
Share
x
Thu 8 Oct 00:53