Jaime Quinonez

	2009
3		Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009)
	2008
2		Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst: Inference of Reference Immutability. ECOOP 2008: 616-641
	2007
1		Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst: Tools for enforcing and inferring reference immutability in Java. OOPSLA Companion 2007: 866-867

Coauthor Index

1	Shay Artzi	[3]
2	Telmo Luis Correa Jr.	[1]
3	Michael D. Ernst	[1] [2] [3]
4	Adam Kiezun	[3]
5	Matthew S. Tschantz	[2]