J. Vitek

Publications
Influence

STMBench7: a benchmark for software transactional memory

R. Guerraoui, M. Kapalka, J. Vitek
Computer Science
EuroSys '07
21 March 2007

Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. Expand

Flexible Alias Protection

J. Noble, J. Vitek, J. Potter
Computer Science
ECOOP
20 July 1998

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

An analysis of the dynamic behavior of JavaScript programs

G. Richards, Sylvain Lebresne, B. Burg, J. Vitek
Computer Science
PLDI '10
5 June 2010

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

The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications

G. Richards, C. Hammer, B. Burg, J. Vitek
Computer Science
ECOOP
25 July 2011

This paper presents a large-scale study of the use of eval in JavaScript-based web applications. Expand

Confined types in Java

J. Vitek, Boris Bokowski
Computer Science
Softw. Pract. Exp.
1 May 2001

In this paper, we present inexpensive syntactic constraints that strengthen encapsulation by imposing static restrictions on the spread of references. Expand

A transactional object calculus

S. Jagannathan, J. Vitek, Adam Welc, A. Hosking
Computer Science
Sci. Comput. Program.
1 August 2005

A transaction defines a locus of computation that satisfies important concurrency and failure properties. Expand

A real-time Java virtual machine with applications in avionics

A. Armbruster, J. Baker, +6 authors J. Vitek
Computer Science
TECS
1 December 2007

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

CDx: a family of real-time Java benchmarks

T. Kalibera, J. Hagelberg, F. Pizlo, Ales Plsek, Ben L. Titzer, J. Vitek
Computer Science
JTRES '09
22 September 2009

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

Real-time Java scoped memory: design patterns and semantics

F. Pizlo, J. Fox, D. Holmes, J. Vitek
Computer Science
Seventh IEEE International Symposium onObject…
14 May 2004

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

The Seal Calculus

G. Castagna, J. Vitek, F. Nardelli
Computer Science
Inf. Comput.
25 August 2005

We propose type systems for characterising the communications in which an agent can engage. Expand

Recommended Authors