publications

publications in reversed chronological order.

2025

  1. PLDI ’25
    Program Skeletons for Automated Program Translation
    Bo Wang*, Tianyu Li*, Ruishi Li, Umang Mathur, and Prateek Saxena
    PLDI 2025, 2025
  2. NDSS ’25
    Translating C To Rust: Lessons from a User Study
    Ruishi Li*Bo Wang*, Tianyu Li, Prateek Saxena, and Ashish Kundu
    NDSS 2025, 2025

2023

  1. FSE ’23
    TransMap: Pinpointing Mistakes in Neural Code Translation
    Bo Wang, Ruishi Li, Mingkai Li, and Prateek Saxena
    In FSE 2023, , San Francisco, CA, USA, , 2023
  2. OOPSLA ’23
    User-Customizable Transpilation of Scripting Languages
    Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena
    Proc. ACM Program. Lang. (OOPSLA 2023), Apr 2023

2021

  1. FSE ’21
    SynGuar: guaranteeing generalization in programming by example
    Bo Wang, Teodora Baluta, Aashish Kolluri, and Prateek Saxena
    In FSE 2021, Athens, Greece, Apr 2021
  2. CHI ’21
    Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences
    Valerie Zhao, Lefan Zhang, Bo Wang, Michael L. Littman, Shan Lu, and Blase Ur
    In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, Apr 2021