• Publications
  • Influence
STMBench7: a benchmark for software transactional memory
TLDR
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. Expand
  • 243
  • 33
  • PDF
Flexible Alias Protection
TLDR
Flexible alias protection is a conceptual model of inter-object relationships which limits the visibility of changes via aliases, allowing objects to be aliased but mitigating the undesirable effects of aliasing. Expand
  • 375
  • 24
  • PDF
An analysis of the dynamic behavior of JavaScript programs
TLDR
In this paper we perform an empirical study of the dynamic behavior of a corpus of widely-used JavaScript programs, and analyze how and why the dynamic features are used. Expand
  • 355
  • 20
  • PDF
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications
TLDR
This paper presents a large-scale study of the use of eval in JavaScript-based web applications. Expand
  • 196
  • 18
  • PDF
Confined types in Java
TLDR
In this paper, we present inexpensive syntactic constraints that strengthen encapsulation by imposing static restrictions on the spread of references. Expand
  • 111
  • 18
  • PDF
A transactional object calculus
TLDR
A transaction defines a locus of computation that satisfies important concurrency and failure properties. Expand
  • 62
  • 13
  • PDF
A real-time Java virtual machine with applications in avionics
TLDR
This paper reports on our experience with the implementation of the Real-time Specification for Java on the Ovm open source Java virtual machine. Expand
  • 110
  • 12
  • PDF
CDx: a family of real-time Java benchmarks
TLDR
This paper presents the x (Collision Detector) benchmark suite, an open source application benchmark suite that targets different hard and soft real-time virtual machines. Expand
  • 84
  • 11
  • PDF
Real-time Java scoped memory: design patterns and semantics
TLDR
We give an informal introduction to the semantics of the scope management rules of the RTSJ, and present a number of design patterns for effectively using the scoped memory area API. Expand
  • 103
  • 10
  • PDF
The Seal Calculus
TLDR
We propose type systems for characterising the communications in which an agent can engage. Expand
  • 94
  • 10
  • PDF