Concept
Java bytecode
Related publications (32)
ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant
Martin Odersky, Vlad Ureche, Cédric Bastin
The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...
ACM2014Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
Martin Odersky, Vlad Ureche, Cristian Talau
Parametric polymorphism enables code reuse and type safety. Underneath the uniform interface exposed to programmers, however, its low level implementation has to cope with inherently non-uniform data: value types of different sizes and semantics (bytes, in ...
2013Using Reified Types for Specialization
Generic code increases programmer productivity as it increases code reuse. For example, the LinkedList abstraction can be used in many contexts, from storing a list of numbers to storing representations of files on the disk. Unfortunately this comes at the ...
2013Memory Power Optimization of Java-Based Embedded Systems Exploiting Garbage Collection Information
Nowadays, Java is used in all types of embedded devices. For these memory-constrained systems, the automatic dynamicmemorymanager (Garbage Collector or GC) has been always a key factor in terms of the Java Virtual Machine (JVM) performance. Moreover, in cu ...
Elsevier2012Towards Static Analysis of Virtualization-Obfuscated Binaries
Virtualization-obfuscation protects a program from manual or automated analysis by compiling it into bytecode for a randomized virtual architecture and attaching a corresponding interpreter. Static analysis appears to be helpless on such programs, where on ...
IEEE2012Fine-grained Parallel Traversals of Irregular Data Structures
Fine-grain data parallelism is increasingly common in mainstream processors in the form of long vectors and on-chip GPUs. This paper develops compiler and runtime support to exploit such data parallelism for non-numeric, non-graphic, irregular parallel tas ...
ACM2012Miniboxing: An Encoding for Specialization
In the presence of parametric polymorphism, erasure-based languages such as Java and Scala handle primitives (boolean values, integers and floating point numbers) in a suboptimal way: in order to provide a uniform representation on the low level, all primi ...
2012On the Performance of Software Transactional Memory
The recent proliferation of multi-core processors has moved concurrent programming into mainstream by forcing increasingly more programmers to write parallel code. Using traditional concurrency techniques, such as locking, is notoriously difficult and has ...
EPFL2012