The rapid advancement of Large Language Models (LLMs) has opened up new
opportunities for leveraging artificial intelligence in various domains, including cybersecurity …

Large language models (LLMs) have demonstrated significant potential in various tasks,
including vulnerability detection. However, current efforts in this area are preliminary, lacking …

While static analysis is instrumental in uncovering software bugs, its precision in analyzing
large and intricate codebases remains challenging. The emerging prowess of Large …

Static analysis is essential for program optimization, bug detection, and debugging, but its
reliance on compilation and limited customization hampers practical use. Advances in LLMs …

Modern software necessarily implements task-level mechanisms designed to anticipate and
handle transient errors. Such mechanisms include retry, cancellation, checkpointing and …

Language models (LMs) have become a staple of the code-writing toolbox. Their pre-
training recipe has, however, remained stagnant over recent years, barring the occasional …

In this position paper, we examine some of the assumptions held about logic and its
relevance to the development of modern AI, which is primarily driven by deep learning. The …