The promise of software sandboxing is flexible, fast and portable isolation; capturing the
benefits of hardwarebased memory protection without requiring operating system …

Model optimization, such as pruning and quantization, has become the de facto pre-
deployment phase when deploying deep learning (DL) models on resource-constrained …

Software construction using multiple languages has long been a norm, yet it is still unclear if
multilingual code construction has significant security implications and real security …

Academic research in static analysis produces software implementations. These
implementations are time-consuming to develop and some need to be maintained in order …

Declarative static program analysis has become one of the widely‐used program analysis
techniques. Declarative static analyzers perform three steps: creating databases of facts …

Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able
to analyze C, Python, and programs mixing these two languages; we focus on the C analysis …

Scripting languages are continuously gaining popularity due to their ease of use and the
flourishing software ecosystems surrounding them. These languages offer crash and …

Modern software engineering revolves around distributed applications. From IoT networks to
client-server infrastructures, the application code is increasingly being divided into separate …

With the popularity of the Python language, com-munity developers create and maintain a lot
of third-party packages. APIs change frequently during the package evolving. Package …

Multilingual programs, whose implementations are made of different languages, are gaining
traction especially in domains, such as web programming, that particularly benefit from the …