I joined CPAR in January 2022 as the lead software engineer and technology team manager for the Rural Transit project. I work with transit agencies across the state to maintain and expand the web portal they use to report and receive funding to help make transit options affordable and available for all Nebraskans.
Education and Credentials
Ph.D., Computer Science, University of Nebraska-Lincoln (2023)
M.Sc., Computer Science, Trinity College Dublin (2010)
B.A., Philosophy, University of Nebraska-Lincoln (2006)
B.S., Cognitive Science, University of Nebraska-Lincoln (2006)
Selected Publications
- C. Stevens and H. Bagheri, "Parasol: Efficient Parallel Synthesis of Large Model Spaces," ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '22), Singapore, 2022.
- C. Stevens and H. Bagheri, "Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems," 31st ACM SIGSOFT Int. Symposium on Software Testing and Analysis (ISSTA '22), Virtual Event, 2022.
- B. Silva, C. Stevens, N. Mansoor, W. Srisa-an, T. Yu, and H. Bagheri, "SAINTDroid: Scalable, Automated Incompatibility Detection for Android," 52nd IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN '22), Baltimore, MD, USA, June 27-30, 2022.
- J. Soundy, C. Wang, C. Stevens, and H. Chan, "Game-theoretic analysis of effort allocation of contributors to public projects," 30th International Joint Conference on Artificial Intelligence (IJCAI-21), Virtual Event, 2021.
- C. Stevens, J. Soundy, and H. Chan, "Exploring the efficiency of self-organizing software teams with game theory," 43rd IEEE/ACM Int. Conf. on Software Engineering, New Ideas and Emerging Results (ICSE-NIER '21), Virtual Event, 2021.
- M. Alhanahnah*, C. Stevens*, and H. Bagheri, "Scalable analysis of interaction threats in IoT systems," 29th ACM SIGSOFT Int. Symposium on Software Testing and Analysis (ISSTA '20), Virtual Event, 2020. (*Joint first authors)
- C. Stevens and H. Bagheri, "Reducing run-time adaptation space via analysis of possible utility bounds," 42nd IEEE/ACM Int. Conf. on Software Engineering (ICSE '20), Seoul, Republic of Korea, 2020, pp. 1522-1534.
- J. Keeney, C. Stevens and D. O'Sullivan, "Extending a knowledge-based network to support temporal event reasoning," 2010 IEEE Network Operations and Management Symposium (NOMS 2010), Osaka, Japan, 2010, pp. 631-638.
- C. Stevens, C. Lyons, R. Hendrych, R. S. Carbajo, M. Huggard and C. McGoldrick, "Simulating mobility in WSNs: Bridging the gap between ns-2 and TOSSIM 2.x," 2009 13th IEEE/ACM Int. Symposium on Distributed Simulation and Real Time Applications (DS-RT), Singapore, 2009, pp. 247-250.