IMDEA

Results: 286



#Item
41

Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

Add to Reading List

Source URL: software.imdea.org

- Date: 2018-02-19 08:49:28
    42

    A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2

    Add to Reading List

    Source URL: software.imdea.org

    - Date: 2016-09-06 10:47:26
      43

      Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain

      Add to Reading List

      Source URL: refal.botik.ru

      - Date: 2017-03-14 08:43:59
        44

        Solving non-linear Horn clauses using a linear Horn clause solver Bishoksan Kafle, John Gallagher and Pierre Ganty Roskilde University, Denmark and IMDEA Software Institute, Spain HCVS’16 Eindhoven

        Add to Reading List

        Source URL: hcvs2016.it.uu.se

        - Date: 2016-04-05 17:42:28
          45

          A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

          Add to Reading List

          Source URL: software.imdea.org

          - Date: 2016-09-06 10:47:15
            46

            Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2018-01-15 12:22:36
              47

              “Is Our Children’s Apps Learning?” Automatically Detecting COPPA Violations Irwin Reyes4 , Primal Wijesekera1,2 , Abbas Razaghpanah3 , Joel Reardon1,4 , Narseo Vallina-Rodriguez4,5 , Serge Egelman1,4 , Christian Kr

              Add to Reading List

              Source URL: eprints.networks.imdea.org

              - Date: 2017-03-23 14:22:28
                48

                Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

                Add to Reading List

                Source URL: software.imdea.org

                - Date: 2018-02-01 06:29:20
                  49

                  Consistency Models with Global Operation Sequencing and their Composition Alexey Gotsman∗1 and Sebastian Burckhardt2 1 2

                  Add to Reading List

                  Source URL: software.imdea.org

                  - Date: 2017-10-15 09:05:33
                    50

                    Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

                    Add to Reading List

                    Source URL: software.imdea.org

                    - Date: 2018-02-20 03:41:12
                      UPDATE