​
Login / Signup
Jacob Yim
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Expert Systems
Interactive Dynamic Influence Diagrams
Default Theories
Texture Synthesis
Top Venues
SIGCSE (2)
Proc. ACM Program. Lang.
CoRR
</>
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)
Yuerou Tang
,
Jacob Yim
,
Jordan Schwartz
,
Madison Bohannan
,
Dana Benedicto
,
Charisse Liu
,
Armando Fox
,
Lisa Yan
,
Narges Norouzi
Supporting Mastery Learning with Flexible Extensions.
SIGCSE (2)
(2024)
Jordan Schwartz
,
Madison Bohannan
,
Jacob Yim
,
Yuerou Tang
,
Dana Benedicto
,
Charisse Liu
,
Armando Fox
,
Lisa Yan
,
Narges Norouzi
Automated Support for Flexible Extensions.
SIGCSE (2)
(2024)
Jordan Schwartz
,
Madison Bohannan
,
Jacob Yim
,
Yuerou Tang
,
Dana Benedicto
,
Charisse Liu
,
Armando Fox
,
Lisa Yan
,
Narges Norouzi
Developing a Tool to Automate Extensions to Support a Flexible Extension Policy.
CoRR
(2023)