34 citations · 69 across the 14 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Mostly Automatic Translation of Language Interpreters from C to Safe Rust
Bo Wang, Brandon Paulsen, Joey Dodds +3
Translating C programs to safe Rust is challenging owing to significant differences in typing constraints, ownership, and borrowing rules. Interpreter programs are particularly imp…
cs.PL2025
Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li, Ruishi Li +2
Translating software between programming languages is a challenging task, for which automated techniques have been elusive and hard to scale up to larger programs. A key difficulty…
cs.PL2021
SynGuar: Guaranteeing Generalization in Programming by Example
Bo Wang, Teodora Baluta, Aashish Kolluri +1
Programming by Example (PBE) is a program synthesis paradigm in which the synthesizer creates a program that matches a set of given examples. In many applications of such synthesis…