publications

2023

1. FSE ’23

   TransMap: Pinpointing Mistakes in Neural Code Translation

   Bo Wang, Ruishi Li, Mingkai Li, and 1 more author

   In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, , San Francisco, CA, USA, , 2023

   Bib

   @inproceedings{transmap,
     author = {Wang, Bo and Li, Ruishi and Li, Mingkai and Saxena, Prateek},
     title = {TransMap: Pinpointing Mistakes in Neural Code Translation},
     year = {2023},
     isbn = {9798400703270},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3611643.3616322},
     doi = {10.1145/3611643.3616322},
     booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
     pages = {999–1011},
     numpages = {13},
     keywords = {Code Translation, Semantic Mistakes, Large Language Models},
     location = {<conf-loc>, <city>San Francisco</city>, <state>CA</state>, <country>USA</country>, </conf-loc>},
     series = {ESEC/FSE 2023},
   }

2. OOPSLA ’23

   User-Customizable Transpilation of Scripting Languages

   Bo Wang, Aashish Kolluri, Ivica Nikolić, and 2 more authors

   Proc. ACM Program. Lang., Apr 2023

   Bib

   @article{duoglot,
     author = {Wang, Bo and Kolluri, Aashish and Nikoli\'{c}, Ivica and Baluta, Teodora and Saxena, Prateek},
     title = {User-Customizable Transpilation of Scripting Languages},
     year = {2023},
     issue_date = {April 2023},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {7},
     number = {OOPSLA1},
     url = {https://doi.org/10.1145/3586034},
     doi = {10.1145/3586034},
     journal = {Proc. ACM Program. Lang.},
     month = apr,
     articleno = {82},
     numpages = {29},
     keywords = {Program Translation, Program Synthesis},
   }

2021

1. FSE ’21

   SynGuar: guaranteeing generalization in programming by example

   Bo Wang, Teodora Baluta, Aashish Kolluri, and 1 more author

   In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, Apr 2021

   Bib

   @inproceedings{synguar,
     author = {Wang, Bo and Baluta, Teodora and Kolluri, Aashish and Saxena, Prateek},
     title = {SynGuar: guaranteeing generalization in programming by example},
     year = {2021},
     isbn = {9781450385626},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3468264.3468621},
     doi = {10.1145/3468264.3468621},
     booktitle = {Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
     pages = {677–689},
     numpages = {13},
     keywords = {Generalization, Program Synthesis, Sample Complexity},
     location = {Athens, Greece},
     series = {ESEC/FSE 2021},
   }

2. CHI ’21

   Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences

   Valerie Zhao, Lefan Zhang, Bo Wang, and 3 more authors

   In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, Apr 2021