Share This Author
STMBench7: a benchmark for software transactional memory
STMBench7 is presented: a candidate benchmark for evaluating STM implementations and illustrated with an evaluation of a well-known software transactional memory implementation.
Flexible Alias Protection
Using flexible alias protection, programs can incorporate mutable objects, immutable values, and updatable collections of shared objects, in a natural object oriented programming style, while avoiding the problems caused by aliasing.
Confined types in Java
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
The first use of Real-time Java inAvionics in avionics in the context of control software for a ScanEagle Unmanned Aerial Vehicle is presented.
A transactional object calculus
Is sound gradual typing dead?
- Asumu Takikawa, Daniel Feltey, B. Greenman, Max S. New, J. Vitek, M. Felleisen
- Computer SciencePOPL
- 11 January 2016
A method for evaluating the performance of gradually-typed programming languages based on exploring the space of partial conversions from untyped to typed and how tools could be used to steer programmers clear from pathological cases is proposed.
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
The design choices of the Seal calculus are motivated, the syntax and reduction semantics of the calculus are presented, and its expressiveness is demonstrated by examples focused on security and management distributed systems.