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.

Contacts

University:

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

Phone: +972-3-6405358

email: maon 'at' post 'dot' tau 'dot' ac 'dot' 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". [bib] [pdf]

Publications on shape analysis

Journal Publications

On the Complexity of Partially-Flow-Sensitive Alias Analysis
N. Rinetzky, G. Ramalingam, M. Sagiv, and E. Yahav
to appear in TOPLAS: ACM Transactions on Programming Languages and Systems. © ACM
[abstract]

Conference Publications

Comparison under Abstraction for Verifying Linearizability
D. Amit, N. Rinetzky, T. Reps, M. Sagiv, and E. Yahav
CAV '07: 19th International Conference on Computer Aided Verification. © Springer-Verlag
[bib] [pdf] [ps]
CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
M. Vechev, E. Yahav, D.F. Bacon, and N.Rinetzky
PLDI '07: ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation. © ACM, (2007)
[pdf] [ps]
Modular shape analysis for dynamically encapsulated programs
N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, and E. Yahav
ESOP '07: 16th European Symposium on Programming, Braga (Portugal), 24 March - 1 April, 2007. © Springer-Verlag
[bib] [pdf] [ps] [talk]
Interprocedural shape analysis for cutpoint-free programs
N. Rinetzky, M. Sagiv, and E. Yahav
SAS '05: 12th International Static Analysis Symposium, London, September 7-9, 2005. © Springer-Verlag
[bib] [pdf] [ps] [talk]
A semantics for procedure local heaps and its abstractions
N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
POPL '05: 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, January 12-14, 2005, pages: 296--309. © ACM, (2005)
[bib] [pdf] [ps] [talk]
Interprocedural shape analysis for recursive programs
N. Rinetzky and M. Sagiv
CC '01: Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, pages: 133--149. © Springer-Verlag
[bib] [pdf] [talk]

Publications on storage systems

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
MSS '03: 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, April 7-10, 2003, San Diego, California, USA, pages: 165--176. © IEEE, (2003)
[bib] [pdf]
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
SISW '02: 1st International IEEE Security in Storage Workshop, Greenbelt, Maryland, USA, Greenbelt, Maryland, USA, pages: 10--23. © IEEE, (2002)
[bib] [pdf]

Technical Reports

Componentized Heap Abstraction
N. Rinetzky, G. Ramalingam, M. Sagiv, and E. Yahav
TR-164/06, School of Computer Science, Tel Aviv University, December 2006
[bib] [pdf] [ps]
Modular Shape Analysis for Dynamically Encapsulated Programs
N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, and E. Yahav
TR-107/06, School of Computer Science, Tel Aviv University, October 2006 (Updated January, 2007)
[bib] [pdf] [ps] (summarized version to appear in ESOP '07)
Interprocedural shape analysis for cutpoint-free programs
N. Rinetzky, M. Sagiv, and E. Yahav
TR-104/05, School of Computer Science, Tel Aviv University, April 2005
[bib] [pdf] [ps] (summarized version appeared in SAS '05)
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
[bib] [pdf] [ps]
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
[bib] [pdf] [ps] (summarized version appeared in POPL '05)

Talks

Modular shape analysis for dynamically encapsulated programs
29-Mar-2007 ESOP'07: 16th European Symposium on Programming [ppt]
Interprocedural shape analysis for cutpoint-free programs
23-Jun-2005 Dagstuhl seminar 05251: Types for Tools: Applications of Type Theoretic Techniques [ppt]
22-May-2005 Joint verification day (Tel Aviv University) [ppt] (with a very short introduction to interprocedural analysis)
A semantics for procedure local heaps and its abstractions
10-Aug-2005 Summer School Marktoberdorf 2005 (student's session) [ppt] (15 min.)
13-Jan-2005 POPL'05 [ppt] (30 min.)
10-Jan-2005 PL/SE Seminar (IBM WT.J. Watson research center) [ppt] (50 min.)
Interprocedural shape analysis for recursive programs
2-April-2001 CC '01 [ppt] (30 min.)

Personal

My art

The page's

count says that you are visitor number