Justin Lubin

Orcid: 0000-0003-2311-1873

According to our database1, Justin Lubin authored at least 9 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Equivalence by Canonicalization for Synthesis-Backed Refactoring.
Proc. ACM Program. Lang., 2024

2022
Exploring the Learnability of Program Synthesizers by Novice Programmers.
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology, 2022

2021
How statically-typed functional programmers write code.
Proc. ACM Program. Lang., 2021

How Statically-Typed Functional Programmers Author Code.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020
Program sketching with live bidirectional evaluation.
Proc. ACM Program. Lang., 2020

2019
Program Synthesis with Live Bidirectional Evaluation.
CoRR, 2019

Type-Directed Program Transformations for the Working Functional Programmer.
Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Sketch-n-Sketch: Output-Directed Programming for SVG.
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

2018
Deuce: a lightweight user interface for structured editing.
Proceedings of the 40th International Conference on Software Engineering, 2018


  Loading...