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)