The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Mooly Sagiv Shmuel Sagiv ( http://dblp.L3S.de/Authors/Mooly_Sagiv )

URL (Homepage):  http://www.math.tau.ac.il/~msagiv/  Author page on DBLP  Author page in RDF  Community of Mooly Sagiv in ASPL-2

Publication years (Num. hits)
1989-1998 (16) 1999-2002 (21) 2003-2004 (16) 2005-2006 (23) 2007 (19) 2008-2009 (15) 2010-2011 (16) 2012-2014 (21) 2015-2017 (26) 2018-2019 (19)
Publication types (Num. hits)
article(48) incollection(2) inproceedings(137) proceedings(5)
Venues (Conferences, Journals, ...)
CoRR(15) PLDI(14) POPL(13) SAS(13) CAV(12) ESOP(12) ACM Trans. Program. Lang. Syst...(8) VMCAI(8) OOPSLA(7) CC(5) TACAS(5) ISSTA(4) PACMPL(4) Program Analysis and Compilati...(4) APLAS(3) PPOPP(3) More (+10 of total 67)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 81 occurrences of 48 keywords

Results
Found 193 publication records. Showing 192 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham Complexity and Information in Invariant Inference. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv Inferring Inductive Invariants from Phase Structures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv Automating Cluster Management with Weave. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv Inferring Inductive Invariants from Phase Structures. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv Simple and precise static analysis of untrusted Linux kernel extensions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki Synthesizing Cluster Management Code for Distributed Systems. Search on Bibsonomy HotOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar Online detection of effectively callback free objects with applications to smart contracts. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein Secure serverless computing using dynamic information flow control. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham Reducing liveness to safety in first-order logic. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein Secure Serverless Computing Using Dynamic Information Flow Control. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos Modularity for decidability of deductive verification with applications to distributed systems. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjørner, Mooly Sagiv Constrained Image Generation Using Binarized Neural Networks with Decision Procedures. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Abstract Interpretation of Stateful Networks. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv Core-Guided Minimal Correction Set and Core Enumeration. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham Paxos made EPR: decidable reasoning about distributed protocols. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan, Mooly Sagiv Synthesis of circular compositional program proofs via abduction. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner Modular Safety Verification for Stateful Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham Paxos Made EPR: Decidable Reasoning about Distributed Protocols. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic Scalable Atomicity via Semantic Locking. Search on Bibsonomy TOPC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv Verifying Equivalence of Spark Programs. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker Verifying Reachability in Networks with Mutable Datapaths. Search on Bibsonomy NSDI The full citation details ... 2017 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger On the Automated Verification of Web Applications with Embedded SQL. Search on Bibsonomy ICDT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv Abduction for Learning Smart City Rules. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv Conjunctive Abstract Interpretation Using Paramodulation. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham Property Directed Reachability for Proving Absence of Concurrent Modification Errors. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aurojit Panda, Mooly Sagiv, Scott Shenker Verification in the Age of Microservices. Search on Bibsonomy HotOS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker Verifying Reachability in Networks with Mutable Datapaths. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger On the automated verification of web applications with embedded SQL. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv Decidability of inferring inductive invariants. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham Ivy: safety verification by interactive generalization. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham Some Complexity Results for Stateful Network Verification. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mooly Sagiv Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk). Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham Decentralizing SDN Policies. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv Composing concurrency control. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aurojit Panda, Katerina J. Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker New Directions for Network Verification. Search on Bibsonomy SNAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic scalable atomicity via semantic locking. Search on Bibsonomy PPOPP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker Verifying Isolation Properties in the Presence of Middleboxes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur Property-Directed Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Ori Lahav, Aleksandar Nanevski, Mooly Sagiv Modular reasoning about heap paths via effectively propositional formulas. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv Checking Linearizability of Encapsulated Extended Operations. Search on Bibsonomy ESOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky VeriCon: towards verifying controller programs in software-defined networks. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev Verifying atomicity via data independence. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic semantic locking. Search on Bibsonomy PPOPP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks 0001, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler Principles of POPL. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Aleksandar Nanevski, Mooly Sagiv Effectively-Propositional Reasoning about Reachability in Linked Data Structures. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Omer Tripp, Eric Koskinen, Mooly Sagiv Turning nondeterminism into parallelism. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav Concurrent libraries with foresight. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv Synthesis of Circular Compositional Program Proofs via Abduction. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher An introduction to data representation synthesis. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv Understanding the behavior of database operations under program control. Search on Bibsonomy OOPSLA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv Abstractions from tests. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv Eventually Consistent Transactions. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Reasoning about Lock Placements. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Omer Tripp, Roman Manevich, John Field, Mooly Sagiv JANUS: exploiting parallelism via hindsight. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Concurrent data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv HAWKEYE: effective discovery of dataflow impediments to parallelization. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav Automatic fine-grain locking using shape properties. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav Testing atomicity of composed concurrent operations. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Mooly Sagiv (eds.) Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 Search on Bibsonomy POPL The full citation details ... 2011 DBLP  BibTeX  RDF
1Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv Precise and compact modular procedure summaries for heap manipulating programs. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aharon Abadi, Alexander Rabinovich, Mooly Sagiv Decidable fragments of many-sorted logic. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv A relational approach to interprocedural shape analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas W. Reps, Mooly Sagiv, Alexey Loginov Finite differencing of logical formulas for static analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eran Yahav, Mooly Sagiv Verifying safety properties of concurrent heap-manipulating programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv A simple inductive synthesis methodology and its applications. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv A dynamic evaluation of the precision of static heap abstractions. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data Structure Fusion. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv Specifying and verifying sparse matrix codes. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv Field-sensitive program dependence analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bill McCloskey, Thomas W. Reps, Mooly Sagiv Statically Inferring Complex Heap, Array, and Numeric Invariants. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh Simulating reachability using first-order logic with applications to verification of linked data structures Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv Self-stabilization preserving compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Compilers, self-stabilization, abstract state machines
1Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv Generalizing DPLL to Richer Logics. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn 09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
1Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn 09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
1Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv (eds.) Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009 Search on Bibsonomy Typing, Analysis and Verification of Heap-Manipulating Programs The full citation details ... 2009 DBLP  BibTeX  RDF
1Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv A combination framework for tracking partition sizes. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds
1Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv Abstract Transformers for Thread Correlation Analysis. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mooly Sagiv Thread-Modular Shape Analysis. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv Proving Conditional Termination. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang Ranking Abstractions. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine Heap Decomposition for Concurrent Shape Analysis. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss Customization change impact analysis for erp professionals via program slicing. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF customization change impact analysis
1Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav On the complexity of partially-flow-sensitive alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flow-insensitive, Alias analysis, flow-sensitive
1Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv Thread Quantification for Concurrent Shape Analysis. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani A logic of reachable patterns in linked data-structures. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm Logical characterizations of heap abstractions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF canonical abstraction, Logic, shape analysis, characterization
1Ohad Shacham, Mooly Sagiv, Assaf Schuster Scaling model checking of dataraces using dynamic information. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 192 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license