Elena Sherman

31 papers A* 3A 1B 1C 2Misc 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP.
TACAS (2)
Charles Moloney, Robert Dyer, Elena Sherman
2026 J jnl
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP.
CoRR
Charles Moloney, Robert Dyer, Elena Sherman
2024 J jnl
Confidence Preservation Property in Knowledge Distillation Abstractions.
CoRR
Dmitry Vengertsev, Elena Sherman
2024 J jnl
muRelBench: MicroBenchmarks for Zonotope Domains.
CoRR
Kenny Ballou, Elena Sherman
2023 — conf
Confidence Preservation Property in Knowledge Distillation Abstractions.
SGAI Conf.
Dmitry Vengertsev, Elena Sherman
2023 Misc conf
Identifying Minimal Changes in the Zone Abstract Domain.
TASE
Kenny Ballou, Elena Sherman
2023 J jnl
Identifying Minimal Changes in the Zone Abstract Domain.
CoRR
Kenny Ballou, Elena Sherman
2023 B conf
Minimally Comparing Relational Abstract Domains.
ATVA
Kenny Ballou, Elena Sherman
2023 J jnl
Minimally Comparing Relational Abstract Domains.
CoRR
Kenny Ballou, Elena Sherman
2023 C conf
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
AST
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
2023 J jnl
The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes
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
2022 — conf
Incremental Transitive Closure for Zonal Abstract Domain.
NFM
Kenny Ballou, Elena Sherman
2020 — conf
PAClab: a program analysis collaboratory.
ESEC/SIGSOFT FSE
Rebecca Brunner, Robert Dyer, Maria Paquin, Elena Sherman
2020 — conf
Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques.
SafeAI@AAAI
Dmitry Vengertsev, Elena Sherman
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2019 A* conf
Accurate String Constraints Solution Counting with Weighted Automata.
ASE
Elena Sherman, Andrew Harris
2019 C conf
Formal specification and verification of user-centric privacy policies for ubiquitous systems.
IDEAS
Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan
2018 J jnl
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations.
ACM SIGSOFT Softw. Eng. Notes
Maria Paquin, Elena Sherman, Amit Jain
2018 — conf
Redesigning Soot's data-flow analysis framework for abstract interpretation.
ISSTA/ECOOP Workshops
Elena Sherman
2018 — conf
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS).
ESEC/SIGSOFT FSE
Elena Sherman, Robert Dyer
2018 — conf
Structurally Defined Conditional Data-Flow Static Analysis.
TACAS (2)
Elena Sherman, Matthew B. Dwyer
2017 J jnl
Highly curved image sensors: a practical approach for improved optical performance.
CoRR
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
2015 J jnl
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.
ACM Trans. Softw. Eng. Methodol.
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
2015 A* conf
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T).
ASE
Elena Sherman, Matthew B. Dwyer
2015 J jnl
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain.
ACM SIGSOFT Softw. Eng. Notes
Justin Lloyd, Elena Sherman
2014 A* conf
Evaluation of string constraint solvers in the context of symbolic execution.
ASE
Scott Kausler, Elena Sherman
2014 J jnl
User-defined backtracking criteria for symbolic execution.
ACM SIGSOFT Softw. Eng. Notes
Scott Kausler, Elena Sherman
2013 — ed.
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, SOAP 2013, Seattle, WA, USA, June 20, 2013
SOAP@PLDI
Patrick Lam, Elena Sherman
2012 — ed.
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012
SOAP@PLDI
Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman
2010 A conf
A Slice-Based Decision Procedure for Type-Based Partial Orders.
IJCAR
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
2009 — conf
Saturation-based testing of concurrent programs.
ESEC/SIGSOFT FSE
Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum