Concept
Virtual method table
Related publications (18)
Safe 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 ...
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 ...
ASSOC COMPUTING MACHINERY2020Safe 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 ...
EPFL2020Does scaling player size skew one’s ability to correctly evaluate object sizes in a virtual environment?
Ronan Boulic, Bruno Herbelin, Mathias Guy Delahaye
This paper presents the results of a study performed in order to evaluate whether a navigation technique, based on scaling the user’s avatar, impacts the user’s ability to correctly assess the size of virtual objects in a virtual environment. This study wa ...
Association for Computing Machinery2020JIT works: decide when all data is known (VLDB Women in Database Research Award talk)
When the time comes to make a critical decision, it is of paramount importance to prepare enough so that all the information necessary is available at decision time. Under-preparation leads to uninformed decisions; over-preparation, however, may lead to co ...
ASSOC COMPUTING MACHINERY2020Just-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 ...
EPFL2020SoK: Shining Light on Shadow Stacks
Mathias Josef Payer, Xiangyu Zhang
Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge, i.e., indirect calls through function pointers and virtual calls. Protecting the backwa ...
IEEE COMPUTER SOC2019Initialization patterns in Dotty
Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching met ...
2018Buffer overlow vulnerabilities in CUDA: a preliminary analysis
We present a preliminary study of buffer overflow vulnerabilities in CUDA software running on GPUs. We show how an attacker can overrun a buffer to corrupt sensitive data or steer the execution flow by overwriting function pointers, e.g., manipulating the ...
Springer France2015