Jaime Quinonez

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

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