Papers
9
Total Citations
138
H-Index
7
About
John-Paul Ore is a researcher whose work sits at the intersection of robotics, software engineering, and cyber-physical systems. His primary research areas include automated construction robotics, physical unit consistency in software, and program analysis for robotic systems. Ore’s major contributions center on developing lightweight, annotation-free techniques to detect physical unit inconsistencies in code—critical for ensuring the safety and correctness of systems that interact with the physical world. His tools, such as Phriky-units and Phys, have been cited over 80 times collectively, demonstrating their impact on the software engineering and robotics communities. Notably, his study of 5.9 million lines of ROS code revealed widespread dimensional inconsistencies, underscoring the practical importance of his work. Ore has also advanced vision-based mobile manipulation for construction, with his 2020 paper earning 45 citations. Beyond detection, his empirical studies on type annotations and Xacro macros provide valuable insights into developer burdens and tool usability. With a portfolio spanning from UAV-based sensor deployment to code-aware simulation, Ore’s research is shaping how we build reliable, physically-grounded software for the next generation of autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Phys: probabilistic physical unit assignment and inconsistency detection20 citations · 2018
- 4
- 5
- 6An Empirical Study on Type Annotations9 citations · 2021
- 7Understanding Xacro Misunderstandings7 citations · 2022
- 8Towards code-aware robotic simulation3 citations · 2018
- 9Controlled sensor network installation with unmanned aerial vehicles3 citations · 2014