Corina Pasareanu-Silicon Valley Campus - Carnegie Mellon University

Corina Pasareanu

Contact Info:
Corina Pasareanu
Carnegie Mellon University
Silicon Valley
Building 23 (MS 23-11)
Moffett Field, CA 94035

Phone: 650-604-4767

Email: corina.pasareanu@sv.cmu.edu

Corina Pasareanu, Special Faculty-Senior Researcher

Projects

  • ISSTAC: Integrated Symbolic Execution for Space-Time Analysis of Code — CMU PI
      Funded by DARPA; with Vanderbilt University and UC Santa Barbara
  • Mera: Memoized Ranged Systematic Software Analyses — CMU PI
      Funded by NSF; with UT Austin
  • Circular compositional reasoning by learning and abstraction-refinement —CMU PI
      Funded by NSF and BSF; with Technion and Tel-Aviv Yaffo
  • Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications -- CMU PI
      Funded by NSF; with UC Santa Barbara and Georgia Tech

Overview

Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon University, at the Silicon Valley campus. She is affiliated with CMU's Cylab and also holds a courtesy appointment with CMU Electrical & Computer Engineering. At Ames she is developing and extending Symbolic PathFinder, a symbolic execution tool for Java bytecode. Her research interests include: Model checking and automated testing, Compositional verification, Model-based development, Probabilistic software analysis, Autonomy and Security. She is/was Program/General Chair for several conferences including: International Conference on Computer Aided Verification (CAV 2015), International Symposium on Software Testing and Analysis (ISSTA 2014), International Conference on Automated Software Engineering (ASE 2011), NASA Formal Methods Symposium (NFM 2009). She is the recipient of a best paper award (HVC 2014), an ACM Impact Paper Award (2010), the ICSE 2010 Most Influential Paper Award, the IBM HVC Conference Award (2007) and an ACM Distinguished Paper Award (2002). She is currently Associate Editor for the IEEE Transactions on Software Engineering (TSE) journal.

Website: NASA web profile