SWS

Results: 2096



#Item
91

Formalizing the Concurrency Semantics of an LLVM Fragment Soham Chakraborty Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS), Germany

Add to Reading List

Source URL: plv.mpi-sws.org

- Date: 2016-12-07 07:19:23
    92

    Explaining Relaxed Memory Models with Program Transformations Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. Weak memory models determine the behavior of concurrent

    Add to Reading List

    Source URL: plv.mpi-sws.org

    - Date: 2016-09-05 11:10:34
      93

      Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

      Add to Reading List

      Source URL: plv.mpi-sws.org

      - Date: 2017-01-19 08:43:04
        94

        1 RustBelt: Securing the Foundations of the Rust Programming Language RALF JUNG, MPI-SWS∗ JACQUES-HENRI JOURDAN, MPI-SWS∗ ROBBERT KREBBERS, Delft University of Technology

        Add to Reading List

        Source URL: people.mpi-sws.org

        - Date: 2017-07-11 04:25:01
          95

          The Newsletter of Sociologists for Women in Society Miami Nice: Winter 2005 Meeting By: Marlese Durr SWS President

          Add to Reading List

          Source URL: www.socwomen.org

            96

            SUMMER 2007  VOLUME XXIIII NO. 2 Networknews The Newsletter of Sociologists for Women in Society SWS Summer Meeting

            Add to Reading List

            Source URL: www.socwomen.org

              97

              SWS Girls and Education Fact Sheet Final May

              Add to Reading List

              Source URL: www.socwomen.org

                98

                The Newsletter of Sociologists for Women in Society Summer in Philly Our 34th Year of Advocacy, Activism and Service to Women By: Marlese Durr SWS President

                Add to Reading List

                Source URL: www.socwomen.org

                  99

                  FALL 2007  VOLUME XXIIII NO. 3 Networknews The Newsletter of Sociologists for Women in Society SWS Meetings in NYC August

                  Add to Reading List

                  Source URL: www.socwomen.org

                    100

                    Microsoft Word - SWS.fact sheet.enarson.final1.doc

                    Add to Reading List

                    Source URL: www.socwomen.org

                      UPDATE