Noam Rinetzky's Home Page

Contacts

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

MsC

Publications

Conference Publications

• 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
  [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.
  [bib] [pdf] [ps] [talk]
• 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.
  [bib] [pdf]
• 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.
  [bib] [pdf] [talk]

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
  SISW '02: 1st International IEEE Security in Storage Workshop, Greenbelt, Maryland, USA, Greenbelt, Maryland, USA, pages: 10--23.
  [bib] [pdf]

Technical Reports

• 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 to appear 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

• 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