@inproceedings{ISSTA:LYCFRN08,
  author    = {A. Loginov and E. Yahav and S. Chandra and S. Fink and N. Rinetzky and M. G. Nanda},
  title     = {Verifying dereference safety via expanding-scope analysis},
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA)},
  year      = {2008},
  note      = {to appear}
}

@inproceedings{APLAS:GBCRS07,
  author    = {Alexey Gotsman and
               Josh Berdine and
               Byron Cook and
               Noam Rinetzky and
               Mooly Sagiv},
  title     = {Local Reasoning for Storable Locks and Threads},
  booktitle = {The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS)},
  year      = {2007},
  pages     = {19-37},
}

@inproceedings{Cav:AmitRRSY07,
  AUTHOR =       {Daphna Amit and Noam Rinetzky and Tom Reps and Mooly Sagiv and Eran Yahav},
  TITLE =        {Comparison under abstraction for verifying linearizability},
  booktitle =  {19th International Conference on Computer Aided Verification (CAV)},
  YEAR =         {2007}
}

@Techreport{TR:RRSY06,
Title="Componentized Heap Abstractions",
Author=  "N. Rinetzky and G. Ramalingam and  M. Sagiv and E. Yahav",
INSTITUTION = "Tel Aviv University",
TYPE = "Tech. Rep.",
NUMBER = "164",
MONTH = dec,
YEAR = 2006,
Note = "Available at ``\textit{http://www.cs.tau.ac.il/$\sim$maon}''"
}

@inproceedings{PLDI:VYBR07,
 author = {Martin T. Vechev and Eran Yahav and David F. Bacon and Noam Rinetzky},
 title = {CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors},
 booktitle = {Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (PLDI)},
 year = {2007},
 pages = {456--467},
 location = {San Diego, California, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@INPROCEEDINGS{ESOP:RPHRSY07,
Title="Modular Shape Analysis for Dynamically Encapsulated Programs",
Author=  "N. Rinetzky and A. Poetzsch-Heffter and G. Ramalingam and  M. Sagiv and E. Yahav",
booktitle = "16th European Symposium on Programming (ESOP)",
YEAR = 2007
}

@Techreport{TR:RPHRSY06,
Title="Modular Shape Analysis for Dynamically Encapsulated Programs",
Author=  "N. Rinetzky and A. Poetzsch-Heffter and G. Ramalingam and  M. Sagiv and E. Yahav",
INSTITUTION = "Tel Aviv University",
TYPE = "Tech. Rep.",
NUMBER = "107",
MONTH = oct,
YEAR = 2006,
Note = "Available at ``\textit{http://www.cs.tau.ac.il/$\sim$maon}''"
}

@INPROCEEDINGS{SAS:RSY05,
Author=  "N. Rinetzky and M. Sagiv and E. Yahav",
Title="Interprocedural Shape Analysis for Cutpoint-Free Programs",
booktitle="12th International Static Analysis Symposium (SAS)"
YEAR = 2005,
}

@Techreport{TR:RSY05,
Author=  "N. Rinetzky and M. Sagiv and E. Yahav",
Title="Interprocedural Shape Analysis for Cutpoint-Free Programs",
INSTITUTION = "Tel Aviv Uni.",
TYPE = "Tech. Rep.",
NUMBER = "104/05",
MONTH = apr,
YEAR = 2005,
Note = "Available at ``\textit{http://www.math.tau.ac.il/}$\sim$\textit{maon}''"
}

@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)",
  year = 2005
}

@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}''"
}

@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}''"
}

@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"
}

@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"
}

@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"
}

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