Saturation-based testing of concurrent programs. - Elena Sherman; Matthew B. Dwyer; Sebastian G. Elbaum (ESEC/SIGSOFT FSE, 2009)

A Slice-Based Decision Procedure for Type-Based Partial Orders. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (IJCAR, 2010)

Evaluation of string constraint solvers in the context of symbolic execution. - Scott Kausler; Elena Sherman (ASE, 2014)

User-defined backtracking criteria for symbolic execution. - Scott Kausler; Elena Sherman (ACM SIGSOFT Softw. Eng. Notes, 2014)

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). - Elena Sherman; Matthew B. Dwyer (ASE, 2015)

Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. - Justin Lloyd; Elena Sherman (ACM SIGSOFT Softw. Eng. Notes, 2015)

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. - Elena Sherman; Brady J. Garvin; Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol., 2015)

Highly curved image sensors: a practical approach for improved optical performance. - Brian Guenter; Neel Joshi; Richard Stoakley; Andrew Keefe; Kevin Geary; Ryan Freeman; Jake Hundley; Pamela Patterson; David Hammon; Guillermo Herrera; Elena Sherman; Andrew Nowak; et al. (CoRR, 2017)

Redesigning Soot's data-flow analysis framework for abstract interpretation. - Elena Sherman (ISSTA/ECOOP Workshops, 2018)

Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS). - Elena Sherman; Robert Dyer 001 (ESEC/SIGSOFT FSE, 2018)

Structurally Defined Conditional Data-Flow Static Analysis. - Elena Sherman; Matthew B. Dwyer (TACAS (2), 2018)

Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations. - Maria Paquin; Elena Sherman; Amit Jain (ACM SIGSOFT Softw. Eng. Notes, 2018)

Formal specification and verification of user-centric privacy policies for ubiquitous systems. - Rezvan Joshaghani; Stacy Black; Elena Sherman; Hoda Mehrpouyan (IDEAS, 2019)

Accurate String Constraints Solution Counting with Weighted Automata. - Elena Sherman; Andrew Harris (ASE, 2019)

Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques. - Dmitry Vengertsev; Elena Sherman (SafeAI@AAAI, 2020)

PAClab: a program analysis collaboratory. - Rebecca Brunner; Robert Dyer 001; Maria Paquin; Elena Sherman (ESEC/SIGSOFT FSE, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Incremental Transitive Closure for Zonal Abstract Domain. - Kenny Ballou; Elena Sherman (NFM, 2022)

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. - Soha Hussein; Stephen McCamant; Elena Sherman; Vaibhav Sharma 001; Mike Whalen (AST, 2023)

Minimally Comparing Relational Abstract Domains. - Kenny Ballou; Elena Sherman (ATVA, 2023)

Confidence Preservation Property in Knowledge Distillation Abstractions. - Dmitry Vengertsev; Elena Sherman (SGAI Conf., 2023)

Identifying Minimal Changes in the Zone Abstract Domain. - Kenny Ballou; Elena Sherman (TASE, 2023)

The Java Pathfinder Workshop 2022. - Elena Sherman; Yannic Noller; Cyrille Artho; Franck van Breugel; Anto Nanah Ji; John Kellerman; Parssa Khazra; Filip Kliber; Gaurang Kudale; Pavel Parízek; Corina S. Pasareanu; Ron Pressler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

muRelBench: MicroBenchmarks for Zonotope Domains. - Kenny Ballou; Elena Sherman (CoRR, 2024)