This is a list of Yoav Zibin's PAG-related publications.
Also see all PAG authors, all PAG publications by date, all PAG publications by topic.
“Ownership and immutability in generic Java”
by Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, and Michael D. Ernst.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2010), (Revo, NV, USA), October 19-21, 2010.
Details.
Download:
PDF,
TR with proofs,
implementation.
“Featherweight Ownership and Immutability Generic Java (FOIGJ) — technical report”
by Yoav Zibin, School of Engineering and Computer Science.
VUW technical report 10-05, (Wellington, New Zealand), July 2010. http://ecs.victoria.ac.nz/Main/TechnicalReportSeries.
Details.
Download:
PDF.
A previous version appeared as VUW technical report 10-05, (Wellington, New Zealand), Mar. 2010. http://ecs.victoria.ac.nz/Main/TechnicalReportSeries.
“Featherweight Ownership and Immutability Generic Java (FOIGJ)”
by Alex Potanin, Paley Li, Yoav Zibin, and Michael D. Ernst, School of Engineering and Computer Science.
VUW technical report 09-13, (Wellington, New Zealand), December 14, 2009.
Details.
Download:
PDF.
“Automatically patching errors in deployed software”
by Jeff H. Perkins, Sunghun Kim, Sam Larsen, Saman Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, and Martin Rinard.
In Proceedings of the 21st ACM Symposium on Operating Systems Principles, (Big Sky, MT, USA), October 12-14, 2009, pp. 87-102.
Details.
Download:
PDF,
Slides (PDF),
Slides (PowerPoint).
“Object and reference immutability using Java generics”
by Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kieżun, and Michael D. Ernst.
In ESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Dubrovnik, Croatia), September 5-7, 2007, pp. 75-84.
Details.
Download:
PDF,
PostScript,
IGJ implementation.
A tool demonstration appeared as
“Enforcing reference and object immutability in Java”
by Mahmood Ali, Yoav Zibin, Matthew M. Papi, and Michael D. Ernst.
In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2008), (Nashville, TN, USA), October 21-23, 2008.
A previous version appeared as
“Object and reference immutability using Java generics”
by Yoav Zibin, Alex Potanin, Shay Artzi, Adam Kieżun, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-018, (Cambridge, MA), March 16, 2007.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)
Back to Program Analysis Group authors