• Sign in
  • Sign up
conf.researchr.org / Lisa Zhang
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • SIGCSE TS 2023 profile
Lisa Zhang

Registered user since Wed 21 Aug 2019

Name:Lisa Zhang
Country:Canada
Affiliation:University of Toronto Mississauga
Personal website:http://lisazhang.ca
Research interests:minikanren, program synthesis, machine learning, computer science education

Contributions

SIGCSE TS 2023 Author of Creating Safe Spaces for Instructor Identity in Computing within the Panels-track
Author of Embedding and Scaling Writing Instruction Across First- and Second-Year Computer Science Courses within the Papers-track
miniKanren 2022 Author of Fail Fast and Profile On: Towards a miniKanren Profiler within the miniKanren 2022-track
miniKanren 2021 Session Chair of Morning Keynote (part of miniKanren 2021)
Author of Universal Quantification and Implication in miniKanren within the miniKanren 2021-track
Author of Relational Floating-Point Arithmetic within the miniKanren 2021-track
Co-chair in Organizing Committee within the miniKanren 2021-track
miniKanren 2020 Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track
miniKanren 2019 Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track
Session Chair of Session 2 (part of miniKanren 2019)

Share
xWed 8 Feb 05:00
using conf.researchr.org (v1.58.0)
Support page
Sign Up