Gregory Rosenblatt -

Registered user since Thu 4 May 2017

Name: Gregory Rosenblatt

Country: Canada

Affiliation: University of Alabama at Birmingham, USA

Personal website: http://gregrosenblatt.com

Research interests: Programming Languages, Computational Logic

Contributions

miniKanren 2020	Author of mediKanren: A System for Bio-medical Reasoning within the miniKanren 2020-track Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track Committee Member in Program Committee within the miniKanren 2020-track
miniKanren 2019	Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track
ICFP 2017	Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track
POPL 2018	Author of One Weird Trick: Relational Interpreters for Program Synthesis. within the TutorialFest-track