Noam Rinetzky's Publications

This page is out of date.

My new publication page can be found HERE.

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

• Verifying dereference safety via expanding-scope analysis
  A. Loginov , E. Yahav , S. Chandra , S. Fink , N. Rinetzky , M. G. Nanda
  ISSTA '08: International Symposium on Software Testing and Analysis. © ACM, (2008)
  [bib]
  to appear
• Local reasoning for storable locks and threads
  A. Gotsman, J. Berdine, B. Cook, N. Rinetzky, and M. Sagiv.
  APLAS'07: The Fifth ASIAN Symposium on Programming Languages and Systems. © Springer-Verlag
  [bib] [pdf] [tr pdf] [slides]
• 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] [D. Amit's MsC thesis] [slides]
• 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)
  [bib] [pdf] [ps] [slides]
• 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] [slides]
  Technical Report (TAU-CS-107/06): [tr pdf] [tr ps]
• 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] [tr pdf] [tr ps] [slides]
• 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] [tr pdf] [tr ps] [slides]
• 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] [MsC] [slides]

• Interprocedural shape analysis
  Noam Rinetzky
  Technion Israel Institute of Technology
  2001
  [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]
• 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]

Publications on data 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]