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 2022	Author of Fail Fast and Profile On: Towards a miniKanren Profiler within the miniKanren 2022-track
miniKanren 2021	Session Chair of Afternoon Keynote and Session C (part of miniKanren 2021) Author of Universal Quantification and Implication in miniKanren within the miniKanren 2021-track Co-chair in Organizing Committee within the miniKanren 2021-track
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 Session Chair of Morning Session (part of miniKanren 2020) 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
POPL 2018	Author of One Weird Trick: Relational Interpreters for Program Synthesis. within the TutorialFest-track
ICFP 2017	Author of A Unified Approach to Solving Seven Programming Problems (Functional Pearl) within the Research Papers-track