James Yoo
PhD student
Paul G. Allen School of Computer Science & Engineering
University of Washington
jmsy@cs.washington.edu
News Notes Blog Recipes CV
Are you an undergrad at UW looking for research opportunities?
I'm currently looking for new collaborators! Get in touch if you're interested in building better tools for programmers that help make programs more correct! If you're an undergrad who doesn't really know what research is about or what static analysis is, that's fine, we can learn together. Don't let this keep you from getting in touch! I also highly encourage you to check out our lab's page for more information about collaborating with PLSE.
About
I'm a PhD student at the Paul G. Allen School of Computer Science & Engineering at the University of Washington. I work with Michael D. Ernst and René Just as a member of the Programming Languages and Software Engineering (PLSE) group. The best part about being in a research lab is how one can soak up knowledge like a sponge simply by sitting around.
I previously worked with Gail C. Murphy as a member of the incredibly fun Software Practices Lab at the University of British Columbia. My research during that time investigated tool usability in the context of integrated development environments. During my time at UBC, I also worked as a teaching assistant for most of the software engineering and programming courses offered, ranging from introductory programming to software engineering.
Publications
"Verifying the Option Type with Rely—Guarantee Reasoning"by James Yoo, Michael D. Ernst, and René Just
in ASE 2024: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering,
(Sacramento, CA, USA), Oct. 2024.
Details. Download: PDF, Implementation, Artifact
"Breaking the Bento Box: Accelerating Visual Momentum in Data-flow Analysis"
by James Yoo and Gail C. Murphy
in ICSME 2023: Proceedings of the 39th IEEE International Conference on Software Maintenance and Evolution,
(Bogotá, Colombia), Oct. 2023, pp. 306-316.
Details. Download: PDF, Slides (PDF), Implementation
Non-Publications
"An Undergrad Is All You Need"by James Yoo
in SIGBOVIK 2023: Proceedings of the ACH Special Interest Group on Harry Q. Bovik
Details. Download: PDF
"Investigating Data-flow Reachability Questions"
by James Yoo
Master's thesis
Details. Download: PDF, Slides (PDF), Slides (Keynote)