Bio

My research aims to build dependable systems through domain-specific analysis techniques. My teaching focuses on instilling cost-effective software development principles.

I am the recipient of an NSF Career Award, an IBM Innovation Award, a Google Faculty Research Award, an FSE Test of Time Award, and 5 ACM SigSoft Distinguished Paper Awards (FSE2006, ICSE2008, ICSE2012, ISSTA2013, ICSE2016), mostly for empirically studying program analysis and software testing challenges, and developing automated techniques for addressing them. My current development and analysis work is focused on robotic systems.

I served as Program Co-Chair of the 2015 International Conference on Software Engineering, Program Chair for the 2007 International Symposium on Software Testing and Analysis, Program Co-Chair for the 2008 Empirical Software Engineering Symposium, Co-Editor for the Information and Software Technology Journal, and as Associate Editor of the ACM Transactions on Software Engineering and Methodologies Journal. I am the Steering Committee Chair for ICSE. I was recognized as a Distinguished Scientist by the Association for Computing Machinery for my contributions to computing.

I received my Ph.D. from the University of Idaho, and a Systems Engineering degree from Universidad Catolica de Cordoba, Argentina. I spent a significant part of my academic career at the University of Nebraska, where I co-founded two international recognized labs, the E2 Software Engineering Lab and the Nimbus Robotics Lab. I have spent my sabbaticals as a research scientist or research fellow at Google (Mountain View, USA), CNR (Pisa, Italy), and UCL (London, UK).

For more detailed and current information please visit my website

Awards

  • IROS Best Paper Award 2018
  • Best Demo Award ISSTA 2017
  • ACM Distinguished Paper Awards: ICSE 2016, ISSTA 2013, ICSE 2012, ICSE 2008, FSE 2006
  • ACM Distinguished Scientist 2016
  • Google Faculty Research Award 2012
  • IBM Eclipse Innovation Award 2006
  • Distinguished Visitor, Universidad Catolica de Cordoba 2007
  • Academic Fellowship, University College London 2007
  • National Science Foundation CAREER Award 2004 - 2009

Research Interests

  • Software Engineering and Autonomous Systems

Selected Publications

  • "Redefining Prioritization: Continuous Prioritization for Continuous Integration," International Conference in Software Engineering, May 2018 J. Liang, S. Elbaum, and G. Rothermel
  • "Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code," International Symposium on Experimental Robotics, 712-718, September 2017 J. Ore, C. Detweiler, and S. Elbaum
  • "Inferring and monitoring invariants in robotic systems." Autonomous Robots 41(4): 1027-1046, 2017 H. Jiang, S. Elbaum, and C. Detweiler
  • Lightweight detection of physical unit inconsistencies without program annotations, International Symposium on Software Testing and Analysis, 341-351, July 2017 J. Ore, C. Detweiler, and S. Elbaum
  • Rate impact analysis in robotic systems, International Conference on Robotics and Automation, 2089-2096, June 2017 N. Sharma, S. Elbaum, and C. Detweiler
  • Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics, International Symposium on Software Testing and Analysis, 79-89, July 2017 W. Sun, L. Xu, and S. Elbaum
  • Co-Diagnosing Configuration Failures in Co-Robotic Systems, International Conference on Intelligent Robots and Systems, 2934-2939, September 2016 A. Taylor, S. Elbaum, and C. Detweiler
  • Code search with input/output queries: Generalizing, ranking, and assessment. Journal of Systems and Software, Elsevier, 16():35-48, 2016 K. Stolee, S. Elbaum, and M. Dwyer
  • On the techniques we create, the tools we build, and their misalignments: a study of KLEE, International Conference in Software Engineering, 132-143, May 2016. Distinguished paper award E. Rizzi, S. Elbaum, and M. Dwyer
  • Autonomous Aerial Water Sampling. Journal of Field Robotics 32(8): 1095-1113, 2015 J.P. Ore, S. Elbaum, A. Burgin, and C. Detweiler

Courses Taught

  • My teaching focuses on instilling cost-effective software development principles. I have recently taught Software Engineering, Program Analysis, Software Engineering for Robotics.