Publication
Reflexes: programming abstractions for highly responsive computing in Java
Related publications (82)
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory saf ...
Ieee Computer Soc2024Optimizing Java on Truffle
Java on Truffle is an early-stage implementation of a Java Virtual Machine in Java. So far its development has focused on compatibility and functionality, not addressing performance in a systematic way. This thesis presents a series of experiments on Java ...
2022Preventing Use-After-Free Attacks with Fast Forward Allocation
Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...
USENIX ASSOC2021Safe initialization of objects
The inception of object-oriented programming introduces a category of bugs related to object construction: initialization errors. Every newly created object goes through several initialization states: starting from a state where all fields are uninitialize ...
EPFL2020Just-in-time performance without warm-up
Scala has been developed as a language that deeply integrates with the Java ecosystem. It offers seamless interoperability with existing Java libraries. Since the Scala compiler targets Java bytecode, Scala programs have access to high-performance runtimes ...
EPFL2020A Type-and-Effect System for Object Initialization
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
ASSOC COMPUTING MACHINERY2020Safe Initialization of Objects
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
2020A Type-and-Effect System for Object Initialization
Martin Odersky, Fengyun Liu, Paolo Giosuè Giarrusso, Ondrej Lhoták
Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the cons ...
2020Scalable Synchronization in Shared-Memory Systems: Extrapolating, Adapting, Tuning
As hardware evolves, so do the needs of applications. To increase the performance of an application,
there exist two well-known approaches. These are scaling up an application, using a larger multi-core
platform, or scaling out, by distributing work to mul ...
EPFL2018Every data structure deserves lock-free memory reclamation
Memory-management support for lock-free data structures is well known to be a tough problem. Recent work has successfully reduced the overhead of such schemes. However, applying memory-management support to a data structure remains complex and, in many cas ...
2018