Flanagan

Results: 915



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

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
    52Types for Atomicity: Static Checking and Inference for Java CORMAC FLANAGAN University of California at Santa Cruz STEPHEN N. FREUND and MARINA LIFSHIN Williams College

    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
      53Adversarial Memory for Detecting Destructive Races Cormac Flanagan Stephen N. Freund Computer Science Department

      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
        54Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs Cormac Flanagan Department of Computer Science University of California at Santa Cruz Santa Cruz, CA 95064

        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
          55BELMAN AND FLANAGAN Designing Games to Foster Empathy Jonathan Belman New York University

          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
            56Automatic Synchronization Correction for Atomicity Cormac Flanagan Stephen N. Freund Department of Computer Science

            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
              572014 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

              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
                58Analysis Techniques to Detect Concurrency Errors (part 2) Cormac Flanagan UC Santa Cruz

                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
                  59FastTrack: Efficient and Precise Dynamic Race Detection Cormac Flanagan Stephen N. Freund Computer Science Department

                  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