Refinement

Results: 838



#Item
51

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:17
    52

    Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-12-12 13:01:34
      53

      Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2017-04-23 14:12:56
        54

        Workshop • RIETVELD REFINEMENT OF DIFFRACTION PATTERNS Program Monday June 1st, – 13.00 • Introduction to Rietveld refinement

        Add to Reading List

        Source URL: www.ecole.ensicaen.fr

        - Date: 2010-07-05 09:52:26
          55

          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
            56

            Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

            Add to Reading List

            Source URL: kennknowles.com

            - Date: 2011-09-06 01:40:50
              57

              Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-11-23 00:38:18
                58

                Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

                Add to Reading List

                Source URL: locore.cs.washington.edu

                - Date: 2016-10-05 18:29:44
                  59

                  2019_Refinement_List_of_Authors_and_Review_Editors_10Nov17.xlsx

                  Add to Reading List

                  Source URL: www.ipcc-nggip.iges.or.jp

                  - Date: 2017-11-15 23:26:35
                    60

                    Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala

                    Add to Reading List

                    Source URL: goto.ucsd.edu

                    - Date: 2015-02-28 03:26:59
                      UPDATE