Cormac

Results: 158



#Item
31

Type Inference Against Races Cormac Flanagan1 and Stephen N. Freund2 1 Dept. of Computer Science, University of California at Santa Cruz, Santa Cruz, CA 95064⋆ 2

Add to Reading List

Source URL: dept.cs.williams.edu

Language: English - Date: 2007-08-07 13:03:20
    32

    Dynamic Architecture Extraction! Cormac Flanagan1 and Stephen N. Freund2 1 Dept. of Computer Science, University of California at Santa Cruz, Santa Cruz, CA

    Add to Reading List

    Source URL: dept.cs.williams.edu

    Language: English - Date: 2007-08-07 13:03:17
      33

      Nobody Sells Gold for the Price of Silver: Dishonesty, Uncertainty and the Underground Economy Cormac Herley and Dinei Florencio ˆ Microsoft Research One Microsoft Way

      Add to Reading List

      Source URL: weis09.infosecon.net

      Language: English - Date: 2013-09-01 23:23:37
        34

        Type-Based Race Detection for Java Cormac Flanagan Compaq Systems Research Center 130 Lytton Ave. Palo Alto, CA 94301

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2007-08-07 13:03:19
          35

          Journal de Th´eorie des Nombres de Bordeaux), 131–163 Unipotent vector bundles and higher-order non-holomorphic Eisenstein series par Jay JORGENSON et Cormac O’SULLIVAN

          Add to Reading List

          Source URL: almira.math.u-bordeaux.fr

          Language: English - Date: 2008-07-02 10:00:56
            36

            Science of Computer Programming–109 www.elsevier.com/locate/scico Atomizer: A dynamic atomicity checker for multithreaded programs Cormac Flanagan a,∗ , Stephen N. Freund b a Department of Computer Scien

            Add to Reading List

            Source URL: dept.cs.williams.edu

            Language: English - Date: 2008-04-23 15:51:13
              37

              Exploiting Purity for Atomicity Cormac Flanagan Stephen N. Freund Shaz Qadeer Department of Computer Science Computer Science Department Microsoft Research University of California, Santa Cruz

              Add to Reading List

              Source URL: dept.cs.williams.edu

              Language: English - Date: 2007-08-07 13:03:19
                38

                Types for Atomicity: Static Checking and Inference for Java CORMAC FLANAGAN University of California at Santa Cruz STEPHEN N. FREUND and MARINA LIFSHIN Williams College

                Add to Reading List

                Source URL: dept.cs.williams.edu

                Language: English - Date: 2008-07-30 18:43:47
                  39

                  Adversarial Memory for Detecting Destructive Races Cormac Flanagan Stephen N. Freund Computer Science Department

                  Add to Reading List

                  Source URL: dept.cs.williams.edu

                  Language: English - Date: 2010-03-25 18:59:31
                    UPDATE