• Sign in
  • Sign up
conf.researchr.org / Gregory Rosenblatt
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • POPL 2018 profile
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

Share
xSun 29 Jan 03:14
using conf.researchr.org (v1.58.0)
Support page
Sign Up