Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shmuel Sagiv
@article{DBLP:journals/pacmpl/TamirTMSHGS23,
author = {Orr Tamir and
Marcelo Taube and
Kenneth L. McMillan and
Sharon Shoham and
Jon Howell and
Guy Gueta and
Mooly Sagiv},
title = {Counterexample Driven Quantifier Instantiations with Applications
to Distributed Protocols},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1878--1904},
year = {2023},
url = {https://doi.org/10.1145/3622864},
doi = {10.1145/3622864},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/TamirTMSHGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AlbertGRRRS23,
author = {Elvira Albert and
Shelly Grossman and
Noam Rinetzky and
Clara Rodr{\'{\i}}guez{-}N{\'{u}}{\~{n}}ez and
Albert Rubio and
Mooly Sagiv},
title = {Relaxed Effective Callback Freedom: {A} Parametric Correctness Condition
for Sequential Modules With Callbacks},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {3},
pages = {2256--2273},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3178836},
doi = {10.1109/TDSC.2022.3178836},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/AlbertGRRRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FeldmanSSW22,
author = {Yotam M. Y. Feldman and
Mooly Sagiv and
Sharon Shoham and
James R. Wilcox},
title = {Property-directed reachability as abstract interpretation in the monotone
theory},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3498676},
doi = {10.1145/3498676},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FeldmanSSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhangSCPSS22,
author = {Wen Zhang and
Eric Sheng and
Michael Alan Chang and
Aurojit Panda and
Mooly Sagiv and
Scott Shenker},
editor = {Marcos K. Aguilera and
Hakim Weatherspoon},
title = {Blockaid: Data Access Policy Enforcement for Web Applications},
booktitle = {16th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2022, Carlsbad, CA, USA, July 11-13, 2022},
pages = {701--718},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/osdi22/presentation/zhang},
timestamp = {Tue, 11 Oct 2022 16:51:12 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ZhangSCPSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06911,
author = {Wen Zhang and
Eric Sheng and
Michael Alan Chang and
Aurojit Panda and
Mooly Sagiv and
Scott Shenker},
title = {Blockaid: Data Access Policy Enforcement for Web Applications},
journal = {CoRR},
volume = {abs/2205.06911},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06911},
doi = {10.48550/ARXIV.2205.06911},
eprinttype = {arXiv},
eprint = {2205.06911},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02330,
author = {Kalev Alpernas and
Aurojit Panda and
Mooly Sagiv},
title = {This is not the End: Rethinking Serverless Function Termination},
journal = {CoRR},
volume = {abs/2211.02330},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.02330},
doi = {10.48550/ARXIV.2211.02330},
eprinttype = {arXiv},
eprint = {2211.02330},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-02330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PadonHMPSS21,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal prophecy for proving temporal properties of infinite-state
systems},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {246--269},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00377-1},
doi = {10.1007/S10703-021-00377-1},
timestamp = {Fri, 12 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PadonHMPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FeldmanSSW21,
author = {Yotam M. Y. Feldman and
Mooly Sagiv and
Sharon Shoham and
James R. Wilcox},
title = {Learning the boundary of inductive invariants},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3434296},
doi = {10.1145/3434296},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FeldmanSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EladRIKS21,
author = {Neta Elad and
Sophie Rain and
Neil Immerman and
Laura Kov{\'{a}}cs and
Mooly Sagiv},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Summing up Smart Transitions},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {317--340},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_15},
doi = {10.1007/978-3-030-81685-8\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EladRIKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/AlpernasPRS21,
author = {Kalev Alpernas and
Aurojit Panda and
Leonid Ryzhyk and
Mooly Sagiv},
editor = {Carlo Curino and
Georgia Koutrika and
Ravi Netravali},
title = {Cloud-Scale Runtime Verification of Serverless Applications},
booktitle = {SoCC '21: {ACM} Symposium on Cloud Computing, Seattle, WA, USA, November
1 - 4, 2021},
pages = {92--107},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472883.3486977},
doi = {10.1145/3472883.3486977},
timestamp = {Sun, 31 Oct 2021 09:45:45 +0100},
biburl = {https://dblp.org/rec/conf/cloud/AlpernasPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07663,
author = {Neta Elad and
Sophie Rain and
Neil Immerman and
Laura Kov{\'{a}}cs and
Mooly Sagiv},
title = {Summing Up Smart Transitions},
journal = {CoRR},
volume = {abs/2105.07663},
year = {2021},
url = {https://arxiv.org/abs/2105.07663},
eprinttype = {arXiv},
eprint = {2105.07663},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-07663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00966,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
journal = {CoRR},
volume = {abs/2106.00966},
year = {2021},
url = {https://arxiv.org/abs/2106.00966},
eprinttype = {arXiv},
eprint = {2106.00966},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01030,
author = {Kalev Alpernas and
Aurojit Panda and
Alexander Rabinovich and
Mooly Sagiv and
Scott Shenker and
Sharon Shoham and
Yaron Velner},
title = {Some Complexity Results for Stateful Network Verification},
journal = {CoRR},
volume = {abs/2106.01030},
year = {2021},
url = {https://arxiv.org/abs/2106.01030},
eprinttype = {arXiv},
eprint = {2106.01030},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01240,
author = {Uri Kirstein and
Shelly Grossman and
Michael Mirkin and
James Wilcox and
Ittay Eyal and
Mooly Sagiv},
title = {Phoenix: {A} Formally Verified Regenerating Vault},
journal = {CoRR},
volume = {abs/2106.01240},
year = {2021},
url = {https://arxiv.org/abs/2106.01240},
eprinttype = {arXiv},
eprint = {2106.01240},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-00324,
author = {Yotam M. Y. Feldman and
Mooly Sagiv and
Sharon Shoham and
James R. Wilcox},
title = {Property-Directed Reachability as Abstract Interpretation in the Monotone
Theory},
journal = {CoRR},
volume = {abs/2111.00324},
year = {2021},
url = {https://arxiv.org/abs/2111.00324},
eprinttype = {arXiv},
eprint = {2111.00324},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-00324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlbertGRRRS20,
author = {Elvira Albert and
Shelly Grossman and
Noam Rinetzky and
Clara Rodr{\'{\i}}guez{-}N{\'{u}}{\~{n}}ez and
Albert Rubio and
Mooly Sagiv},
title = {Taming callbacks for smart contract modularity},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {209:1--209:30},
year = {2020},
url = {https://doi.org/10.1145/3428277},
doi = {10.1145/3428277},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlbertGRRRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FeldmanISS20,
author = {Yotam M. Y. Feldman and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
title = {Complexity and information in invariant inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {5:1--5:29},
year = {2020},
url = {https://doi.org/10.1145/3371073},
doi = {10.1145/3371073},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FeldmanISS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/Sagiv20,
author = {Mooly Sagiv},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Invited Talk: Harnessing {SMT} Solvers for Verifying Low Level Programs},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {2},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/abstract2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/Sagiv20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09909,
author = {Yotam M. Y. Feldman and
Mooly Sagiv and
Sharon Shoham and
James R. Wilcox},
title = {Learning the Boundary of Inductive Invariants},
journal = {CoRR},
volume = {abs/2008.09909},
year = {2020},
url = {https://arxiv.org/abs/2008.09909},
eprinttype = {arXiv},
eprint = {2008.09909},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlpernasPRSSSV19,
author = {Kalev Alpernas and
Aurojit Panda and
Alexander Rabinovich and
Mooly Sagiv and
Scott Shenker and
Sharon Shoham and
Yaron Velner},
title = {Some complexity results for stateful network verification},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {2},
pages = {191--231},
year = {2019},
url = {https://doi.org/10.1007/s10703-018-00330-9},
doi = {10.1007/S10703-018-00330-9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AlpernasPRSSSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FeldmanPISS19,
author = {Yotam M. Y. Feldman and
Oded Padon and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
title = {Bounded Quantifier Instantiation for Checking Inductive Invariants},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:18)2019},
doi = {10.23638/LMCS-15(3:18)2019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FeldmanPISS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FeldmanWSS19,
author = {Yotam M. Y. Feldman and
James R. Wilcox and
Sharon Shoham and
Mooly Sagiv},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Inferring Inductive Invariants from Phase Structures},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {405--425},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_23},
doi = {10.1007/978-3-030-25543-5\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FeldmanWSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/SureshLNRSO19,
author = {Lalith Suresh and
Jo{\~{a}}o Loff and
Nina Narodytska and
Leonid Ryzhyk and
Mooly Sagiv and
Brian Oki},
title = {Synthesizing Cluster Management Code for Distributed Systems},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2019, Bertinoro, Italy, May 13-15, 2019},
pages = {45--50},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317550.3321444},
doi = {10.1145/3317550.3321444},
timestamp = {Wed, 29 May 2019 13:38:37 +0200},
biburl = {https://dblp.org/rec/conf/hotos/SureshLNRSO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GershuniAGNNRRS19,
author = {Elazar Gershuni and
Nadav Amit and
Arie Gurfinkel and
Nina Narodytska and
Jorge A. Navas and
Noam Rinetzky and
Leonid Ryzhyk and
Mooly Sagiv},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Simple and precise static analysis of untrusted Linux kernel extensions},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1069--1084},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314590},
doi = {10.1145/3314221.3314590},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07739,
author = {Yotam M. Y. Feldman and
James R. Wilcox and
Sharon Shoham and
Mooly Sagiv},
title = {Inferring Inductive Invariants from Phase Structures},
journal = {CoRR},
volume = {abs/1905.07739},
year = {2019},
url = {http://arxiv.org/abs/1905.07739},
eprinttype = {arXiv},
eprint = {1905.07739},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03130,
author = {Lalith Suresh and
Jo{\~{a}}o Loff and
Faria Kalim and
Nina Narodytska and
Leonid Ryzhyk and
Sahan Gamage and
Brian Oki and
Zeeshan Lokhandwala and
Mukesh Hira and
Mooly Sagiv},
title = {Automating Cluster Management with Weave},
journal = {CoRR},
volume = {abs/1909.03130},
year = {2019},
url = {http://arxiv.org/abs/1909.03130},
eprinttype = {arXiv},
eprint = {1909.03130},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12256,
author = {Yotam M. Y. Feldman and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
title = {Complexity and Information in Invariant Inference},
journal = {CoRR},
volume = {abs/1910.12256},
year = {2019},
url = {http://arxiv.org/abs/1910.12256},
eprinttype = {arXiv},
eprint = {1910.12256},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-12256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlpernasFFRSSW18,
author = {Kalev Alpernas and
Cormac Flanagan and
Sadjad Fouladi and
Leonid Ryzhyk and
Mooly Sagiv and
Thomas Schmitz and
Keith Winstein},
title = {Secure serverless computing using dynamic information flow control},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {118:1--118:26},
year = {2018},
url = {https://doi.org/10.1145/3276488},
doi = {10.1145/3276488},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlpernasFFRSSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadonHLPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Giuliano Losa and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Reducing liveness to safety in first-order logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {26:1--26:33},
year = {2018},
url = {https://doi.org/10.1145/3158114},
doi = {10.1145/3158114},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadonHLPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GrossmanAGMRSZ18,
author = {Shelly Grossman and
Ittai Abraham and
Guy Golan{-}Gueta and
Yan Michalevsky and
Noam Rinetzky and
Mooly Sagiv and
Yoni Zohar},
title = {Online detection of effectively callback free objects with applications
to smart contracts},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {48:1--48:28},
year = {2018},
url = {https://doi.org/10.1145/3158136},
doi = {10.1145/3158136},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GrossmanAGMRSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NarodytskaKRSW18,
author = {Nina Narodytska and
Shiva Prasad Kasiviswanathan and
Leonid Ryzhyk and
Mooly Sagiv and
Toby Walsh},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Verifying Properties of Binarized Deep Neural Networks},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {6615--6624},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12206},
doi = {10.1609/AAAI.V32I1.12206},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NarodytskaKRSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PadonHMPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--11},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603008},
doi = {10.23919/FMCAD.2018.8603008},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PadonHMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NarodytskaBMS18,
author = {Nina Narodytska and
Nikolaj S. Bj{\o}rner and
Maria{-}Cristina V. Marinescu and
Mooly Sagiv},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Core-Guided Minimal Correction Set and Core Enumeration},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1353--1361},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/188},
doi = {10.24963/IJCAI.2018/188},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NarodytskaBMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TaubeLMPSSWW18,
author = {Marcelo Taube and
Giuliano Losa and
Kenneth L. McMillan and
Oded Padon and
Mooly Sagiv and
Sharon Shoham and
James R. Wilcox and
Doug Woos},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Modularity for decidability of deductive verification with applications
to distributed systems},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {662--677},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192414},
doi = {10.1145/3192366.3192414},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TaubeLMPSSWW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlpernasMPSSSV18,
author = {Kalev Alpernas and
Roman Manevich and
Aurojit Panda and
Mooly Sagiv and
Scott Shenker and
Sharon Shoham and
Yaron Velner},
editor = {Andreas Podelski},
title = {Abstract Interpretation of Stateful Networks},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {86--106},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_8},
doi = {10.1007/978-3-319-99725-4\_8},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/AlpernasMPSSSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KorneevNPTBS18,
author = {Svyatoslav Korneev and
Nina Narodytska and
Luca Pulina and
Armando Tacchella and
Nikolaj S. Bj{\o}rner and
Mooly Sagiv},
editor = {Olaf Beyersdorff and
Christoph M. Wintersteiger},
title = {Constrained Image Generation Using Binarized Neural Networks with
Decision Procedures},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2018 - 21st
International Conference, {SAT} 2018, Held as Part of the Federated
Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10929},
pages = {438--449},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94144-8\_27},
doi = {10.1007/978-3-319-94144-8\_27},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/KorneevNPTBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04032,
author = {Shelly Grossman and
Ittai Abraham and
Guy Golan{-}Gueta and
Yan Michalevsky and
Noam Rinetzky and
Mooly Sagiv and
Yoni Zohar},
title = {Online Detection of Effectively Callback Free Objects with Applications
to Smart Contracts},
journal = {CoRR},
volume = {abs/1801.04032},
year = {2018},
url = {http://arxiv.org/abs/1801.04032},
eprinttype = {arXiv},
eprint = {1801.04032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-04032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08795,
author = {Svyatoslav Korneev and
Nina Narodytska and
Luca Pulina and
Armando Tacchella and
Nikolaj S. Bj{\o}rner and
Mooly Sagiv},
title = {Constrained Image Generation Using Binarized Neural Networks with
Decision Procedures},
journal = {CoRR},
volume = {abs/1802.08795},
year = {2018},
url = {http://arxiv.org/abs/1802.08795},
eprinttype = {arXiv},
eprint = {1802.08795},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08984,
author = {Kalev Alpernas and
Cormac Flanagan and
Sadjad Fouladi and
Leonid Ryzhyk and
Mooly Sagiv and
Thomas Schmitz and
Keith Winstein},
title = {Secure Serverless Computing Using Dynamic Information Flow Control},
journal = {CoRR},
volume = {abs/1802.08984},
year = {2018},
url = {http://arxiv.org/abs/1802.08984},
eprinttype = {arXiv},
eprint = {1802.08984},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadonLSS17,
author = {Oded Padon and
Giuliano Losa and
Mooly Sagiv and
Sharon Shoham},
title = {Paxos made {EPR:} decidable reasoning about distributed protocols},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {108:1--108:31},
year = {2017},
url = {https://doi.org/10.1145/3140568},
doi = {10.1145/3140568},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadonLSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DilligDLMS17,
author = {Isil Dillig and
Thomas Dillig and
Boyang Li and
Kenneth L. McMillan and
Mooly Sagiv},
title = {Synthesis of circular compositional program proofs via abduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {5},
pages = {535--547},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0397-7},
doi = {10.1007/S10009-015-0397-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DilligDLMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/Golan-GuetaRSY17,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
title = {Automatic Scalable Atomicity via Semantic Locking},
journal = {{ACM} Trans. Parallel Comput.},
volume = {3},
number = {4},
pages = {21:1--21:29},
year = {2017},
url = {https://doi.org/10.1145/3040223},
doi = {10.1145/3040223},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topc/Golan-GuetaRSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrossmanCIRS17,
author = {Shelly Grossman and
Sara Cohen and
Shachar Itzhaky and
Noam Rinetzky and
Mooly Sagiv},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Verifying Equivalence of Spark Programs},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {282--300},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_15},
doi = {10.1007/978-3-319-63390-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrossmanCIRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BjornerMS17,
author = {Nikolaj S. Bj{\o}rner and
Maria{-}Cristina V. Marinescu and
Mooly Sagiv},
editor = {Christoph Benzm{\"{u}}ller and
Christine L. Lisetti and
Martin Theobald},
title = {Abduction for Learning Smart City Rules},
booktitle = {{GCAI} 2017, 3rd Global Conference on Artificial Intelligence, Miami,
FL, USA, 18-22 October 2017},
series = {EPiC Series in Computing},
volume = {50},
pages = {233--238},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/8jfk},
doi = {10.29007/8JFK},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BjornerMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/PandaSS17,
author = {Aurojit Panda and
Mooly Sagiv and
Scott Shenker},
editor = {Alexandra Fedorova and
Andrew Warfield and
Ivan Beschastnikh and
Rachit Agarwal},
title = {Verification in the Age of Microservices},
booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
pages = {30--36},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102980.3102986},
doi = {10.1145/3102980.3102986},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/hotos/PandaSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/ItzhakyKRSTVZ17,
author = {Shachar Itzhaky and
Tomer Kotek and
Noam Rinetzky and
Mooly Sagiv and
Orr Tamir and
Helmut Veith and
Florian Zuleger},
editor = {Michael Benedikt and
Giorgio Orsi},
title = {On the Automated Verification of Web Applications with Embedded {SQL}},
booktitle = {20th International Conference on Database Theory, {ICDT} 2017, March
21-24, 2017, Venice, Italy},
series = {LIPIcs},
volume = {68},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2017.16},
doi = {10.4230/LIPICS.ICDT.2017.16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/ItzhakyKRSTVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/PandaLASS17,
author = {Aurojit Panda and
Ori Lahav and
Katerina J. Argyraki and
Mooly Sagiv and
Scott Shenker},
editor = {Aditya Akella and
Jon Howell},
title = {Verifying Reachability in Networks with Mutable Datapaths},
booktitle = {14th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2017, Boston, MA, USA, March 27-29, 2017},
pages = {699--718},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/panda-mutable-datapaths},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/PandaLASS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FeldmanPISS17,
author = {Yotam M. Y. Feldman and
Oded Padon and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
editor = {Axel Legay and
Tiziana Margaria},
title = {Bounded Quantifier Instantiation for Checking Inductive Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {76--95},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_5},
doi = {10.1007/978-3-662-54577-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FeldmanPISS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FrumkinFLPSS17,
author = {Asya Frumkin and
Yotam M. Y. Feldman and
Ondrej Lhot{\'{a}}k and
Oded Padon and
Mooly Sagiv and
Sharon Shoham},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Property Directed Reachability for Proving Absence of Concurrent Modification
Errors},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {209--227},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_12},
doi = {10.1007/978-3-319-52234-0\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FrumkinFLPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OzeriPRS17,
author = {Or Ozeri and
Oded Padon and
Noam Rinetzky and
Mooly Sagiv},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Conjunctive Abstract Interpretation Using Paramodulation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {442--461},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_24},
doi = {10.1007/978-3-319-52234-0\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/OzeriPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-05904,
author = {Kalev Alpernas and
Roman Manevich and
Aurojit Panda and
Mooly Sagiv and
Scott Shenker and
Sharon Shoham and
Yaron Velner},
title = {Modular Safety Verification for Stateful Networks},
journal = {CoRR},
volume = {abs/1708.05904},
year = {2017},
url = {http://arxiv.org/abs/1708.05904},
eprinttype = {arXiv},
eprint = {1708.05904},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-05904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-06662,
author = {Nina Narodytska and
Shiva Prasad Kasiviswanathan and
Leonid Ryzhyk and
Mooly Sagiv and
Toby Walsh},
title = {Verifying Properties of Binarized Deep Neural Networks},
journal = {CoRR},
volume = {abs/1709.06662},
year = {2017},
url = {http://arxiv.org/abs/1709.06662},
eprinttype = {arXiv},
eprint = {1709.06662},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-06662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07191,
author = {Oded Padon and
Giuliano Losa and
Mooly Sagiv and
Sharon Shoham},
title = {Paxos Made {EPR:} Decidable Reasoning about Distributed Protocols},
journal = {CoRR},
volume = {abs/1710.07191},
year = {2017},
url = {http://arxiv.org/abs/1710.07191},
eprinttype = {arXiv},
eprint = {1710.07191},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08668,
author = {Yotam M. Y. Feldman and
Oded Padon and
Neil Immerman and
Mooly Sagiv and
Sharon Shoham},
title = {Bounded Quantifier Instantiation for Checking Inductive Invariants},
journal = {CoRR},
volume = {abs/1710.08668},
year = {2017},
url = {http://arxiv.org/abs/1710.08668},
eprinttype = {arXiv},
eprint = {1710.08668},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Sagiv16,
author = {Mooly Sagiv},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Simple Invariants for Proving the Safety of Distributed Protocols
(Invited Talk)},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.2},
doi = {10.4230/LIPICS.FSTTCS.2016.2},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Sagiv16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PadonMPSS16,
author = {Oded Padon and
Kenneth L. McMillan and
Aurojit Panda and
Mooly Sagiv and
Sharon Shoham},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Ivy: safety verification by interactive generalization},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {614--630},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908118},
doi = {10.1145/2908080.2908118},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PadonMPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PadonISKS16,
author = {Oded Padon and
Neil Immerman and
Sharon Shoham and
Aleksandr Karbyshev and
Mooly Sagiv},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Decidability of inferring inductive invariants},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {217--231},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837640},
doi = {10.1145/2837614.2837640},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PadonISKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VelnerAPRSSS16,
author = {Yaron Velner and
Kalev Alpernas and
Aurojit Panda and
Alexander Rabinovich and
Mooly Sagiv and
Scott Shenker and
Sharon Shoham},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Some Complexity Results for Stateful Network Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {811--830},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_51},
doi = {10.1007/978-3-662-49674-9\_51},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VelnerAPRSSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PandaLASS16,
author = {Aurojit Panda and
Ori Lahav and
Katerina J. Argyraki and
Mooly Sagiv and
Scott Shenker},
title = {Verifying Reachability in Networks with Mutable Datapaths},
journal = {CoRR},
volume = {abs/1607.00991},
year = {2016},
url = {http://arxiv.org/abs/1607.00991},
eprinttype = {arXiv},
eprint = {1607.00991},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PandaLASS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ItzhakyKRSTVZ16,
author = {Shachar Itzhaky and
Tomer Kotek and
Noam Rinetzky and
Mooly Sagiv and
Orr Tamir and
Helmut Veith and
Florian Zuleger},
title = {On the automated verification of web applications with embedded {SQL}},
journal = {CoRR},
volume = {abs/1610.02101},
year = {2016},
url = {http://arxiv.org/abs/1610.02101},
eprinttype = {arXiv},
eprint = {1610.02101},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ItzhakyKRSTVZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZivAGRS15,
author = {Ofri Ziv and
Alex Aiken and
Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv},
editor = {David Grove and
Stephen M. Blackburn},
title = {Composing concurrency control},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {240--249},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737970},
doi = {10.1145/2737924.2737970},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZivAGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PadonIKLSS15,
author = {Oded Padon and
Neil Immerman and
Aleksandr Karbyshev and
Ori Lahav and
Mooly Sagiv and
Sharon Shoham},
editor = {Sriram K. Rajamani and
David Walker},
title = {Decentralizing {SDN} Policies},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {663--676},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676990},
doi = {10.1145/2676726.2676990},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/PadonIKLSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Golan-GuetaRSY15,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Albert Cohen and
David Grove},
title = {Automatic scalable atomicity via semantic locking},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {31--41},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688511},
doi = {10.1145/2688500.2688511},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CastelnuovoNRSY15,
author = {Ghila Castelnuovo and
Mayur Naik and
Noam Rinetzky and
Mooly Sagiv and
Hongseok Yang},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Modularity in Lattices: {A} Case Study on the Correspondence Between
Top-Down and Bottom-Up Analysis},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {252--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_15},
doi = {10.1007/978-3-662-48288-9\_15},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/CastelnuovoNRSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PandaASSS15,
author = {Aurojit Panda and
Katerina J. Argyraki and
Mooly Sagiv and
Michael Schapira and
Scott Shenker},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {New Directions for Network Verification},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {209--220},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.209},
doi = {10.4230/LIPICS.SNAPL.2015.209},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/PandaASSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyBRST14,
author = {Shachar Itzhaky and
Nikolaj S. Bj{\o}rner and
Thomas W. Reps and
Mooly Sagiv and
Aditya V. Thakur},
editor = {Armin Biere and
Roderick Bloem},
title = {Property-Directed Shape Analysis},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {35--51},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_3},
doi = {10.1007/978-3-319-08867-9\_3},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyBRST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ZomerGRS14,
author = {Oren Zomer and
Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv},
editor = {Zhong Shao},
title = {Checking Linearizability of Encapsulated Extended Operations},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {311--330},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_17},
doi = {10.1007/978-3-642-54833-8\_17},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/ZomerGRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShachamYGABSV14,
author = {Ohad Shacham and
Eran Yahav and
Guy Golan{-}Gueta and
Alex Aiken and
Nathan Grasso Bronson and
Mooly Sagiv and
Martin T. Vechev},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Verifying atomicity via data independence},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {26--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610402},
doi = {10.1145/2610384.2610402},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShachamYGABSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BallBGIKSSV14,
author = {Thomas Ball and
Nikolaj S. Bj{\o}rner and
Aaron Gember and
Shachar Itzhaky and
Aleksandr Karbyshev and
Mooly Sagiv and
Michael Schapira and
Asaf Valadarsky},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {VeriCon: towards verifying controller programs in software-defined
networks},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {282--293},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594317},
doi = {10.1145/2594291.2594317},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallBGIKSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ItzhakyBILNS14,
author = {Shachar Itzhaky and
Anindya Banerjee and
Neil Immerman and
Ori Lahav and
Aleksandar Nanevski and
Mooly Sagiv},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Modular reasoning about heap paths via effectively propositional formulas},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {385--396},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535854},
doi = {10.1145/2535838.2535854},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ItzhakyBILNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Golan-GuetaRSY14,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Automatic semantic locking},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {385--386},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555281},
doi = {10.1145/2555243.2555281},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PandaLASS14,
author = {Aurojit Panda and
Ori Lahav and
Katerina J. Argyraki and
Mooly Sagiv and
Scott Shenker},
title = {Verifying Isolation Properties in the Presence of Middleboxes},
journal = {CoRR},
volume = {abs/1409.7687},
year = {2014},
url = {http://arxiv.org/abs/1409.7687},
eprinttype = {arXiv},
eprint = {1409.7687},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PandaLASS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DreyerFGHJSSW13,
author = {Derek Dreyer and
John Field and
Roberto Giacobazzi and
Michael Hicks and
Suresh Jagannathan and
Mooly Sagiv and
Peter Sewell and
Philip Wadler},
title = {Principles of {POPL}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {12--16},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502517},
doi = {10.1145/2502508.2502517},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DreyerFGHJSSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KreikerRRSWY13,
author = {J{\"{o}}rg Kreiker and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {414--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_17},
doi = {10.1007/978-3-642-37651-1\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KreikerRRSWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ItzhakyBINS13,
author = {Shachar Itzhaky and
Anindya Banerjee and
Neil Immerman and
Aleksandar Nanevski and
Mooly Sagiv},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Effectively-Propositional Reasoning about Reachability in Linked Data
Structures},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {756--772},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_53},
doi = {10.1007/978-3-642-39799-8\_53},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ItzhakyBINS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ItzhakyGIS13,
author = {Shachar Itzhaky and
Sumit Gulwani and
Neil Immerman and
Mooly Sagiv},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Solving Geometry Problems Using a Combination of Symbolic and Numerical
Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {457--472},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_31},
doi = {10.1007/978-3-642-45221-5\_31},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ItzhakyGIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TrippKS13,
author = {Omer Tripp and
Eric Koskinen and
Mooly Sagiv},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Turning nondeterminism into parallelism},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {589--604},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509533},
doi = {10.1145/2509136.2509533},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TrippKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Golan-GuetaRSY13,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Concurrent libraries with foresight},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {263--274},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462172},
doi = {10.1145/2491956.2462172},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Golan-GuetaRSY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiDDMS13,
author = {Boyang Li and
Isil Dillig and
Thomas Dillig and
Kenneth L. McMillan and
Mooly Sagiv},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Synthesis of Circular Compositional Program Proofs via Abduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {370--384},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_26},
doi = {10.1007/978-3-642-36742-7\_26},
timestamp = {Sun, 27 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiDDMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawkinsRASF12,
author = {Peter Hawkins and
Martin C. Rinard and
Alex Aiken and
Mooly Sagiv and
Kathleen Fisher},
title = {An introduction to data representation synthesis},
journal = {Commun. {ACM}},
volume = {55},
number = {12},
pages = {91--99},
year = {2012},
url = {https://doi.org/10.1145/2380656.2380677},
doi = {10.1145/2380656.2380677},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HawkinsRASF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Sagiv12,
author = {Mooly Sagiv},
title = {POPL'11 program chair's report},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {16--18},
year = {2012},
url = {https://doi.org/10.1145/2442776.2442778},
doi = {10.1145/2442776.2442778},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Sagiv12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BurckhardtLFS12,
author = {Sebastian Burckhardt and
Daan Leijen and
Manuel F{\"{a}}hndrich and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Eventually Consistent Transactions},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {67--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_4},
doi = {10.1007/978-3-642-28869-2\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BurckhardtLFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Reasoning about Lock Placements},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {336--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_17},
doi = {10.1007/978-3-642-28869-2\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TamayoABS12,
author = {Juan M. Tamayo and
Alex Aiken and
Nathan Grasso Bronson and
Mooly Sagiv},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Understanding the behavior of database operations under program control},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {983--996},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384688},
doi = {10.1145/2384616.2384688},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/TamayoABS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TrippMFS12,
author = {Omer Tripp and
Roman Manevich and
John Field and
Mooly Sagiv},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {{JANUS:} exploiting parallelism via hindsight},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {145--156},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254083},
doi = {10.1145/2254064.2254083},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TrippMFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Concurrent data representation synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {417--428},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254114},
doi = {10.1145/2254064.2254114},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NaikYCS12,
author = {Mayur Naik and
Hongseok Yang and
Ghila Castelnuovo and
Mooly Sagiv},
editor = {John Field and
Michael Hicks},
title = {Abstractions from tests},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {373--386},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103701},
doi = {10.1145/2103656.2103701},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/NaikYCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShachamBASVY11,
author = {Ohad Shacham and
Nathan Grasso Bronson and
Alex Aiken and
Mooly Sagiv and
Martin T. Vechev and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Testing atomicity of composed concurrent operations},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {51--64},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048073},
doi = {10.1145/2048066.2048073},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ShachamBASVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TrippYFS11,
author = {Omer Tripp and
Greta Yorsh and
John Field and
Mooly Sagiv},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {{HAWKEYE:} effective discovery of dataflow impediments to parallelization},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {207--224},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048085},
doi = {10.1145/2048066.2048085},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TrippYFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Golan-GuetaBARSY11,
author = {Guy Golan{-}Gueta and
Nathan Grasso Bronson and
Alex Aiken and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Automatic fine-grain locking using shape properties},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {225--242},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048086},
doi = {10.1145/2048066.2048086},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Golan-GuetaBARSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS11,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Data representation synthesis},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {38--49},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993504},
doi = {10.1145/1993498.1993504},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDAS11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Precise and compact modular procedure summaries for heap manipulating
programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {567--577},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993565},
doi = {10.1145/1993498.1993565},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
editor = {Thomas Ball and
Mooly Sagiv},
title = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385},
doi = {10.1145/1926385},
isbn = {978-1-4503-0490-0},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AbadiRS10,
author = {Aharon Abadi and
Alexander Rabinovich and
Mooly Sagiv},
title = {Decidable fragments of many-sorted logic},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {153--172},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.03.003},
doi = {10.1016/J.JSC.2009.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AbadiRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JeannetLRS10,
author = {Bertrand Jeannet and
Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
title = {A relational approach to interprocedural shape analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {2},
pages = {5:1--5:52},
year = {2010},
url = {https://doi.org/10.1145/1667048.1667050},
doi = {10.1145/1667048.1667050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JeannetLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/YahavS10,
author = {Eran Yahav and
Mooly Sagiv},
title = {Verifying safety properties of concurrent heap-manipulating programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {5},
pages = {18:1--18:50},
year = {2010},
url = {https://doi.org/10.1145/1745312.1745315},
doi = {10.1145/1745312.1745315},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/YahavS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RepsSL10,
author = {Thomas W. Reps and
Mooly Sagiv and
Alexey Loginov},
title = {Finite differencing of logical formulas for static analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {6},
pages = {24:1--24:55},
year = {2010},
url = {https://doi.org/10.1145/1749608.1749613},
doi = {10.1145/1749608.1749613},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RepsSL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HawkinsAFRS10,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Kazunori Ueda},
title = {Data Structure Fusion},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {204--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_15},
doi = {10.1007/978-3-642-17164-2\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HawkinsAFRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ArnoldHKBS10,
author = {Gilad Arnold and
Johannes H{\"{o}}lzl and
Ali Sinan K{\"{o}}ksal and
Rastislav Bod{\'{\i}}k and
Mooly Sagiv},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Specifying and verifying sparse matrix codes},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {249--260},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863581},
doi = {10.1145/1863543.1863581},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ArnoldHKBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ItzhakyGIS10,
author = {Shachar Itzhaky and
Sumit Gulwani and
Neil Immerman and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A simple inductive synthesis methodology and its applications},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {36--46},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869463},
doi = {10.1145/1869459.1869463},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ItzhakyGIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiangTNS10,
author = {Percy Liang and
Omer Tripp and
Mayur Naik and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A dynamic evaluation of the precision of static heap abstractions},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {411--427},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869494},
doi = {10.1145/1869459.1869494},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiangTNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/McCloskeyRS10,
author = {Bill McCloskey and
Thomas W. Reps and
Mooly Sagiv},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Statically Inferring Complex Heap, Array, and Numeric Invariants},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {71--99},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_6},
doi = {10.1007/978-3-642-15769-1\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/McCloskeyRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LitvakDBRS10,
author = {Shay Litvak and
Nurit Dor and
Rastislav Bod{\'{\i}}k and
Noam Rinetzky and
Mooly Sagiv},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {Field-sensitive program dependence analysis},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {287--296},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882334},
doi = {10.1145/1882291.1882334},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LitvakDBRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-4902,
author = {Tal Lev{-}Ami and
Neil Immerman and
Thomas W. Reps and
Mooly Sagiv and
Siddharth Srivastava and
Greta Yorsh},
title = {Simulating reachability using first-order logic with applications
to verification of linked data structures},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0904.4902},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-4902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DolevHS09,
author = {Shlomi Dolev and
Yinnon A. Haviv and
Mooly Sagiv},
title = {Self-stabilization preserving compiler},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {6},
pages = {22:1--22:42},
year = {2009},
url = {https://doi.org/10.1145/1552309.1552312},
doi = {10.1145/1552309.1552312},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DolevHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SegalovLMGS09,
author = {Michal Segalov and
Tal Lev{-}Ami and
Roman Manevich and
Ganesan Ramalingam and
Mooly Sagiv},
editor = {Zhenjiang Hu},
title = {Abstract Transformers for Thread Correlation Analysis},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {30--46},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_5},
doi = {10.1007/978-3-642-10672-9\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SegalovLMGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McMillanKS09,
author = {Kenneth L. McMillan and
Andreas Kuehlmann and
Mooly Sagiv},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Generalizing {DPLL} to Richer Logics},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {462--476},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_35},
doi = {10.1007/978-3-642-02658-4\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/McMillanKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GulwaniLS09,
author = {Sumit Gulwani and
Tal Lev{-}Ami and
Mooly Sagiv},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {A combination framework for tracking partition sizes},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {239--251},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480912},
doi = {10.1145/1480881.1480912},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GulwaniLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Sagiv09,
author = {Mooly Sagiv},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Thread-Modular Shape Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_3},
doi = {10.1007/978-3-540-93900-9\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Sagiv09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9301,
editor = {Peter W. O'Hearn and
Arnd Poetzsch{-}Heffter and
Mooly Sagiv},
title = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
- 24.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09301/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SagivPO09,
author = {Mooly Sagiv and
Arnd Poetzsch{-}Heffter and
Peter W. O'Hearn},
editor = {Peter W. O'Hearn and
Arnd Poetzsch{-}Heffter and
Mooly Sagiv},
title = {09301 Abstracts Collection - Typing, Analysis, and Verification of
Heap-Manipulating Programs},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
- 24.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2436/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SagivPO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SagivPO09a,
author = {Mooly Sagiv and
Arnd Poetzsch{-}Heffter and
Peter W. O'Hearn},
editor = {Peter W. O'Hearn and
Arnd Poetzsch{-}Heffter and
Mooly Sagiv},
title = {09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating
Programs},
booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07.
- 24.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09301},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2435/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SagivPO09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RinetzkyRSY08,
author = {Noam Rinetzky and
G. Ramalingam and
Shmuel Sagiv and
Eran Yahav},
title = {On the complexity of partially-flow-sensitive alias analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {3},
pages = {13:1--13:28},
year = {2008},
url = {https://doi.org/10.1145/1353445.1353447},
doi = {10.1145/1353445.1353447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RinetzkyRSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookGLRS08,
author = {Byron Cook and
Sumit Gulwani and
Tal Lev{-}Ami and
Andrey Rybalchenko and
Mooly Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Proving Conditional Termination},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {328--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_32},
doi = {10.1007/978-3-540-70545-1\_32},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookGLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerdineLMRS08,
author = {Josh Berdine and
Tal Lev{-}Ami and
Roman Manevich and
G. Ramalingam and
Shmuel Sagiv},
editor = {Aarti Gupta and
Sharad Malik},
title = {Thread Quantification for Concurrent Shape Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {399--413},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_37},
doi = {10.1007/978-3-540-70545-1\_37},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerdineLMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChawdharyCGSY08,
author = {Aziem Chawdhary and
Byron Cook and
Sumit Gulwani and
Mooly Sagiv and
Hongseok Yang},
editor = {Sophia Drossopoulou},
title = {Ranking Abstractions},
booktitle = {Programming Languages and Systems, 17th European Symposium on Programming,
{ESOP} 2008, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4960},
pages = {148--162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78739-6\_13},
doi = {10.1007/978-3-540-78739-6\_13},
timestamp = {Sun, 02 Jun 2019 21:23:56 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChawdharyCGSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DorLLSW08,
author = {Nurit Dor and
Tal Lev{-}Ami and
Shay Litvak and
Mooly Sagiv and
Dror Weiss},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Customization change impact analysis for erp professionals via program
slicing},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {97--108},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390644},
doi = {10.1145/1390630.1390644},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/DorLLSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ManevichLSRB08,
author = {Roman Manevich and
Tal Lev{-}Ami and
Mooly Sagiv and
Ganesan Ramalingam and
Josh Berdine},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Heap Decomposition for Concurrent Shape Analysis},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {363--377},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_24},
doi = {10.1007/978-3-540-69166-2\_24},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/ManevichLSRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/YorshRSMB07,
author = {Greta Yorsh and
Alexander Moshe Rabinovich and
Mooly Sagiv and
Antoine Meyer and
Ahmed Bouajjani},
title = {A logic of reachable patterns in linked data-structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {73},
number = {1-2},
pages = {111--142},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.12.001},
doi = {10.1016/J.JLAP.2006.12.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/YorshRSMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ShachamSS07,
author = {Ohad Shacham and
Mooly Sagiv and
Assaf Schuster},
title = {Scaling model checking of dataraces using dynamic information},
journal = {J. Parallel Distributed Comput.},
volume = {67},
number = {5},
pages = {536--550},
year = {2007},
url = {https://doi.org/10.1016/j.jpdc.2007.01.006},
doi = {10.1016/J.JPDC.2007.01.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/ShachamSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YorshRSW07,
author = {Greta Yorsh and
Thomas W. Reps and
Mooly Sagiv and
Reinhard Wilhelm},
title = {Logical characterizations of heap abstractions},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {1},
pages = {5},
year = {2007},
url = {https://doi.org/10.1145/1182613.1182618},
doi = {10.1145/1182613.1182618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YorshRSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Sagiv07,
author = {Mooly Sagiv},
title = {Introduction to special ESOP'05 issue},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {23},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275498},
doi = {10.1145/1275497.1275498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Sagiv07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GotsmanBCRS07,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook and
Noam Rinetzky and
Mooly Sagiv},
editor = {Zhong Shao},
title = {Local Reasoning for Storable Locks and Threads},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {19--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_3},
doi = {10.1007/978-3-540-76637-7\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GotsmanBCRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Lev-AmiWRS07,
author = {Tal Lev{-}Ami and
Christoph Weidenbach and
Thomas W. Reps and
Mooly Sagiv},
editor = {Frank Pfenning},
title = {Labelled Clauses},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {311--327},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_21},
doi = {10.1007/978-3-540-73595-3\_21},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Lev-AmiWRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BogudlovLRS07,
author = {Igor Bogudlov and
Tal Lev{-}Ami and
Thomas W. Reps and
Mooly Sagiv},
editor = {Werner Damm and
Holger Hermanns},
title = {Revamping {TVLA:} Making Parametric Shape Analysis Competitive},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {221--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_25},
doi = {10.1007/978-3-540-73368-3\_25},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BogudlovLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmitRRSY07,
author = {Daphna Amit and
Noam Rinetzky and
Thomas W. Reps and
Mooly Sagiv and
Eran Yahav},
editor = {Werner Damm and
Holger Hermanns},
title = {Comparison Under Abstraction for Verifying Linearizability},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {477--490},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_49},
doi = {10.1007/978-3-540-73368-3\_49},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmitRRSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallKS07,
author = {Thomas Ball and
Orna Kupferman and
Mooly Sagiv},
editor = {Werner Damm and
Holger Hermanns},
title = {Leaping Loops in the Presence of Abstraction},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {491--503},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_50},
doi = {10.1007/978-3-540-73368-3\_50},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RinetzkyPRSY07,
author = {Noam Rinetzky and
Arnd Poetzsch{-}Heffter and
Ganesan Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Rocco De Nicola},
title = {Modular Shape Analysis for Dynamically Encapsulated Programs},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {220--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_16},
doi = {10.1007/978-3-540-71316-6\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/RinetzkyPRSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AbadiRS07,
author = {Aharon Abadi and
Alexander Moshe Rabinovich and
Mooly Sagiv},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Decidable Fragments of Many-Sorted Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {17--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_4},
doi = {10.1007/978-3-540-75560-9\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AbadiRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GotsmanBCS07,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook and
Mooly Sagiv},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Thread-modular shape analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {266--277},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250765},
doi = {10.1145/1250734.1250765},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GotsmanBCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GuetaFYS07,
author = {Guy Gueta and
Cormac Flanagan and
Eran Yahav and
Mooly Sagiv},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Cartesian Partial-Order Reduction},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {95--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_8},
doi = {10.1007/978-3-540-73370-6\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GuetaFYS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ManevichBCRS07,
author = {Roman Manevich and
Josh Berdine and
Byron Cook and
G. Ramalingam and
Mooly Sagiv},
editor = {Orna Grumberg and
Michael Huth},
title = {Shape Analysis by Graph Decomposition},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {3--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_3},
doi = {10.1007/978-3-540-71209-1\_3},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ManevichBCRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Lev-AmiSIR07,
author = {Tal Lev{-}Ami and
Mooly Sagiv and
Neil Immerman and
Thomas W. Reps},
editor = {Byron Cook and
Andreas Podelski},
title = {Constructing Specialized Shape Analyses for Uniform Change},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {215--233},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_16},
doi = {10.1007/978-3-540-69738-1\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Lev-AmiSIR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2007/RepsSW07,
author = {Thomas W. Reps and
Mooly Sagiv and
Reinhard Wilhelm},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Shape Analysis and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation,
Second Edition},
pages = {12},
publisher = {{CRC} Press},
year = {2007},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2007/RepsSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2006wilhelm,
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71322-7},
doi = {10.1007/978-3-540-71322-7},
isbn = {978-3-540-71315-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2006wilhelm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2007,
editor = {Greg Morrisett and
Mooly Sagiv},
title = {Proceedings of the 6th International Symposium on Memory Management,
{ISMM} 2007, Montreal, Quebec, Canada, October 21-22, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1296907},
doi = {10.1145/1296907},
isbn = {978-1-59593-893-0},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-3610,
author = {Greta Yorsh and
Alexander Moshe Rabinovich and
Mooly Sagiv and
Antoine Meyer and
Ahmed Bouajjani},
title = {A Logic of Reachable Patterns in Linked Data-Structures},
journal = {CoRR},
volume = {abs/0705.3610},
year = {2007},
url = {http://arxiv.org/abs/0705.3610},
eprinttype = {arXiv},
eprint = {0705.3610},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0705-3610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/YahavRSW06,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
journal = {Log. J. {IGPL}},
volume = {14},
number = {5},
pages = {755--783},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzl009},
doi = {10.1093/JIGPAL/JZL009},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/YahavRSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/NebenzahlSW06,
author = {Danny Nebenzahl and
Shmuel Sagiv and
Avishai Wool},
title = {Install-Time Vaccination of Windows Executables to Defend against
Stack Smashing Attacks},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {3},
number = {1},
pages = {78--90},
year = {2006},
url = {https://doi.org/10.1109/TDSC.2006.14},
doi = {10.1109/TDSC.2006.14},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/NebenzahlSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RepsSB06,
author = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {An Appreciation of the Work of Reinhard Wilhelm},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {1--11},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_1},
doi = {10.1007/978-3-540-71322-7\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RepsSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LoginovRS06,
author = {Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Refinement-Based Verification for Possibly-Cyclic Lists},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {247--272},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_12},
doi = {10.1007/978-3-540-71322-7\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LoginovRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ManevichFHRS06,
author = {Roman Manevich and
John Field and
Thomas A. Henzinger and
G. Ramalingam and
Mooly Sagiv},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Abstract Counterexample-Based Refinement for Powerset Domains},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {273--292},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_13},
doi = {10.1007/978-3-540-71322-7\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ManevichFHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Lev-AmiIS06,
author = {Tal Lev{-}Ami and
Neil Immerman and
Shmuel Sagiv},
editor = {Thomas Ball and
Robert B. Jones},
title = {Abstraction for Shape Analysis with Fast and Precise Transformers},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {547--561},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_49},
doi = {10.1007/11817963\_49},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Lev-AmiIS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/YorshRSMB06,
author = {Greta Yorsh and
Alexander Moshe Rabinovich and
Mooly Sagiv and
Antoine Meyer and
Ahmed Bouajjani},
editor = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A Logic of Reachable Patterns in Linked Data-Structures},
booktitle = {Foundations of Software Science and Computation Structures, 9th International
Conference, {FOSSACS} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 25-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3921},
pages = {94--110},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11690634\_7},
doi = {10.1007/11690634\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/YorshRSMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YorshBS06,
author = {Greta Yorsh and
Thomas Ball and
Mooly Sagiv},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Testing, abstraction, theorem proving: better together!},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {145--156},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146255},
doi = {10.1145/1146238.1146255},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/YorshBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LoginovRS06,
author = {Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
editor = {Kwangkeun Yi},
title = {Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal
Algorithm},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {261--279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_17},
doi = {10.1007/11823230\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LoginovRS06.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/cade/Lev-AmiIRSSY05,
author = {Tal Lev{-}Ami and
Neil Immerman and
Thomas W. Reps and
Shmuel Sagiv and
Siddharth Srivastava and
Greta Yorsh},
editor = {Robert Nieuwenhuis},
title = {Simulating Reachability Using First-Order Logic with Applications
to Verification of Linked Data Structures},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {99--115},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_8},
doi = {10.1007/11532231\_8},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/Lev-AmiIRSSY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LoginovRS05,
author = {Alexey Loginov and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Abstraction Refinement via Inductive Learning},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {519--533},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_50},
doi = {10.1007/11513988\_50},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LoginovRS05.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}
}
@inproceedings{DBLP:conf/popl/RinetzkyBRSW05,
author = {Noam Rinetzky and
J{\"{o}}rg Bauer and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A semantics for procedure local heaps and its abstractions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {296--309},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040330},
doi = {10.1145/1040305.1040330},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/RinetzkyBRSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GopanRS05,
author = {Denis Gopan and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {A framework for numeric analysis of array operations},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {338--350},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040333},
doi = {10.1145/1040305.1040333},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GopanRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ShachamSS05,
author = {Ohad Shacham and
Mooly Sagiv and
Assaf Schuster},
editor = {Keshav Pingali and
Katherine A. Yelick and
Andrew S. Grimshaw},
title = {Scaling model checking of dataraces using dynamic information},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago,
IL, {USA}},
pages = {107--118},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065944.1065958},
doi = {10.1145/1065944.1065958},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ShachamSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RinetzkySY05,
author = {Noam Rinetzky and
Mooly Sagiv and
Eran Yahav},
editor = {Chris Hankin and
Igor Siveroni},
title = {Interprocedural Shape Analysis for Cutpoint-Free Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {284--302},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_20},
doi = {10.1007/11547662\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/RinetzkySY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DolevHS05,
author = {Shlomi Dolev and
Yinnon A. Haviv and
Mooly Sagiv},
editor = {Ted Herman and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilization Preserving Compiler},
booktitle = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005,
Barcelona, Spain, October 26-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3764},
pages = {81--95},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11577327\_6},
doi = {10.1007/11577327\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/DolevHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ManevichYRS05,
author = {Roman Manevich and
Eran Yahav and
Ganesan Ramalingam and
Shmuel Sagiv},
editor = {Radhia Cousot},
title = {Predicate Abstraction and Canonical Abstraction for Singly-Linked
Lists},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {181--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_13},
doi = {10.1007/978-3-540-30579-8\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ManevichYRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DorFGLLMRRRSWYY05,
author = {Nurit Dor and
John Field and
Denis Gopan and
Tal Lev{-}Ami and
Alexey Loginov and
Roman Manevich and
G. Ramalingam and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav and
Greta Yorsh},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Automatic Verification of Strongly Dynamic Software Systems},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {82--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_11},
doi = {10.1007/978-3-540-69149-5\_11},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DorFGLLMRRRSWYY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YorshSRS05,
author = {Greta Yorsh and
Alexey Skidanov and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs:
Ongoing Work},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {125--138},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.028},
doi = {10.1016/J.ENTCS.2005.01.028},
timestamp = {Tue, 13 Dec 2022 15:04:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YorshSRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2005,
editor = {Shmuel Sagiv},
title = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 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 = {3444},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b107380},
doi = {10.1007/B107380},
isbn = {3-540-25435-8},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RepsSW04,
author = {Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Static Program Analysis via 3-Valued Logic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {15--30},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_2},
doi = {10.1007/978-3-540-27813-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RepsSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ImmermanRRSY04,
author = {Neil Immerman and
Alexander Moshe Rabinovich and
Thomas W. Reps and
Shmuel Sagiv and
Greta Yorsh},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Verification via Structure Simulation},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {281--294},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_22},
doi = {10.1007/978-3-540-27813-9\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ImmermanRRSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ImmermanRRSY04,
author = {Neil Immerman and
Alexander Moshe Rabinovich and
Thomas W. Reps and
Shmuel Sagiv and
Greta Yorsh},
editor = {Jerzy Marcinkowski and
Andrzej Tarlecki},
title = {The Boundary Between Decidability and Undecidability for Transitive-Closure
Logics},
booktitle = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3210},
pages = {160--174},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30124-0\_15},
doi = {10.1007/978-3-540-30124-0\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ImmermanRRSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lev-AmiMS04,
author = {Tal Lev{-}Ami and
Roman Manevich and
Shmuel Sagiv},
editor = {Ren{\'{e}} Jacquart},
title = {{TVLA:} {A} system for generating abstract interpreters},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {367--375},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_28},
doi = {10.1007/978-1-4020-8157-6\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lev-AmiMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JeannetLRS04,
author = {Bertrand Jeannet and
Alexey Loginov and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Roberto Giacobazzi},
title = {A Relational Approach to Interprocedural Shape Analysis},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {246--264},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_19},
doi = {10.1007/978-3-540-27864-1\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/JeannetLRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ManevichSRF04,
author = {Roman Manevich and
Shmuel Sagiv and
Ganesan Ramalingam and
John Field},
editor = {Roberto Giacobazzi},
title = {Partially Disjunctive Heap Abstraction},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {265--279},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_20},
doi = {10.1007/978-3-540-27864-1\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ManevichSRF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GopanDDRS04,
author = {Denis Gopan and
Frank DiMaio and
Nurit Dor and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Numeric Domains with Summarized Dimensions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {512--529},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_38},
doi = {10.1007/978-3-540-24730-2\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GopanDDRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/YorshRS04,
author = {Greta Yorsh and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Symbolically Computing Most-Precise Abstract Operations for Shape
Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {530--545},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_39},
doi = {10.1007/978-3-540-24730-2\_39},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/YorshRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Sagiv04,
author = {Shmuel Sagiv},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {On the Expressive Power of Canonical Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_6},
doi = {10.1007/978-3-540-24622-0\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Sagiv04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RepsSY04,
author = {Thomas W. Reps and
Shmuel Sagiv and
Greta Yorsh},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Symbolic Implementation of the Best Transformer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {252--266},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_21},
doi = {10.1007/978-3-540-24622-0\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RepsSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/YahavRSW03,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Pierpaolo Degano},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {204--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_15},
doi = {10.1007/3-540-36575-3\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/YahavRSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RepsSL03,
author = {Thomas W. Reps and
Shmuel Sagiv and
Alexey Loginov},
editor = {Pierpaolo Degano},
title = {Finite Differencing of Logical Formulas for Static Analysis},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {380--398},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_26},
doi = {10.1007/3-540-36575-3\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/RepsSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DorRS03,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Ron Cytron and
Rajiv Gupta},
title = {{CSSV:} towards a realistic tool for statically detecting all buffer
overflows in {C}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2003 Conference on Programming
Language Design and Implementation 2003, San Diego, California, USA,
June 9-11, 2003},
pages = {155--167},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/781131.781149},
doi = {10.1145/781131.781149},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DorRS03.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:journals/entcs/YahavS03,
author = {Eran Yahav and
Shmuel Sagiv},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Automatically Verifying Concurrent Queue Algorithms},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {450--463},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80006-4},
doi = {10.1016/S1571-0661(05)80006-4},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YahavS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0312014,
author = {Greta Yorsh and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
title = {Logical Characterizations of Heap Abstractions},
journal = {CoRR},
volume = {cs.LO/0312014},
year = {2003},
url = {http://arxiv.org/abs/cs/0312014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0312014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagivRW02,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
title = {Parametric shape analysis via 3-valued logic},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {3},
pages = {217--298},
year = {2002},
url = {https://doi.org/10.1145/514188.514190},
doi = {10.1145/514188.514190},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SagivRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/OrenMS02,
author = {David Oren and
Yossi Matias and
Shmuel Sagiv},
editor = {R. Nigel Horspool},
title = {Online Subpath Profiling},
booktitle = {Compiler Construction, 11th International Conference, {CC} 2002, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2304},
pages = {78--94},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45937-5\_8},
doi = {10.1007/3-540-45937-5\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/OrenMS02.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/lics/RepsLS02,
author = {Thomas W. Reps and
Alexey Loginov and
Shmuel Sagiv},
title = {Semantic Minimization of 3-Valued Propositional Formulae},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029816},
doi = {10.1109/LICS.2002.1029816},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RepsLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RamalingamWFGS02,
author = {G. Ramalingam and
Alex Varshavsky and
John Field and
Deepak Goyal and
Shmuel Sagiv},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Deriving Specialized Program Analyses for Certifying Component-Client
Conformance},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {83--94},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512540},
doi = {10.1145/512529.512540},
timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RamalingamWFGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ManevichRFGS02,
author = {Roman Manevich and
G. Ramalingam and
John Field and
Deepak Goyal and
Shmuel Sagiv},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Compactly Representing First-Order Structures for Static Analysis},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {196--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_16},
doi = {10.1007/3-540-45789-5\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ManevichRFGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2002/WilhelmRS02,
author = {Reinhard Wilhelm and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Shape Analysis and Applications},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation},
pages = {175--218},
publisher = {{CRC} Press},
year = {2002},
url = {https://doi.org/10.1201/9781420040579.ch5},
doi = {10.1201/9781420040579.CH5},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2002/WilhelmRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NielsonNS01,
author = {Flemming Nielson and
Hanne Riis Nielson and
Shmuel Sagiv},
title = {Kleene's Logic with Equality},
journal = {Inf. Process. Lett.},
volume = {80},
number = {3},
pages = {131--137},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00155-7},
doi = {10.1016/S0020-0190(01)00155-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NielsonNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/RinetzkyS01,
author = {Noam Rinetzky and
Shmuel Sagiv},
editor = {Reinhard Wilhelm},
title = {Interprocedural Shape Analysis for Recursive Programs},
booktitle = {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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2027},
pages = {133--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45306-7\_10},
doi = {10.1007/3-540-45306-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/RinetzkyS01.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/sas/DorRS01,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Patrick Cousot},
title = {Cleanness Checking of String Manipulations in {C} Programs via Integer
Analysis},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {194--212},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_12},
doi = {10.1007/3-540-47764-0\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DorRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/WilhelmSR00,
author = {Reinhard Wilhelm and
Shmuel Sagiv and
Thomas W. Reps},
editor = {David A. Watt},
title = {Shape Analysis},
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 = {1--17},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46423-9\_1},
doi = {10.1007/3-540-46423-9\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/WilhelmSR00.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 = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/ShahamKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NielsonNS00,
author = {Flemming Nielson and
Hanne Riis Nielson and
Shmuel Sagiv},
editor = {Gert Smolka},
title = {A Kleene Analysis of Mobile Ambients},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 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 = {1782},
pages = {305--319},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_20},
doi = {10.1007/3-540-46425-5\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/NielsonNS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Lev-AmiRSW00,
author = {Tal Lev{-}Ami and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Putting static analysis to work for verification: {A} case study},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {26--38},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.348031},
doi = {10.1145/347324.348031},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/Lev-AmiRSW00.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}
}
@inproceedings{DBLP:conf/sas/DorRS00,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Jens Palsberg},
title = {Checking Cleanness in Linked Lists},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {115--134},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_7},
doi = {10.1007/978-3-540-45099-3\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DorRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Lev-AmiS00,
author = {Tal Lev{-}Ami and
Shmuel Sagiv},
editor = {Jens Palsberg},
title = {{TVLA:} {A} System for Implementing Static Analyses},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {280--301},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_15},
doi = {10.1007/978-3-540-45099-3\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Lev-AmiS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/RodehS99,
author = {Michael Rodeh and
Shmuel Sagiv},
title = {Finding Circular Attributes in Attribute Grammars},
journal = {J. {ACM}},
volume = {46},
number = {4},
pages = {556},
year = {1999},
url = {https://doi.org/10.1145/320211.320243},
doi = {10.1145/320211.320243},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/RodehS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BenediktRS99,
author = {Michael Benedikt and
Thomas W. Reps and
Shmuel Sagiv},
editor = {S. Doaitse Swierstra},
title = {A Decidable Logic for Describing Linked Data Structures},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {2--19},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_2},
doi = {10.1007/3-540-49099-X\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BenediktRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SagivRW99,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
editor = {Andrew W. Appel and
Alex Aiken},
title = {Parametric Shape Analysis via 3-Valued Logic},
booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Antonio, TX, USA, January
20-22, 1999},
pages = {105--118},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/292540.292552},
doi = {10.1145/292540.292552},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SagivRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SagivFRW98,
author = {Shmuel Sagiv and
Nissim Francez and
Michael Rodeh and
Reinhard Wilhelm},
title = {A Logic-Based Approach to Program Flow Analysis},
journal = {Acta Informatica},
volume = {35},
number = {6},
pages = {457--504},
year = {1998},
url = {https://doi.org/10.1007/s002360050128},
doi = {10.1007/S002360050128},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SagivFRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/RossS98,
author = {John L. Ross and
Shmuel Sagiv},
title = {Building a Bridge between Pointer Aliases and Program Dependences},
journal = {Nord. J. Comput.},
volume = {5},
number = {4},
pages = {361},
year = {1998},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/RossS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagivRW98,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {20},
number = {1},
pages = {1--50},
year = {1998},
url = {https://doi.org/10.1145/271510.271517},
doi = {10.1145/271510.271517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SagivRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RossS98,
author = {John L. Ross and
Shmuel Sagiv},
editor = {Chris Hankin},
title = {Building a Bridge between Pointer Aliases and Program Dependences},
booktitle = {Programming Languages and Systems - ESOP'98, 7th European Symposium
on Programming, Held as Part of the European Joint Conferences on
the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March
28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1381},
pages = {221--235},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053573},
doi = {10.1007/BFB0053573},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/RossS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DorRS98,
author = {Nurit Dor and
Michael Rodeh and
Shmuel Sagiv},
editor = {Thomas Ball and
Frank Tip and
A. Michael Berman},
title = {Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '98, Montreal, Canada,
June 16, 1998},
pages = {27--34},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277631.277637},
doi = {10.1145/277631.277637},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/paste/DorRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallMS98,
author = {Thomas Ball and
Peter Mataga and
Shmuel Sagiv},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Edge Profiling versus Path Profiling: The Showdown},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {134--148},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268958},
doi = {10.1145/268946.268958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BallMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SagivRH96,
author = {Shmuel Sagiv and
Thomas W. Reps and
Susan Horwitz},
title = {Precise Interprocedural Dataflow Analysis with Applications to Constant
Propagation},
journal = {Theor. Comput. Sci.},
volume = {167},
number = {1{\&}2},
pages = {131--170},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00072-2},
doi = {10.1016/0304-3975(96)00072-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SagivRH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SagivRW96,
author = {Shmuel Sagiv and
Thomas W. Reps and
Reinhard Wilhelm},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {16--31},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237725},
doi = {10.1145/237721.237725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SagivRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RepsHS95,
author = {Thomas W. Reps and
Susan Horwitz and
Shmuel Sagiv},
editor = {Ron K. Cytron and
Peter Lee},
title = {Precise Interprocedural Dataflow Analysis via Graph Reachability},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {49--61},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199462},
doi = {10.1145/199448.199462},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RepsHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HorwitzRS95,
author = {Susan Horwitz and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Gail E. Kaiser},
title = {Demand Interprocedural Dataflow Analysis},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {104--115},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222146},
doi = {10.1145/222124.222146},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HorwitzRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SagivRH95,
author = {Shmuel Sagiv and
Thomas W. Reps and
Susan Horwitz},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Precise Interprocedural Dataflow Analysis with Applications to Constant
Propagation},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {651--665},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_226},
doi = {10.1007/3-540-59293-8\_226},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SagivRH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RepsHSR94,
author = {Thomas W. Reps and
Susan Horwitz and
Shmuel Sagiv and
Genevieve Rosay},
editor = {David S. Wile},
title = {Speeding up Slicing},
booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
December 6-9, 1994},
pages = {11--20},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/193173.195287},
doi = {10.1145/193173.195287},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/RepsHSR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MakowskyGS92,
author = {Johann A. Makowsky and
J.{-}C. Gregoire and
Shmuel Sagiv},
title = {The Expressive Power of Side Effects in Prolog},
journal = {J. Log. Program.},
volume = {12},
number = {1{\&}2},
pages = {179--188},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90043-3},
doi = {10.1016/0743-1066(92)90043-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MakowskyGS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BernsteinRS92,
author = {David Bernstein and
Michael Rodeh and
Shmuel Sagiv},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Proving Safety of Speculative Load Instructions at Compile Time},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {56--72},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_4},
doi = {10.1007/3-540-55253-7\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BernsteinRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Sagiv91,
author = {Shmuel Sagiv},
title = {High level formalisms for program flow analysis and their use in compiling},
school = {Technion - Israel Institute of Technology, Israel},
year = {1991},
url = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990021116520203971},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Sagiv91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SagivFRW90,
author = {Shmuel Sagiv and
Nissim Francez and
Michael Rodeh and
Reinhard Wilhelm},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {A Logic-Based Approach to Data Flow Analysis Problem},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {277--292},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024190},
doi = {10.1007/BFB0024190},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/SagivFRW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SagivEFR89,
author = {Shmuel Sagiv and
Orit Edelstein and
Nissim Francez and
Michael Rodeh},
title = {Resolving Circularity in Attribute Grammars with Applications to Data
Flow Analysis},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {36--48},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75281},
doi = {10.1145/75277.75281},
timestamp = {Thu, 19 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SagivEFR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
