Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Petr Lozov
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
POPL 2021 profile
SPLASH 2023 profile
Registered user since Fri 28 Jul 2017
Name:
Petr Lozov
Affiliation:
Sain Petersburg State University, SPbGU
Contributions
2023
LOPSTR
Author of Relational Solver for Java Generics Type System within the LOPSTR 2023-track
2022
miniKanren
PC Member in Program Committee within the miniKanren 2022-track
Presenter of On a Declarative Guideline-Directed UI Layout Synthesis within the miniKanren 2022-track
Author of Wildcard Logic Variables within the miniKanren 2022-track
2021
CPP
Author of Certified Semantics for miniKanren within the Lightning Talks-track
PEPM
Author of Efficient Fair Conjunction for Structurally-Recursive Relations within the PEPM 2021-track
2020
miniKanren
Author of On Fair Relational Conjunction within the miniKanren 2020-track
2019
miniKanren
Author of Relational Interpreters for Search Problems within the miniKanren 2019-track
2017
ML
Author of Relational conversion for OCaml within the ML 2017-track
Share
x
Sat 21 Dec 17:33