SWS

Results: 2096



#Item
111

Unifying Worlds and Resources Ralf Jung, Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS), Saarland University August 30th

Add to Reading List

Source URL: people.mpi-sws.org

- Date: 2015-10-16 08:02:26
    112

    Barrier Proof April 21, 2016 This document gives the Iris version of the specification and proof of the barrier originally presented in

    Add to Reading List

    Source URL: plv.mpi-sws.org

    - Date: 2016-11-09 09:18:07
      113

      WEATHER OBSERVING HISTORY FOR

      Add to Reading List

      Source URL: mcc.sws.uiuc.edu

      - Date: 2006-05-01 09:47:43
        114

        Higher-Order Ghost State Ralf Jung Robbert Krebbers Lars Birkedal

        Add to Reading List

        Source URL: plv.mpi-sws.org

        - Date: 2016-07-02 08:06:15
          115

          On the Free Bridge Across the Digital Divide: Assessing the Quality of Facebook’s Free Basics Service Rijurekha Sen† †

          Add to Reading List

          Source URL: freebasics.mpi-sws.org

          - Date: 2016-10-18 09:58:21
            116

            Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

            Add to Reading List

            Source URL: people.mpi-sws.org

            - Date: 2015-09-30 05:51:35
              117

              ZU064-05-FPR main 5 March 2014

              Add to Reading List

              Source URL: www.mpi-sws.org

              - Date: 2014-03-17 17:58:42
                118

                A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in

                Add to Reading List

                Source URL: concurrency.mpi-sws.org

                - Date: 2010-04-16 08:26:24
                  119

                  URBANA, ILStart of season: End of Season:

                  Add to Reading List

                  Source URL: mcc.sws.uiuc.edu

                  - Date: 2016-06-01 12:28:17
                    120

                    Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

                    Add to Reading List

                    Source URL: www.mpi-sws.org

                    - Date: 2012-11-03 14:37:05
                      UPDATE