Gilad Arnold

	2007
3		Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
	2006
2		Gilad Arnold: Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. SAS 2006: 204-220
1		Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham: Combining Shape Analyses by Intersecting Abstractions. VMCAI 2006: 33-48

Coauthor Index

1	Rastislav Bodík	[3]
2	Roman Manevich	[1]
3	Shmuel Sagiv (Mooly Sagiv)	[1]
4	Vijay A. Saraswat	[3]
5	Sanjit A. Seshia	[3]
6	Ran Shaham	[1]
7	Armando Solar-Lezama	[3]
8	Liviu Tancau	[3]

Colors in the list of coauthors