Greta Yorsh

2008
15	EE	Greta Yorsh, Eran Yahav, Satish Chandra: Generating precise and concise procedure summaries. POPL 2008: 221-234
2007
14	EE	Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm: Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): (2007)
13	EE	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures CoRR abs/0705.3610: (2007)
12	EE	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A logic of reachable patterns in linked data-structures. J. Log. Algebr. Program. 73(1-2): 111-142 (2007)
2006
11	EE	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures. FoSSaCS 2006: 94-110
10	EE	Greta Yorsh, Thomas Ball, Mooly Sagiv: Testing, abstraction, theorem proving: better together! ISSTA 2006: 145-156
2005
9	EE	Greta Yorsh, Madanlal Musuvathi: A Combination Method for Generating Interpolants. CADE 2005: 353-368
8	EE	Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, S. Srivastava, Greta Yorsh: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. CADE 2005: 99-115
7	EE	Thomas Ball, Orna Kupferman, Greta Yorsh: Abstraction for Falsification. CAV 2005: 67-81
6	EE	Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv: Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Electr. Notes Theor. Comput. Sci. 131: 125-138 (2005)
2004
5	EE	Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Verification via Structure Simulation. CAV 2004: 281-294
4	EE	Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. CSL 2004: 160-174
3	EE	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv: Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. TACAS 2004: 530-545
2	EE	Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Symbolic Implementation of the Best Transformer. VMCAI 2004: 252-266
2003
1	EE	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm: Logical Characterizations of Heap Abstractions CoRR cs.LO/0312014: (2003)

Coauthor Index

1	Thomas Ball	[7] [10]
2	Ahmed Bouajjani	[11] [12] [13]
3	Satish Chandra	[15]
4	Neil Immerman	[4] [5] [8]
5	Orna Kupferman	[7]
6	Tal Lev-Ami	[8]
7	Antoine Meyer	[11] [12] [13]
8	Madanlal Musuvathi	[9]
9	Alexander Moshe Rabinovich (Alexander Rabinovich)	[4] [5] [11] [12] [13]
10	Thomas W. Reps	[1] [2] [3] [4] [5] [6] [8] [14]
11	Shmuel Sagiv (Mooly Sagiv)	[1] [2] [3] [4] [5] [6] [8] [10] [11] [12] [13] [14]
12	Alexey Skidanov	[6]
13	S. Srivastava	[8]
14	Reinhard Wilhelm	[1] [14]
15	Eran Yahav	[15]