Share This Author
STMBench7: a benchmark for software transactional memory
- R. Guerraoui, M. Kapalka, J. Vitek
- Computer ScienceEuroSys '07
- 21 March 2007
TLDR
Flexible Alias Protection
TLDR
An analysis of the dynamic behavior of JavaScript programs
- G. Richards, Sylvain Lebresne, Brian Burg, J. Vitek
- Computer SciencePLDI '10
- 5 June 2010
TLDR
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications
- G. Richards, Christian Hammer, Brian Burg, J. Vitek
- Computer ScienceECOOP
- 25 July 2011
TLDR
Confined types in Java
- J. Vitek, Boris Bokowski
- Computer ScienceSoftw. Pract. Exp.
- 1 May 2001
The sharing and transfer of references in object‐oriented languages is difficult to control. Without any constraint, practical experience has shown that even carefully engineered object‐oriented code…
A real-time Java virtual machine with applications in avionics
- A. Armbruster, J. Baker, J. Vitek
- Computer ScienceTECS
- 1 December 2007
TLDR
A transactional object calculus
- S. Jagannathan, J. Vitek, Adam Welc, Antony Lloyd Hosking
- Computer ScienceSci. Comput. Program.
- 1 August 2005
Is sound gradual typing dead?
- Asumu Takikawa, Daniel Feltey, B. Greenman, Max S. New, J. Vitek, M. Felleisen
- Computer SciencePOPL
- 11 January 2016
TLDR
CDx: a family of real-time Java benchmarks
- T. Kalibera, J. Hagelberg, F. Pizlo, Ales Plsek, Ben L. Titzer, J. Vitek
- Computer ScienceJTRES '09
- 22 September 2009
Java is becoming a viable platform for hard real-time computing. There are production and research real-time Java VMs, as well as applications in both military and civil sector. Technological…
Seal: A Framework for Secure Mobile Computations
- J. Vitek, G. Castagna
- Computer ScienceICCL Workshop: Internet Programming Languages
- 13 May 1998
TLDR
...
...