About the Authors

Chengze Shen

Contributed equally to this work with: Chengze Shen, Eleanor Wedell

Roles Formal analysis, Investigation, Methodology, Software, Validation, Visualization, Writing – original draft

Affiliation Siebel School of Computing and Data Science, University of Illinois Urbana-Champaign, Urbana, Illinois, United States of America

Eleanor Wedell

Contributed equally to this work with: Chengze Shen, Eleanor Wedell

Roles Formal analysis, Investigation, Methodology, Validation, Visualization, Writing – original draft, Writing – review & editing

Affiliation Siebel School of Computing and Data Science, University of Illinois Urbana-Champaign, Urbana, Illinois, United States of America

Mihai Pop

Roles Methodology, Writing – review & editing

Affiliation Department of Computer Science, University of Maryland at College Park, College Park, Maryland, United States of America

Tandy Warnow

Roles Conceptualization, Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Supervision, Writing – original draft, Writing – review & editing

warnow@illinois.edu

Affiliation Siebel School of Computing and Data Science, University of Illinois Urbana-Champaign, Urbana, Illinois, United States of America

Competing Interests

The authors have declared that no competing interests exist.