Cloud infrastructures are increasingly managed by Infrastructure-as-Code (IaC) frameworks
(eg, Terraform). IaC frameworks enable cloud users to configure their resources in a …

The rise of proprietary and novel congestion control algorithms (CCAs) opens questions
about the future of Internet utilization, latency, and fairness. However, fully analyzing how …

Cloud computing has transformed the IT industry, but managing cloud infrastructures
remains a difficult task. We make a case for putting today's management practices, known …

We introduce a novel approach for testing static typing implementations based on the
concept of API-driven program synthesis. The idea is to synthesize type-intensive but small …

We introduce a novel approach for testing static typing implementations based on the
concept of API-driven program synthesis. The idea is to synthesize type-intensive but small …

Type-directed component-based program synthesis is the task of automatically building a
function with applications of available components and whose type matches a given goal …

In this paper, we present a new synthesis method based on the novel concept of a constraint
annotated tree automaton (CATA). A CATA is a variant of a finite tree automaton (FTA) …

Large code models (LCMs), pre-trained on vast code corpora, have demonstrated
remarkable performance across a wide array of code-related tasks. Supervised fine-tuning …

This paper presents Siro, a new program transformation framework that translates between
different versions of Intermediate Representations (IR), aiming to better address the issue of …

This paper describes a way to improve the scalability of program synthesis by exploiting
modularity: larger programs are synthesized from smaller programs. The key issue is to …