Personal information

Emails & domains

Verified email domains

Websites & social links

Homepage

Countries

United States

Activities

Collapse all

Works (3)

Equivalence by Canonicalization for Synthesis-Backed Refactoring

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
DOI: 10.1145/3656453
Contributors: Justin Lubin; Jeremy Ferguson; Kevin Ye; Jacob Yim; Sarah E. Chasins
Source: check_circle
Crossref

How statically-typed functional programmers write code

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
DOI: 10.1145/3485532
Contributors: Justin Lubin; Sarah E. Chasins
Source: check_circle
Crossref

Program sketching with live bidirectional evaluation

Proceedings of the ACM on Programming Languages
2020-08-02 | Journal article
DOI: 10.1145/3408991
Contributors: Justin Lubin; Nick Collins; Cyrus Omar; Ravi Chugh
Source: check_circle
Crossref

Peer review (1 review for 1 publication/grant)

Review activity for Formal methods in system design. (1)
How many people are using ORCID?