Justin Lubin

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Novice Programmers

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, Sarah E. Chasins
Equivalence by Canonicalization for Synthesis-Backed Refactoring. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dhanya Jayagopal, Justin Lubin, Sarah E. Chasins
Exploring the Learnability of Program Synthesizers by Novice Programmers. UIST (2022)
Justin Lubin
How Statically-Typed Functional Programmers Author Code. CHI Extended Abstracts (2021)
Justin Lubin, Sarah E. Chasins
How statically-typed functional programmers write code. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
Program sketching with live bidirectional evaluation. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Brian Hempel, Justin Lubin, Ravi Chugh
Sketch-n-Sketch: Output-Directed Programming for SVG. CoRR (2019)
Justin Lubin, Ravi Chugh
Type-Directed Program Transformations for the Working Functional Programmer. PLATEAU@UIST (2019)
Brian Hempel, Justin Lubin, Ravi Chugh
Sketch-n-Sketch: Output-Directed Programming for SVG. UIST (2019)
Justin Lubin, Nick Collins, Cyrus Omar, Ravi Chugh
Program Synthesis with Live Bidirectional Evaluation. CoRR (2019)
Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh
Deuce: a lightweight user interface for structured editing. ICSE (2018)