Jaime Quinonez

According to our database, Jaime Quinonez authored at least 3 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Parameter reference immutability: formal definition, inference tool, and comparison.

Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst

Autom. Softw. Eng., 2009

2008

Inference of Reference Immutability.

Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst

Proceedings of the ECOOP 2008, 2008

2007

Tools for enforcing and inferring reference immutability in Java.

Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007