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! If you don't really know what research is about or static analysis is, that's fine, we can learn together.
The best way to get in touch about collaborating with me is to attend the PLSE group's software engineering reading group, where you can get a flavour of what software engineering research is like.
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, pp. 367-380
Details. Download: PDF, Slides (PDF), Slides (Google Slides), 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)