BibTeX records: Ran Shaham

download as .bib file

@inproceedings{DBLP:conf/aimech/BucherIGCSD16,
  author       = {Izhak Bucher and
                  Dotan Ilssar and
                  Ran Gabai and
                  Nadav Cohen and
                  Ran Shaham and
                  Solomon Davis},
  title        = {Controlled acoustic levitation - physical model and real-time digital
                  implementation},
  booktitle    = {{IEEE} International Conference on Advanced Intelligent Mechatronics,
                  {AIM} 2016, Banff, AB, Canada, July 12-15, 2016},
  pages        = {452--456},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/AIM.2016.7576809},
  doi          = {10.1109/AIM.2016.7576809},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimech/BucherIGCSD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChilimbiS06,
  author       = {Trishul M. Chilimbi and
                  Ran Shaham},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Cache-conscious coallocation of hot data streams},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {252--262},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134011},
  doi          = {10.1145/1133981.1134011},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChilimbiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ArnoldMSS06,
  author       = {Gilad Arnold and
                  Roman Manevich and
                  Mooly Sagiv and
                  Ran Shaham},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Combining Shape Analyses by Intersecting Abstractions},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_3},
  doi          = {10.1007/11609773\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/ArnoldMSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShahamYKS05,
  author       = {Ran Shaham and
                  Eran Yahav and
                  Elliot K. Kolodner and
                  Mooly Sagiv},
  title        = {Establishing local temporal heap safety properties with applications
                  to compile-time memory management},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {264--289},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.010},
  doi          = {10.1016/J.SCICO.2005.02.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/ShahamYKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/SadeSS05,
  author       = {Yair Sade and
                  Shmuel Sagiv and
                  Ran Shaham},
  editor       = {Rastislav Bod{\'{\i}}k},
  title        = {Optimizing {C} Multithreaded Memory Management Using Thread-Local
                  Storage},
  booktitle    = {Compiler Construction, 14th International Conference, {CC} 2005, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3443},
  pages        = {137--155},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31985-6\_10},
  doi          = {10.1007/978-3-540-31985-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/SadeSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Shaham03,
  author       = {Ran Shaham},
  title        = {Heap-liveness-based memory management : potential, tools, and algorithms},
  school       = {Tel Aviv University, Israel},
  year         = {2003},
  url          = {https://tau.primo.exlibrisgroup.com/permalink/972TAU\_INST/bai57q/alma990020396560204146},
  timestamp    = {Fri, 03 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Shaham03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ShahamYKS03,
  author       = {Ran Shaham and
                  Eran Yahav and
                  Elliot K. Kolodner and
                  Shmuel Sagiv},
  editor       = {Radhia Cousot},
  title        = {Establishing Local Temporal Heap Safety Properties with Applications
                  to Compile-Time Memory Management},
  booktitle    = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
                  CA, USA, June 11-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2694},
  pages        = {483--503},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44898-5\_27},
  doi          = {10.1007/3-540-44898-5\_27},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ShahamYKS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/ShahamKS02,
  author       = {Ran Shaham and
                  Elliot K. Kolodner and
                  Shmuel Sagiv},
  editor       = {Hans{-}Juergen Boehm and
                  David Detlefs},
  title        = {Estimating the impact of heap liveness information on space consumption
                  in Java},
  booktitle    = {Proceedings of The Workshop on Memory Systems Performance {(MSP} 2002),
                  June 16, 2002 and The International Symposium on Memory Management
                  {(ISMM} 2002), June 20-21, 2002, Berlin, Germany},
  pages        = {171--182},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/512429.512437},
  doi          = {10.1145/512429.512437},
  timestamp    = {Fri, 25 Jun 2021 17:17:37 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/ShahamKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShahamKS01,
  author       = {Ran Shaham and
                  Elliot K. Kolodner and
                  Shmuel Sagiv},
  editor       = {Michael Burke and
                  Mary Lou Soffa},
  title        = {Heap Profiling for Space-Efficient Java},
  booktitle    = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
                  20-22, 2001},
  pages        = {104--113},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378795.378820},
  doi          = {10.1145/378795.378820},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ShahamKS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/ShahamKS00,
  author       = {Ran Shaham and
                  Elliot K. Kolodner and
                  Shmuel Sagiv},
  editor       = {David A. Watt},
  title        = {Automatic Removal of Array Memory Leaks in Java},
  booktitle    = {Compiler Construction, 9th International Conference, {CC} 2000, Held
                  as Part of the European Joint Conferences on the Theory and Practice
                  of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1781},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46423-9\_4},
  doi          = {10.1007/3-540-46423-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/ShahamKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/ShahamKS00,
  author       = {Ran Shaham and
                  Elliot K. Kolodner and
                  Shmuel Sagiv},
  editor       = {Craig Chambers and
                  Antony L. Hosking},
  title        = {On the Effectiveness of {GC} in Java},
  booktitle    = {{ISMM} 2000, International Symposium on Memory Management, Minneapolis,
                  Minnesota, USA, October 15-16, 2000 (in conjunction with {OOPSLA}
                  2000), Conference Proceedings},
  pages        = {12--17},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/362422.362430},
  doi          = {10.1145/362422.362430},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/ShahamKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics