Cloud computing as a new internet-based computing model provides different resources as
a service dynamically. Today, cloud computing is actually one of the main improvements in …

Secure compilation is a discipline aimed at developing compilers that preserve the security
properties of the source programs they take as input in the target programs they produce as …

Smart speakers such as Alexa and Google Home introduced Artificial Intelligence (AI) in
millions soon billions of households, making AI an everyday experience. We can now look …

Shared expectations and mutual understanding are critical facets of teamwork. Achieving
these in human-robot collaborative contexts can be especially challenging, as humans and …

The authors hypothesized that both narcissism and high self-esteem are associated with
positive self-views but each is associated with positivity in different domains of the self …

Automatic static analysis tools (ASATs) are instruments that support code quality
assessment by automatically detecting defects and design issues. Despite their popularity …

This paper presents the FormAI dataset, a large collection of 112,000 AI-generated
compilable and independent C programs with vulnerability classification. We introduce a …

Currently, machine learning (ML) techniques are at the heart of smart cyber-physical
systems (CPSs) and Internet-of-Things (loT). This article discusses various challenges and …

The use of automatic static analysis has been a software engineering best practice for
decades. However, we still do not know a lot about its use in real-world software projects …

The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to
make them smarter. A variety of applications now run simultaneously on an ARM-based …