Elena Sherman

According to our database, Elena Sherman authored at least 23 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Matt Walker, Hongru Wang, Qiuchen Yan

ACM SIGSOFT Softw. Eng. Notes, January, 2023

Identifying Minimal Changes in the Zone Abstract Domain.

Kenny Ballou, Elena Sherman

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Confidence Preservation Property in Knowledge Distillation Abstractions.

Dmitry Vengertsev, Elena Sherman

Proceedings of the Artificial Intelligence XL, 2023

Minimally Comparing Relational Abstract Domains.

Kenny Ballou, Elena Sherman

Proceedings of the Automated Technology for Verification and Analysis, 2023

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.

Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022

Incremental Transitive Closure for Zonal Abstract Domain.

Kenny Ballou, Elena Sherman

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

PAClab: a program analysis collaboratory.

Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques.

Dmitry Vengertsev, Elena Sherman

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Accurate String Constraints Solution Counting with Weighted Automata.

Elena Sherman, Andrew Harris

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Formal specification and verification of user-centric privacy policies for ubiquitous systems.

Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan

Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

2018

Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations.

Maria Paquin, Elena Sherman, Amit Jain

ACM SIGSOFT Softw. Eng. Notes, 2018

Structurally Defined Conditional Data-Flow Static Analysis.

Elena Sherman, Matthew B. Dwyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS).

Elena Sherman, Robert Dyer

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Redesigning Soot's data-flow analysis framework for abstract interpretation.

Elena Sherman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

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, Randall Schubert, Peter Brewer, Louis Yang, Russell Mott, Geoff McKnight

CoRR, 2017

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

Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain.

Justin Lloyd, Elena Sherman

ACM SIGSOFT Softw. Eng. Notes, 2015

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T).

Elena Sherman, Matthew B. Dwyer

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

User-defined backtracking criteria for symbolic execution.

Scott Kausler, Elena Sherman

ACM SIGSOFT Softw. Eng. Notes, 2014

Evaluation of string constraint solvers in the context of symbolic execution.

Scott Kausler, Elena Sherman

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2010

A Slice-Based Decision Procedure for Type-Based Partial Orders.

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Saturation-based testing of concurrent programs.

Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009