Large language models (LLMs) show promise in code translation-the task of translating
code written in one programming language to another language-due to their ability to write …

Many software projects implement APIs and algorithms in multiple programming languages.
Maintaining such projects is tiresome, as developers have to ensure that any change (eg, a …

Finding errors in machine learning applications requires a thorough exploration of their
behavior over data. Existing approaches used by practitioners are often ad-hoc and lack the …

The goal of programmatic Learning from Demonstration (LfD) is to learn a policy in a
programming language that can be used to control a robot's behavior from a set of user …

A transpiler converts code from one programming language to another. Many practical uses
of transpilers require the user to be able to guide or customize the program produced from a …

Hardware accelerators, in particular accelerators for tensor processing, have many potential
application domains. However, they currently lack the software infrastructure to support the …

Code deobfuscation, which attempts to simplify code that has been intentionally obfuscated
to prevent understanding, is a critical technique for downstream security analysis tasks like …

To keep up with changes in requirements, frameworks, and coding practices, software
organizations might need to migrate code from one language to another. Source-to-source …

Online streaming algorithms, tailored for continuous data processing, offer substantial
benefits but are often more intricate to design than their offline counterparts. This paper …

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) …