Modern programs are increasingly multilanguage, to benefit from each programming
language's advantages and to reuse libraries. For example, developers may want to …

Rust is a promising system-level programming language that can prevent memory
corruption bugs using its strong type system and ownership-based memory management …

Programmers maintain and evolve their software in a variety of programming languages to
take advantage of various control/data abstractions and legacy libraries. The programming …

Python has become one of the most popular programming languages in the era of data
science and machine learning, especially for its diverse libraries and extension modules …

Context: The programming language ecosystem has diversified over the last few decades.
Non-trivial programs are likely to be written in more than a single language to take …

In this thesis, we aim at designing both theoretically and experimentally methods for the
automatic detection of potential bugs in software–or the proof of the absence thereof. This …

Static type inference is an effective way to maintain the safety of programs written in a
dynamically typed language. However, foreign functions implemented in another …

Numerous studies demonstrate that browser fingerprinting is detrimental to users' security
and privacy. However, little is known about the effects of browser fingerprinting on Android …

Python is a popular programming language that uses reference counting to manage heap
objects. Python also has a Foreign Function Interface (FFI) that allows Python extension …

Python is a popular programming language, and a large part of its appeal comes from
diverse libraries and extension modules. In the bloom of data science and machine learning …