Scholar
Elena Sherman
Google Scholar ID: YVovscMAAAAJ
Boise State University
Software Engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
177
H-index
6
i10-index
5
Publications
20
Co-authors
6
list available
Publications
3 items
Minimal Comparison of Octagonal Abstract Domains
2026
Cited
0
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
2026
Cited
0
muRelBench: MicroBenchmarks for Zonotope Domains
arXiv.org · 2024
Cited
0
Co-authors
4 total
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia; Amazon Scholar
Kenny Ballou
California State University San Marcos
Sebastian Elbaum
Professor of Computer Science, University of Virginia
Robert Dyer
Assistant Professor, University of Nebraska-Lincoln
