Skip to content
cs-conference-ranking.org

Elena Sherman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

9

Active years

2010–2026

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2026TACASDemonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP.Charles Moloney, Robert Dyer, Elena Sherman
2023ASTStructural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
2023ATVAMinimally Comparing Relational Abstract Domains.Kenny Ballou, Elena Sherman
2023SGAIConfidence Preservation Property in Knowledge Distillation Abstractions.Dmitry Vengertsev, Elena Sherman
2023TASEIdentifying Minimal Changes in the Zone Abstract Domain.Kenny Ballou, Elena Sherman
2020AAAIRecurrent Neural Network Properties and their Verification with Monte Carlo Techniques.Dmitry Vengertsev, Elena Sherman
2019IDEASFormal specification and verification of user-centric privacy policies for ubiquitous systems.Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan
2018ISSTARedesigning Soot's data-flow analysis framework for abstract interpretation.Elena Sherman
2018TACASStructurally Defined Conditional Data-Flow Static Analysis.Elena Sherman, Matthew B. Dwyer
2010CADEA Slice-Based Decision Procedure for Type-Based Partial Orders.Elena Sherman, Brady J. Garvin, Matthew B. Dwyer