Download CV
Research Statement
Teaching Statement
On the Academic Job Market

Background
Hi! I'm John-Paul Ore, a computer science and engineering PhD student at the University of Nebraska (UNL), co-advised by Sebastian Elbaum and Carrick Detweiler. I have a BA in Philosophy from the University of Chicago.
 
Research Interests
My research interests focus on applying program analysis techniques to software that controls robots and senses and acts in the physical world. This includes abstract type inference of physical unit types (like 'meters-per-second') with dataflow analysis, Probabilistic techniques for combining semantic information in identifiers (variable names) with code flow inference, and empirical measurements of how developers make decisions about robotic software, and how to connect program analysis with robotic simulation. I'm specifically focused on program analysis and software testing that helps make systems safer and more reliable while remaining practical and economically efficient.

 

PUBLICATIONS

2018 2017 2016 2015 2014 2013
MISCELLANEOUS PUBLICATIONS

AWARDS AND FUNDING
  • ACM SIGSOFT Travel Award ($300)
  • ISSTA 2017 Best Tool Demonstration: Phriky Units (github)
  • Helped author NSF CCF-1718040 ($484,694.00)
  • Othmer Fellowship 2014-2018 ($8K / year)
  • UNL CSE Outstanding Master's Thesis Award 2015
  • RSS 2013 Travel Grant ($500)
    PATENTS
  • Aerial Water Sampler #US9606028B2 2017
    TOOLS
  • Phys (in collaboration with Purdue's Xiangyu Zhang and Sayali Kate)
  • Phriky ISSTA 2017 Best Tool Demonstration Award


    TALKS
  • Detecting Bugs in Robotic Systems : ISSTA 2017 Workshop on Testing Embedded and Cyber-Physical Systems
  • ROSCON'17: Physical Unit Inconsistency Detection Tool for ROS(slides)(video)
  • Bright Lights Robotics Camp (Summer 2016, 2017)
  • Flying Robots. Seward Chapter of PEO (June 2015).
  • Separation Logic (Formal Verification Technique)
    SERVICE
  • Program Committee for workshop on Robotic Software Engineering (RoSE, part of ICSE 2019)
  • Reviewer: IEEE Robotics and Automation Letters 2018
  • Reviewer: MEMCODE 2018
  • Reviewer: Software Testing Verification and Reliability 2018
  • Reviewer: Journal of Field Robotics 2015, 2017, 2018
  • Reviewer: International Conference on Robotics and Automation (ICRA) 2014,2015,2017
  • Reviewer: International Journal of Mining Reclamation and Environment 2018
  • Reviewer: Limnology and Oceanography: Methods, 2017
  • Faculty Search Committee Student Representative - UNL CSE (2016)
  • Bright Lights Robotics Camp Counsellor (Summer 2015)
    Graduate Teaching Assistant
  • Software Engineering II : 260, FALL 2018
    MEMBERSHIPS
  • ACM-W, ACM, ACM-SIGSOFT, IEEE
    CERTIFICATIONS
  • Certified Remote UAS Drone Pilot under FAA Part 107.

  • VIDEOS

    2 Minute Lightning Task at ROSCon 2017 Vancouver Day 1 from OSRF on Vimeo.



     
    PROJECTS
    3-D rendering of Text Clouds for source code visualization

     
    PERSONAL

    Hiking, travelling, cycling, cuisine, photography, and birding.