Skip to search formSkip to main contentSkip to account menu
STMBench7: a benchmark for software transactional memory
TLDR
STMBench7 is presented: a candidate benchmark for evaluating STM implementations and illustrated with an evaluation of a well-known software transactional memory implementation.
View on ACM
Flexible Alias Protection
TLDR
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.
View via Publisher
An analysis of the dynamic behavior of JavaScript programs
TLDR
An empirical study of the dynamic behavior of a corpus of widely-used JavaScript programs is performed, and how and why the dynamic features are used are analyzed.
View on ACM
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications
TLDR
A large-scale study of the use of eval in JavaScript-based web applications is presented, providing statistics on the nature and content of strings used in eval expressions, as well as their provenance and data obtained by observing their dynamic behavior.
View via Publisher
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…
View on Wiley
A real-time Java virtual machine with applications in avionics
TLDR
The first use of Real-time Java inAvionics in avionics in the context of control software for a ScanEagle Unmanned Aerial Vehicle is presented.
View on ACM
A transactional object calculus
View via Publisher
Is sound gradual typing dead?
TLDR
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.
View on ACM
CDx: a family of real-time Java benchmarks
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…
View on ACM
Seal: A Framework for Secure Mobile Computations
TLDR
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.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License