معرفی
Elena Sherman is an Associate Professor in the Department of Computer Science at Boise State University. She earned her Ph.D. and Master's degrees in Computer Science from the University of Nebraska-Lincoln in 2012 and earlier. Her research focuses on program analysis, static analysis, formal verification, and symbolic execution. She actively contributes to the software engineering community through organizing workshops like the Java Pathfinder Workshop and serving on conference program committees and journal review boards. Her work emphasizes tool development, such as PAClab, and advancing techniques in abstract domains and data-flow analysis.
- Education:
- Ph.D. in Computer Science, University of Nebraska-Lincoln, 2012
- Master's in Computer Science, University of Nebraska-Lincoln
- Research Interests:
- Program Analysis
- Formal Verification
- Symbolic Execution
- Data-Flow Analysis
- Static Analysis
- Recent Research Trends:
- Focus on abstract domains (e.g., zonotope, zone domains)
- Development of benchmarks like muRelBench
- Integration of Monte Carlo techniques for neural network verification
- Notable Achievements:
- Organizer of the Java Pathfinder Workshop series
- Co-developer of PAClab, a program analysis collaboratory
- Labs/Teams:
- PAClab (Program Analysis Collaboratory)
۰مقاله منتشرشده
