Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Noam Rinetzky's Home Page

Noam Rinetzky's Home Page

I'm a PhD student at the Computer Science Dept. of Tel Aviv University.

Curriculum Vitae

Contacts

Personal:

Address: Louis Marshal St' 8; Tel Aviv 62668; Israel

Phone: 03-5443224

Mobile: 050-7520916

email: noam_rinetzky@hotmail.com

University:

Room: Open Space; Schriber Bld.; Tel Aviv University

Phone: 03-6405358

email: maon@post.tau.ac.il

Teaching Assistant

Program analysis; Spring, 2003-2004

Workshop in Computer Science; Spring, 2004-2005

Program analysis; Spring, 2004-2005

Research

Research Intrests:

Program analysis

Shape analysis

Program understanding

Software design

Phd

My thesis advisor is Mooly Sagiv.

MsC

I did my Masters degree in the Computer Science Dept. of the Technion under the supervision of Mooly Sagiv and Orna Grumberg. My MsC. thesis topic was "Interprocedural Shape Analysis". BibTEX, PDF

Publications

Conference Publications

A semantics for procedure local heaps and its abstractions. N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. In the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005. BibTEX, PDF
Towards an object store. A. Azagury, V. Dreizin, M. Factor, E. Henis, D. Naor, N. Rinetzky, O. Rodeh, J. Satran, A. Tavory, and L. Yerushalmi. In the 20th IEEE Symposium on Mass Storage Systems and Technologies, 2003, pages: 165--176. BibTEX, PDF
Interprocedural shape analysis for recursive programs. N. Rinetzky and M. Sagiv. International Conference on Compiler Construction, 2001, pages: 133--149. BibTEX, PDF

Workshop Publications

A Two-layered approach for securing an object store network. A. Azagury, R. Canetti, M. Factor, S. Halevi, E. Henis, D. Naor, N. Rinetzky, O. Rodeh, and J. Satran. IEEE International Security In Storage Workshop, 2002, pages: 10--23. BibTEX, PDF

Technical Reports

Interprocedural functional shape analysis using local heaps. N. Rinetzky, M. Sagiv, and E Yahav. TR-26/04, School of Computer Science, Tel Aviv University, November 2004. BibTEX, PDF, PS (summarized version submitted to publication) 28-Dec-2004: Empirical results updated!
A semantics for procedure local heaps and its abstraction. N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. AVACS Technical Report No. 1, SFB/TR 14 AVACS, October 2004. BibTEX, PDF, PS (summarized version appeared in POPL 2005)

Personal

The page's

count says that you are visitor number

Free counter