Shmuel Sagiv

Professor

1992 …2023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2022

    Blockaid: Data Access Policy Enforcement for Web Applications

    Zhang, W., Sheng, E., Chang, M., Panda, A., Sagiv, M. & Shenker, S., 2022, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022. USENIX Association, p. 701-718 18 p. (Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2021

    Cloud-scale runtime verification of serverless applications

    Alpernas, K., Panda, A., Ryzhyk, L. & Sagiv, M., 1 Nov 2021, SoCC 2021 - Proceedings of the 2021 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 92-107 16 p. (SoCC 2021 - Proceedings of the 2021 ACM Symposium on Cloud Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Summing up Smart Transitions

    Elad, N., Rain, S., Immerman, N., Kovács, L. & Sagiv, M., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 317-340 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2019

    Inferring inductive invariants from phase structures

    Feldman, Y. M. Y., Wilcox, J. R., Shoham, S. & Sagiv, M., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 405-425 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Simple and precise static analysis of untrusted Linux kernel extensions

    Gershuni, E., Narodytska, N., Amit, N., Navas, J. A., Gurfinkel, A., Rinetzky, N., Ryzhyk, L. & Sagiv, M., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1069-1084 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Synthesizing Cluster Management Code for Distributed Systems

    Suresh, L., Loff, J., Narodytska, N., Ryzhyk, L., Sagiv, M. & Oki, B., 12 May 2019, Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019. Association for Computing Machinery, Inc, p. 45-50 6 p. 3321444. (Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    Abstract Interpretation of Stateful Networks

    Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Constrained image generation using binarized neural networks with decision procedures

    Korneev, S., Narodytska, N., Pulina, L., Tacchella, A., Bjorner, N. & Sagiv, M., 2018, Theory and Applications of Satisfiability Testing – SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Beyersdorff, O. & Wintersteiger, C. M. (eds.). Springer Verlag, p. 438-449 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10929 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Core-guided minimal correction set and core enumeration

    Narodytska, N., Bjørner, N., Marinescu, M. C. & Sagiv, M., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1353-1361 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Modularity for decidability of deductive verification with applications to distributed systems

    Taube, M., Losa, G., McMillan, K. L., Padon, O., Sagiv, M., Shoham, S., Wilcox, J. R. & Woos, D., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). Association for Computing Machinery (ACM), p. 662-677 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

    Padon, O., Hoenicke, J., McMillan, K. L., Podelski, A., Sagiv, M. & Shoham, S., 2 Jul 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 74-84 11 p. 8603008. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Verifying properties of binarized deep neural networks

    Narodytska, N., Sagiv, M., Kasiviswanathan, S., Ryzhyk, L. & Walsh, T., 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI press, p. 6615-6624 10 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2017

    Bounded quantifier instantiation for checking inductive invariants

    Feldman, Y. M. Y., Padon, O., Immerman, N., Sagiv, M. & Shoham, S., 2017, 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, Proceedings. Margaria, T. & Legay, A. (eds.). Springer Verlag, p. 76-95 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10205 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Conjunctive abstract interpretation using paramodulation

    Ozeri, O., Padon, O., Rinetzky, N. & Sagiv, M., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 442-461 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On the automated verification of web applications with embedded SQL

    Itzhaky, S., Kotek, T., Rinetzky, N., Sagiv, M., Tamir, O., Veith, H. & Zuleger, F., 1 Mar 2017, 20th International Conference on Database Theory, ICDT 2017. Orsi, G. & Benedikt, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 68).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Property directed reachability for proving absence of concurrent modification errors

    Frumkin, A., Feldman, Y. M. Y., Lhoták, O., Padon, O., Sagiv, M. & Shoham, S., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 209-227 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Verification in the Age of Microservices

    Panda, A., Sagiv, M. & Shenker, S., 7 May 2017, HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. IEEE Computer Society, p. 30-36 7 p. (Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS; vol. Part F129307).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Verifying equivalence of spark programs

    Grossman, S., Cohen, S., Itzhaky, S., Rinetzky, N. & Sagiv, M., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). Springer Verlag, p. 282-300 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10427 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Verifying reachability in networks with mutable datapaths

    Panda, A., Lahav, O., Argyraki, K., Sagiv, M. & Shenker, S., 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 699-718 20 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2016

    Decidability of inferring inductive invariants

    Padon, O., Immerman, N., Shoham, S., Karbyshev, A. & Sagiv, M., 11 Jan 2016, POPL '16 : Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery (ACM), p. 217-231 15 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Ivy: Safety verification by interactive generalization

    Padon, O., McMillan, K. L., Panda, A., Sagiv, M. & Shoham, S., 2 Jun 2016, PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery (ACM), p. 614-630 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Some complexity results for stateful network verification

    Velner, Y., Alpernas, K., Panda, A., Rabinovich, A., Sagiv, M., Shenker, S. & Shoham, S., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 811-830 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2015

    Automatic scalable atomicity via semantic locking

    Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 24 Jan 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. Association for Computing Machinery, p. 31-41 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Composing concurrency control

    Ziv, O., Aiken, A., Golan-Gueta, G., Ramalingam, G. & Sagiv, M., 3 Jun 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 240-249 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Decentralizing SDN policies

    Padon, O., Immerman, N., Karbyshev, A., Lahav, O., Sagiv, M. & Shoham, S., 14 Jan 2015, POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 663-676 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Modularity in lattices: A case study on the correspondence between top-down and bottom-up analysis

    Castelnuovo, G., Naik, M., Rinetzky, N., Sagiv, M. & Yang, H., 2015, Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Blazy, S. & Jensen, T. (eds.). Springer Verlag, p. 252-274 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9291).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • New directions for network verification

    Panda, A., Argyraki, K., Sagiv, M., Schapira, M. & Shenker, S., 1 May 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 209-220 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2014

    Automatic semantic locking

    Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 2014, PPoPP 2014 - Proceedings of the 2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 385-386 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Checking linearizability of encapsulated extended operations

    Zomer, O., Golan-Gueta, G., Ramalingam, G. & Sagiv, M., 2014, 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, Proceedings. Springer Verlag, p. 311-330 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8410 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Modular reasoning about heap paths via effectively propositional formulas

    Itzhaky, S., Banerjee, A., Immerman, N., Lahav, O., Nanevski, A. & Sagiv, M., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 385-396 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Property-directed shape analysis

    Itzhaky, S., Bjørner, N., Reps, T., Sagiv, M. & Thakur, A., 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • VeriCon: Towards verifying controller programs in software-defined networks

    Ball, T., Bjørner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M. & Valadarsky, A., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 282-293 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Verifying atomicity via data independence

    Shacham, O., Yahav, E., Golan-Gueta, G., Aiken, A., Bronson, N., Sagiv, M. & Vechev, M., 21 Jul 2014, 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings. Association for Computing Machinery, Inc, p. 26-36 11 p. (2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2013

    Concurrent libraries with foresight

    Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 263-273 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Effectively-propositional reasoning about reachability in linked data structures

    Itzhaky, S., Banerjee, A., Immerman, N., Nanevski, A. & Sagiv, M., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 756-772 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Solving geometry problems using a combination of symbolic and numerical reasoning

    Itzhaky, S., Gulwani, S., Immerman, N. & Sagiv, M., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. p. 457-472 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Synthesis of circular compositional program proofs via abduction

    Li, B., Dillig, I., Dillig, T., McMillan, K. & Sagiv, M., 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. p. 370-384 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Turning nondeterminism into parallelism

    Tripp, O., Koskinen, E. & Sagiv, M., 2013, SPLASH Indianapolis 2013: OOPSLA 2013 - Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages and Applications. p. 589-604 16 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2012

    Abstractions from tests

    Naik, M., Yang, H., Castelnuovo, G. & Sagiv, M., 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 373-385 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Concurrent data representation synthesis

    Hawkins, P., Aiken, A., Fisher, K., Rinard, M. & Sagiv, M., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 417-427 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Eventually consistent transactions

    Burckhardt, S., Leijen, D., Fähndrich, M. & Sagiv, M., 2012, 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, Proceedings. p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7211 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • JANUS: Exploiting parallelism via hindsight

    Tripp, O., Manevich, R., Field, J. & Sagiv, M., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 145-155 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reasoning about lock placements

    Hawkins, P., Aiken, A., Fisher, K., Rinard, M. & Sagiv, M., 2012, 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, Proceedings. p. 336-356 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7211 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Understanding the behavior of database operations under program control

    Tamayo, J. M., Aiken, A., Bronson, N. & Sagiv, M., 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 983-995 13 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2011

    Automatic fine-grain locking using shape properties

    Golan-Gueta, G., Bronson, N., Alex, A., Ramalingam, G., Sagiv, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 225-241 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data representation synthesis

    Hawkins, P., Aiken, A., Fisher, K., Rinard, M. & Sagiv, M., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 38-49 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • HAWKEYE: Effective discovery of dataflow impediments to parallelization

    Tripp, O., Yorsh, G., Field, J. & Sagiv, M., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 207-223 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Precise and compact modular procedure summaries for heap manipulating programs

    Dillig, I., Dillig, T., Aiken, A. & Sagiv, M., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 567-577 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Testing atomicity of composed concurrent operations

    Shacham, O., Bronson, N., Aiken, A., Sagiv, M., Vechev, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 51-64 14 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2010

    A dynamic evaluation of the precision of static heap abstractions

    Liang, P., Tripp, O., Naik, M. & Sagiv, M., 2010, OOPSLA'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. p. 411-427 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review