Add to ORKG... programs; well-typed programs in our system are guaranteed to be free of data races and deadlocks. Our type system allows programmers to partition the locks into a xed number of equivalence classes and specify a partial order among the equivalence classes. The type checker then statically verifies that whenever a thread holds more than one lock, the thread acquires the locks in the descending order. Our syste
This paper presents a technique for deadlock detection of Java programs. The technique uses typing r...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...
This paper presents a new static type system for multithreaded programs; any well-typed program in o...
This paper presents a static race-detection analysis for multithreaded shared-memory programs, focus...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Many concurrency models have been developed for high-level programming lan-guages such as Java. A tr...
AbstractThere are many mechanisms for concurrency control in high-level programming languages. In Ja...
Concurrency is a requirement for much modern software, but the implementation of multithreaded algor...
Abstract. Concurrent programs are notorious for containing errors that are difficult to reproduce an...
Abstract. Type systems for programming languages help reasoning about program behavior and early fin...
International audienceDeadlocks are a common problem in programs with lock-based concurrency and are...
Active objects are an attractive method of introducing con-currency into Java-like languages by deco...
International audienceDeadlock analysis of multi-threaded programs with reentrant locks is complex b...
We have created a framework for adding custom type qual-ifiers to the Java language in a backward-co...
This paper presents a technique for deadlock detection of Java programs. The technique uses typing r...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...
This paper presents a new static type system for multithreaded programs; any well-typed program in o...
This paper presents a static race-detection analysis for multithreaded shared-memory programs, focus...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Many concurrency models have been developed for high-level programming lan-guages such as Java. A tr...
AbstractThere are many mechanisms for concurrency control in high-level programming languages. In Ja...
Concurrency is a requirement for much modern software, but the implementation of multithreaded algor...
Abstract. Concurrent programs are notorious for containing errors that are difficult to reproduce an...
Abstract. Type systems for programming languages help reasoning about program behavior and early fin...
International audienceDeadlocks are a common problem in programs with lock-based concurrency and are...
Active objects are an attractive method of introducing con-currency into Java-like languages by deco...
International audienceDeadlock analysis of multi-threaded programs with reentrant locks is complex b...
We have created a framework for adding custom type qual-ifiers to the Java language in a backward-co...
This paper presents a technique for deadlock detection of Java programs. The technique uses typing r...
We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and ...
This paper introduces the Checker Framework, which supports adding pluggable type systems to the Jav...