Posts

Program Analysis Meets Autonomous Robots - ICSE 2020 technical briefing

I was invited to give a technical briefing at ICSE 2020 on the work our team has been doing at the intersection of robotics and software engineering. The video offers a good summary of our progress and directions.

FSE Test of Time Award

The Foundations of Software Engineering Test of Time Award recognizes highly influential papers published ten years ago in ESEC or FSE. …

State of ICSE

My last Report as ICSE Steering Committee Chair …

Adios to UNL

I am leaving UNL to join the University of Virginia in the Fall 2018. I have only gratitude to my colleagues and staff at the …

Think Like an Immigrant

I was honored to give the UNL graduate commencement speech in December 2016. Perhaps not good enough to make it to the “Best …

Recent Publications

More Publications by DBLP and Google Scholar

. Systematic Generation of Diverse Benchmarks for DNN Verification, Proceedings of CAV, 97-121, 2020.

. Feasible and stressful trajectory generation for mobile robots, Proceedings of ISSTA, 349-362 2020.

Investigating Controller Evolution and Divergence through Mining and Mutation, Proceedings ACM/IEEE International Conference on Cyber Physical Systems , 2020.

Refactoring Neural Networks for Verification, arXiv preprint arXiv:1908.08026, 2019.

Evaluating Recommender System Stability with Influence-Guided Fuzzing, Proceedings of the AAAI Conference on Artificial Intelligence, 4934-4942, 2019.

Teaching

Fall 2020: Program Analysis and its Applications
Covid-19 Adjustments (subject to change): this class will be online, mostly with synchronous lectures and labs.

This course explores state-of-the-art automated analysis techniques and their application. Topics include dynamic and static program analysis techniques, test generation, fault localization and debugging, model inferencing, and model checking. The course includes the utilization of tools and the development of a class project that builds and improves on existing techniques.

Spring 2020: Robotics for Software Engineers
Covid-19 Adjustments (subject to change): check course website for revised schedule and expectations.

Developing software for robot systems is challenging as they must sense, actuate, and represent the physical world. Sensing the physical world is usually noisy, actuating in and on the world is often inaccurate, and the knowledge and representation of the world is incomplete and uncertain. In this class we explore basic approaches to cope with those challenges. You learn to use abstractions, architectures, libraries, verification and validation approaches, simulation, and frameworks and tools to perform robot activities like motion, navigation, perception, planning, and interaction. The expectations is that his course opens up new career options in robotics for computer science students.

Fall 2019: Analysis of Software Engineering Artifacts

This course explores state-of-the-art automated techniques that make the analysis of various software artifacts, from models to code, cost-effective. Topics include dynamic and static program analysis techniques, test generation, fault localization and debugging, model inferencing, and model checking. The course includes the utilization of the latest research tools and the development of a class project that builds and improves on existing techniques.

Spring 2019: Software Engineering for Robotics

This was the first offering of this course covering specialized software engineering approaches, techniques, and tools for the development of robotic systems. Topics included domain-specific architectures and design principles, modeling robot and environmental states, abstractions for mapping, localization, and navigation, planning, control structures and properties, filtering mechanisms for sensors and actuators, and analysis, verification, and simulation for dependability.

Students

References: (A) Advisor, (CA) Co-Advisor

Current Students

  • Ajay Shankar (CA)
  • Carl Hildebrandt (A)
  • David Shriver (A)
  • Meriel Stein (A)
  • Trey Woodlief (CA)
  • Nora Evans (CA)
  • Andrew Elsey (CA)
  • Felipe Toledo (A)
  • Alumni

    If you should be a part of this list please send me an email!

    1. John-Paul Ore (CA, Ph.D: 8/19) 819)
    2. Balaji Balasubrmanian (CA, MS: 1218)
    3. Jingjing Liang (CA, MS: 518)
    4. David Shriver (A, MS: 518)
    5. Evan Beachly (CA, MS: 1217)
    6. Wei Sun (CA, PhD: 1217) 38.Nishant Sharma (CA, MS: 1017)
    7. Matias Waterloo (A, MS: 816)
    8. Adam Taylor (A, MS: 122015)
    9. Eric Rizzi (CA, MS: 82015)
    10. Hengle Jiang (A, MS: 52014)
    11. Katie Stolee (A, PhD: 82013)
    12. Pingyu Zhang (A, PhD: 82013)
    13. Rahul Purandare (Post Doc – Co-adv, 52013)
    14. Heath Roehr (CA, MS: 52013)
    15. Lucy Wang (CA, MS: 82012)
    16. Daniel Dobos (U)
    17. Javier Darsie (A,MS: 82012)
    18. Rahul Purandare (CM, Phd 42011)
    19. Xin Guo (REU, 52011)
    20. Katie Stolee (A, MS: 82010)
    21. Madeleine Diep (A: 42009)
    22. Zhimin Wang (A: 82008)
    23. Mark Fisher (CA: 82008)
    24. Joe RuthRuff (CA: 52008)
    25. Matt Jorde (A: 52008)
    26. Padma Ashokumar (CA: 122007)
    27. Hui Nee Chin (A: 82007)
    28. Andhy Koesnandar (CA: 52007)
    29. Sandeep Lingam (A: 52006)
    30. Bhuvana Gopal (A: 12006)
    31. Fidel Knowcha (A: 82004)
    32. Madeleine Hardojo(A: 52004)
    33. Ram Kalyan Chilakamarri (A: 52004)
    34. Sameera Reddy(A:72004)
    35. Satya Kanduri (A: 72003)
    36. Praveen Kallakuri (A: 122002)
    37. Srikanth Karre (A: 112002)
    38. Xin Liu (A: 05/2002)
    39. Smita Narla (A: 82001)
    40. David Gable (A: 42001)
    41. Jian Tang (P: 52001)
    42. Lingyun Wang (P: 52001)
    43. Luyin Zhao (P: 52001)

    Undergraduate Research or Project Advising

    1. Joanna Zhao
    2. Michael Chinn
    3. Nate Olsen
    4. Derek Tan
    5. Ethan Butt
    6. Mark Nail
    7. Chris Laney
    8. Daniel Lobos
    9. Josh Reed
    10. Nick Steinbaugh
    11. Jon Dokulil
    12. Khoa Le
    13. Tuan Duc Dao
    14. David Friberg
    15. Jared Bakewell
    16. Binh Huynh
    17. Shane Geiger
    18. Ted Whaler
    19. Eric Gruber

Contact