default search action
Elena Sherman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i5]Dmitry Vengertsev, Elena Sherman:
Confidence Preservation Property in Knowledge Distillation Abstractions. CoRR abs/2401.11365 (2024) - [i4]Kenny Ballou, Elena Sherman:
muRelBench: MicroBenchmarks for Zonotope Domains. CoRR abs/2404.16243 (2024) - 2023
- [j6]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:
The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 48(1): 19-21 (2023) - [c16]Soha Hussein, Stephen McCamant, Elena Sherman
, Vaibhav Sharma, Mike Whalen:
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST 2023: 79-89 - [c15]Kenny Ballou
Minimally Comparing Relational Abstract Domains. ATVA 2023: 159-175 - [c14]Dmitry Vengertsev
Confidence Preservation Property in Knowledge Distillation Abstractions. SGAI Conf. 2023: 59-72 - [c13]Kenny Ballou
Identifying Minimal Changes in the Zone Abstract Domain. TASE 2023: 221-239 - [i3]Kenny Ballou, Elena Sherman:
Identifying Minimal Changes in the Zone Abstract Domain. CoRR abs/2304.14550 (2023) - [i2]Kenny Ballou, Elena Sherman:
Minimally Comparing Relational Abstract Domains. CoRR abs/2305.16212 (2023) - 2022
- [c12]Kenny Ballou
Incremental Transitive Closure for Zonal Abstract Domain. NFM 2022: 800-808 - 2020
- [j5]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [c11]Dmitry Vengertsev, Elena Sherman:
Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques. SafeAI@AAAI 2020: 178-185 - [c10]Rebecca Brunner, Robert Dyer
PAClab: a program analysis collaboratory. ESEC/SIGSOFT FSE 2020: 1616-1620
2010 – 2019
- 2019
- [c9]Rezvan Joshaghani, Stacy Black, Elena Sherman
Formal specification and verification of user-centric privacy policies for ubiquitous systems. IDEAS 2019: 31:1-31:10 - [c8]Elena Sherman
Accurate String Constraints Solution Counting with Weighted Automata. ASE 2019: 440-452 - 2018
- [j4]Maria Paquin, Elena Sherman
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [c7]Elena Sherman
Redesigning Soot's data-flow analysis framework for abstract interpretation. ISSTA/ECOOP Workshops 2018: 78-84 - [c6]Elena Sherman
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS). ESEC/SIGSOFT FSE 2018: 760-764 - [c5]Elena Sherman, Matthew B. Dwyer:
Structurally Defined Conditional Data-Flow Static Analysis. TACAS (2) 2018: 249-265 - 2017
- [i1]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:
Highly curved image sensors: a practical approach for improved optical performance. CoRR abs/1706.07041 (2017) - 2015
- [j3]Justin Lloyd, Elena Sherman
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j2]Elena Sherman
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis. ACM Trans. Softw. Eng. Methodol. 24(3): 15:1-15:33 (2015) - [c4]Elena Sherman, Matthew B. Dwyer
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T). ASE 2015: 608-618 - 2014
- [j1]Scott Kausler, Elena Sherman
User-defined backtracking criteria for symbolic execution. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c3]Scott Kausler, Elena Sherman
Evaluation of string constraint solvers in the context of symbolic execution. ASE 2014: 259-270 - 2013
- [e2]Patrick Lam, Elena Sherman:
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. ACM 2013, ISBN 978-1-4503-2201-0 [contents] - 2012
- [e1]Eric Bodden, Laurie J. Hendren, Patrick Lam, Elena Sherman:
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012. ACM 2012, ISBN 978-1-4503-1490-9 [contents] - 2010
- [c2]Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
A Slice-Based Decision Procedure for Type-Based Partial Orders. IJCAR 2010: 156-170
2000 – 2009
- 2009
- [c1]Elena Sherman
Saturation-based testing of concurrent programs. ESEC/SIGSOFT FSE 2009: 53-62
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: