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
-
FMitF: Track III: Teaching Program Specifications to the Scientific Computing Community
Sherman, E. (PI) & Gradywright@boisestateedu, G. B. W. (CoPI)
1/01/26 → 31/12/28
Project: Research
-
Collaborative Research: CIRC: Dev: Adaptable Realistic Benchmark Generator for Verification (ARG-V)
Sherman, E. (PI)
1/07/24 → 30/06/27
Project: Research
-
CAREER: Computing Program Invariants using Abstract Domains Search
Sherman, E. (PI)
1/06/20 → 30/11/26
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. (CoPI), Calhoun, D. (CoPI) & Sherman, E. (CoPI)
1/10/14 → 30/09/18
Project: Research
-
Demonstrating ARG-V’s Generation of Realistic Java Benchmarks for SV-COMP
Moloney, C., Dyer, R. & Sherman, E., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-285 9 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access3 Scopus citations -
muRelBench: MicroBenchmarking for Zonotope Domains
Ballou, K. & Sherman, E., 2026, SEET - Software Engineering for Emerging Technologies - 1st International Conference, SEET 2025, Proceedings. Hussain, S., Khan, A. A., Abdul Basit Ur Rahim, M. & Khan, S. U. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 551-559 9 p. (Communications in Computer and Information Science; vol. 2725 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Confidence Preservation Property in Knowledge Distillation Abstractions
Vengertsev, D. & Sherman, E., 2023, 43rd SGAI International Conference on Artificial Intelligence. Bramer, M. & Stahl, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 59-72 14 p. (Lecture Notes in Computer Science; vol. 14381 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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
Open Access -
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
Prizes
-
-
2011 - "Preparing Future Faculty" Program, University of Nebraska-Lincoln
Sherman, E. (Recipient), 2011
Prize
-