Sotabase
Home
Researchers
Career
·
Researcher
,
UC Berkeley EPIC Data Lab
2024–
·
Researcher on Geospatial Analysis Systems
,
UC Berkeley
2023–
Publications
(14)
Sketch-n-Sketch: Output-Directed Programming for SVG
ACM Symposium on User Interface Software and Technology · 2019
105
cited
Exploring the Learnability of Program Synthesizers by Novice Programmers
ACM Symposium on User Interface Software and Technology · 2022
52
cited
Program sketching with live bidirectional evaluation
Proc. ACM Program. Lang. · 2019
47
cited
How statically-typed functional programmers write code
Proc. ACM Program. Lang. · 2021
22
cited
Programmable epigenome editing by transient delivery of CRISPR epigenome editor ribonucleoproteins
Nature Communications · 2025
7
cited
How Statically-Typed Functional Programmers Author Code
CHI Extended Abstracts · 2021
5
cited
Equivalence by Canonicalization for Synthesis-Backed Refactoring
Proc. ACM Program. Lang. · 2024
2
cited
Implementation of Program Sketching with Live Bidirectional Evaluation
2020
2
cited
Type-Directed Program Transformations for the Working Functional Programmer
PLATEAU@UIST · 2019
2
cited
Program Synthesis with Live Bidirectional Evaluation
arXiv.org · 2019
1
cited
Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
Proc. ACM Program. Lang. · 2025
Programming by Navigation
Proc. ACM Program. Lang. · 2025
SPLASH : U : Approximating Polymorphic Effects with Capabilities
2019
Sotabase
Justin Lubin | Researcher Profile | Sotabase | Sotabase