Owolabi Legunsen

Assistant Professor
Computer Science


My research interest are in Software Engineering and Applied Formal Methods, with a focus on Software Testing and Runtime Verification.

Research Interests

  • Programming Languages, Systems and Networking

Selected Publications

  • Testing Configuration Changes in Context to Prevent Production Failures
    Xudong Sun, Runxiang Cheng, Jianyan Chen, Ran Ang, Owolabi Legunsen, and Tianyin Xu
    14th USENIX Symposium on Operating Systems Design and Implementation
    (OSDI 2020), pages to-appear, Banff, Alberta, Canada, November 2020
  • Understanding and Discovering Software Configuration Dependencies in Cloud and Data-center Systems
    Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu
    28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2020), pages to-appear, Sacramento, CA, November 2020
  • Prioritizing Runtime Verification Violations
    Breno Miranda, Igor Lima, Owolabi Legunsen, and Marcelo d’Amorim
    13th IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2020), pages to-appear, Porto, Portugal, March 2020


  • Ph.D., University of Illinois at Urbana-Champaign, 2019