Flanagan

Results: 915



#Item
51

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
    52

    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
      53

      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
        54

        Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs Cormac Flanagan Department of Computer Science University of California at Santa Cruz Santa Cruz, CA 95064

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2007-08-07 13:03:18
          55

          BELMAN AND FLANAGAN Designing Games to Foster Empathy Jonathan Belman New York University

          Add to Reading List

          Source URL: www.maryflanagan.com

          Language: English - Date: 2010-04-08 22:25:09
            56

            Automatic Synchronization Correction for Atomicity Cormac Flanagan Stephen N. Freund Department of Computer Science

            Add to Reading List

            Source URL: dept.cs.williams.edu

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

              2014 LPC Contest Results Category 1: Most Improved Publication (James Flanagan Award) 1st: Cow Country: The official magazine of the Wyoming Stock Growers Association In judging this category, I really looked for improv

              Add to Reading List

              Source URL: www.livestockpublications.com

              Language: English - Date: 2016-02-18 12:26:26
                58

                Analysis Techniques to Detect Concurrency Errors (part 2) Cormac Flanagan UC Santa Cruz

                Add to Reading List

                Source URL: dept.cs.williams.edu

                Language: English - Date: 2014-07-29 16:47:47
                  59

                  FastTrack: Efficient and Precise Dynamic Race Detection Cormac Flanagan Stephen N. Freund Computer Science Department

                  Add to Reading List

                  Source URL: dept.cs.williams.edu

                  Language: English - Date: 2009-04-16 21:42:39
                    UPDATE