Dan Grossman  Home/Search
Context Related
| cornell.edu/home/daniel...cycthreads.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cornell.edu/home/d...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system statically guarantees their absence by enforcing that thread-shared data is protected via locking and that threadlocal data does not escape the thread that creates it. The extensions interact smoothly with parametric polymorphism and region-based memory management. We present a formal abstract machine that models the... (Update)
Cited by: More
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (Correct)
Active bibliography (related documents): More All
0.1: Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
0.0: Task/Scheduler Logic: Reasoning about Concurrency in.. - Reid, Regehr (2002) (Correct)
0.0: Dependence Analysis for Java - Craig Chambers Igor (1999) (Correct)
Similar documents based on text: More All
0.4: Region-Based Memory Management in Cyclone - Grossman, Morrisett, Jim.. (Correct)
0.4: Cyclone: A safe dialect of C - Jim, Morrisett, Grossman, Hicks.. (2001) (Correct)
0.3: Formal Type Soundness for Cyclone's Region System - Grossman, Morrisett, Jim.. (2001) (Correct)
Related documents from co-citation: More All
10: Type-based race detection for java - Flanagan, Freund - 2000
9: Types for safe locking - Flanagan, Abadi - 1999
9: Region-based memory management in Cyclone - Grossman, Morrisett et al.
BibTeX entry: (Update)
D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003. http://citeseer.ist.psu.edu/grossman03typesafe.html More
@misc{ grossman03typesafe,
author = "D. Grossman",
title = "Type-safe multithreading in Cyclone",
text = "D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types
in Language Design and Implementation (TLDI), January 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/grossman03typesafe.html" }
Citations (may not include all citations):67 Escape analysis for object oriented languages (context) - Blanchet - 1999
43 Ownership types for safe programming: Preventing data races .. - Boyapati, Lee et al. - 2002
43 A parameterized type system for race-free Java programs - Boyapati, Rinard
36 Guava: A dialect of Java without data races - Bacon, Strom et al. - 2000
11 Eliminating unnecessary synchronization from Java programs (context) - Aldrich, Chambers et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cornell.edu/home/danieljg/publications.html): More
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (Correct)
Compiling for Template-Based Run-Time Code Generation - Smith, Grossman.. (2002) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC