most citedAutomatically Tailoring Static Analysis to Custom Usage Scenarios

1 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2022★ 1 cited

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)

Benjamin Mariano, Yanju Chen, Yu Feng +2

While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no…