3
Publications
199
Citations
3
H-Index
2008
Active since
Affiliations
University of California, Berkeley(Current)
Joel Galenson is an author at University of California, Berkeley specializing in formal methods, formal verification, and program analysis.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringDesignFinanceBusiness
Publications per year
2008–2014
3
3
CodeHint: dynamic and interactive synthesis of code snippets
Joel Galenson, Philip Reames, Rastislav Bodík et al. · 2014 · 117 citations · Full text
Programming with angelic nondeterminism
Rastislav Bodík, Satish Chandra, Joel Galenson et al. · 2010 · 55 citations
Programming Language Theory, Declarative Programming, Engineering +14
Rows per page
1–3 of 3