Academic Job Market : Fall 2019

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 and a Masters in computer science from UNL.
 
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
  • ISSTA 2017 Best Tool Demonstration: Phriky Units (github)
  • Helped author NSF CCF-1718040 ($484,694.00)
  • Othmer Fellowship 2014-2018 ($8K / year)
  • UNL Outstanding Master's Thesis 2015
  • RSS 2013 Travel Grant ($500)
    PATENTS
  • Aerial Water Sampler
    INVITED TALKS
  • Detecting Bugs in Robotic Systems : ISSTA 2017 Workshop on Testing Embedded and Cyber-Physical Systems
  • Bright Lights Robotics Camp (Summer 2016, 2017)
  • Flying Robots. Seward Chapter of PEO (June 2015).
    TALKS
  • ROSCON'17: Physical Unit Inconsistency Detection Tool for ROS(slides)(video)
  • Separation Logic (Formal Verification Technique)
    SERVICE
  • Faculty Search Committee Student Representative - UNL CSE (2016)
  • Bright Lights Robotics Camp Counsellor (Summer 2015)
    REVIEWER
  • MEMCODE 2018
  • Software Testing Verification and Reliability 2018
  • International Journal of Mining Reclamation and Environment 2018
  • Journal of Field Robotics 2015, 2017, 2018
  • International Conference on Robotics and Automation (ICRA) 2014,2015,2017
  • Limnology and Oceanography: Methods, 2017
    VIDEOS



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

     
    PERSONAL

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

    Certified Remote UAS Drone Pilot under FAA Part 107.