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 BibTeX Entries

Noam Rinetzky's BibTeX Entries

POPL05:

@Techreport{TR:RBRSW04,
@INPROCEEDINGS{POPL:RBRSW05,
  Author=  "N. Rinetzky and J. Bauer and T. Reps and  M. Sagiv and R. Wilhelm",
  Title="A~Semantics for Procedure Local Heaps and its Abstractions",
  booktitle="32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)",
  year = 2005
}

TAU TR 26/04:

@Techreport{TR:RBRSW04,
@Techreport{TR:RSY04,
Author=  "N. Rinetzky and M. Sagiv and E. Yahav",
Title="Interprocedural Functional Shape Analysis using Local Heaps",
INSTITUTION = "Tel Aviv Uni.",
TYPE = "Tech. Rep.",
NUMBER = "26",
MONTH = nov,
YEAR = 2004,
Note = "Available at ``\textit{http://www.math.tau.ac.il/}$\sim$\textit{maon}''"
}

AVACS TR 1:

@Techreport{TR:RBRSW04,
Author=  "N. Rinetzky and J. Bauer and T. Reps and  M. Sagiv and R. Wilhelm",
Title="A~Semantics for Procedure Local Heaps and its Abstractions",
INSTITUTION = "AVACS",
TYPE = "Tech. Rep.",
NUMBER = "1",
MONTH = sep,
YEAR = 2004,
Note = "Available at ``\textit{http://www.avacs.org}''"
}

MASS03:

@ARTICLE{IBMHRL:mass03,
  author = "A. Azagury and V. Dreizin and M. Factor and E. Henis and D. Naor and N. Rinetzky and O. Rodeh and J. Satran and A. Tavory and L. Yerushalmi",
  title = "Towards an Object Store",
  journal = "20 th IEEE/11 th NASA Goddard Conference on Mass Storage Systems and Technologies (MSS'03)",
  pages = "165--176", 
  year = "2003"
}

SISW02:

@ARTICLE{IBMHRL:sisw02,
  author =       "A. Azagury and R. Canetti and M. Factor and S. Halevi and E. Henis and D. Naor and N. Rinetzky and O. Rodeh and J. Satran",
  journal =      "IEEE International Security In Storage Workshop",
  title =        "A Two Layered Approach for Securing an Object Store Network",
  pages =        "10--23",
  year =         "2002"
}

CC01:

@article{RS:CC01, 
    author = "Noam Rinetzky and Mooly Sagiv", 
    title = "Interprocedural Shape Analysis for Recursive Programs", 
    journal = "Lecture Notes in Computer Science", 
    volume = "2027", 
    pages = "133--149", 
    year = "2001" 
}

MsC:

@MastersThesis{Rinetzky:Master01,
    Author="Noam Rinetzky",
    School="Technion Israel Institute of Technology",
    Year=2001,
    Address= "Haifa, Israel",
}