James Yoo

According to our database, James Yoo authored at least 5 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning".

James Yoo, Michael D. Ernst, René Just

Dataset, September, 2024

Verifying the Option Type with Rely-Guarantee Reasoning.

James Yoo, Michael D. Ernst, René Just

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Breaking the Bento Box: Accelerating Visual Momentum in Data-flow Analysis.

James Yoo, Gail C. Murphy

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2018

Healthy Hankerings: Motivating Adolescents to Combat Obesity with a Mobile Application.

Farzana Rahman, Paul Henninger, David Kegley, Keegan Sullivan, James Yoo

Proceedings of the Human-Computer Interaction. Interaction in Context, 2018

2016

Flexible, Penetrating Brain Probes Enabled by Advances in Polymer Microfabrication.

Ahuva Weltman, James Yoo, Ellis Meng

Micromachines, 2016