Shaunak Chatterjee

	2009
3		Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen: SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400
2		Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A low-level memory model and an accompanying reachability predicate. STTT 11(2): 105-116 (2009)
	2007
1		Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33

Coauthor Index

1	Sudeep Juvekar	[3]
2	Shuvendu K. Lahiri	[1] [2]
3	Shaz Qadeer	[1] [2]
4	Zvonimir Rakamaric	[1] [2]
5	Koushik Sen	[3]

Colors in the list of coauthors