Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ran Shaham
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.