Sotabase

Career

· PhD Student (Alumnus), UC Berkeley2025–
· Researcher/Student, UC Berkeley2025–
· PhD Student, UC San Diego2025–

Publications (5)

Supporting Mastery Learning with Flexible Extensions
Technical Symposium on Computer Science Education · 2024
7
cited
Automated Support for Flexible Extensions
Technical Symposium on Computer Science Education · 2024
5
cited
Equivalence by Canonicalization for Synthesis-Backed Refactoring
Proc. ACM Program. Lang. · 2024
2
cited
Developing a Tool to Automate Extensions to Support a Flexible Extension Policy
arXiv.org · 2023
SEPO: Optimizing RISC-V using Symbolic Execution
Sotabase
Jacob Yim | Researcher Profile | Sotabase | Sotabase