Elena Sherman

Assistant Professor
Department of Computer Science
College of Engineering
Boise State University
Boise, ID 83725

Contact information

Email: elenasherman@boisestate.edu
Office: CCP (City Center Plaza - Clearwater building) 353
Phone: 1-208-426-4030


Research interests and the list of publications can be found on the department's website faculty profile. I keep it current.

There are several github repositories that contain artifacts used in my publications:

JPF14 Program artifcats for JPF used in REU 15 paper Optimization and Assessment of Path Constraints in Symbolic Execution can be downloaded as a zip file artifacts.zip. The zip file includes are short readme, the paper describing how the artifacts were obtained and .jpf configuration files.

Upcoming events