Projects per year
Personal profile
About
Dr. Elena Sherman joined the faculty of the College of Engineering at Boise State University in 2013 as an assistant professor in the Department of Computer Science. She holds a Ph.D. in Computer Science from the University of Nebraska-Lincoln, a B.S. in Management Information Systems from Peru State College in Peru, Nebraska, and an M.S. in Astronomy from Moscow State University in Russia. Dr. Sherman previously taught at the University of Nebraska-Lincoln, and has worked for NASA, Google, Inc., and ConAgra Foods. She served on the organizing committee for the International Workshop on the State of the Art in Java Program Analysis (SOAP 2012), co-located with PLDI'12, in Beijing, China in June 2012.
Fingerprint
Dive into the research topics where Elena Sherman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V)
Sherman, E. (PI)
1/07/24 → 30/06/26
Project: Research
-
CAREER: Computing Program Invariants using Abstract Domains Search
Sherman, E. (PI)
1/06/20 → 31/05/25
Project: Research
-
CRI: CI-P: Collaborative: Towards a Program Analysis Collaboratory
Sherman, E. (PI)
1/08/18 → 31/07/20
Project: Research
-
SI2-SSE: GEM3D: Open-Source Cartesian Adaptive Complex Terrain Atmospheric Flow Solver for GPU Clusters
Wright, G. (PI), Senocak, I. I. (CoPI), Calhoun, D. (CoPI) & Sherman, E. (CoPI)
1/10/14 → 30/09/18
Project: Research
-
SHF: EAGER: Collaborative Research: Mapping Software Analysis Problems to Efficient and Accurate Constraints
Sherman, E. (PI)
1/08/14 → 31/07/16
Project: Research
-
Identifying Minimal Changes in the Zone Abstract Domain
Ballou, K. & Sherman, E., 2023, Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings. David, C. & Sun, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 221-239 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13931 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Minimally Comparing Relational Abstract Domains
Ballou, K. & Sherman, E., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 159-175 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Minimally Comparing Relational Abstract Domains
Ballou, K. & Sherman, E., 1 Jan 2023, ATVA 2023: Automated Technology for Verification and Analysis.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution
Hussein, S., McCamant, S., Sherman, E., Sharma, V. & Whalen, M., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers Inc., p. 79-89 11 p. (Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Incremental Transitive Closure for Zonal Abstract Domain
Ballou, K. & Sherman, E., 1 Jan 2022, NFM 2022: NASA Formal Methods.Research output: Chapter in Book/Report/Conference proceeding › Chapter
Prizes
-
-
2011 - "Preparing Future Faculty" Program, University of Nebraska-Lincoln
Sherman, E. (Recipient), 2011
Prize
-