Yuepeng Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Synthesizing Document Database Queries Using Collection Abstractions. | Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang |
| 2025 | MOBICOM | Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine. | Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko |
| 2024 | ICSE | Verifying Declarative Smart Contracts. | Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo |
| 2022 | ICLR | CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. | Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik |
| 2022 | TACAS | Automatic Repair for Network Programs. | Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo |
| 2021 | PLDI | Synthesizing data structure refinements from integrity constraints. | Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig |
| 2021 | UIST | Sporq: An Interactive Environment for Exploring Code using Query-by-Example. | Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman |
| 2019 | PLDI | Synthesizing database programs for schema refactoring. | Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig |
| 2017 | POPL | Component-based synthesis for complex APIs. | Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps |
| 2013 | INFOCOM | Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications. | Kai Xing, Tianbo Gu, Zhengang Zhao, Lei Shi, Yunhao Liu, Pengfei Hu, Yuepeng Wang, Yi Liang, Shuo Zhang, Yang Wang, Liusheng Huang |
| 2013 | INFOCOM | Mutual privacy-preserving regression modeling in participatory sensing. | Kai Xing, Zhiguo Wan, Pengfei Hu, Haojin Zhu, Yuepeng Wang, Xi Chen, Yang Wang, Liusheng Huang |
| 2013 | INFOCOM | A localized backbone renovating algorithm for wireless ad hoc and sensor networks. | Kai Xing, Shuo Zhang, Lei Shi, Haojin Zhu, Yuepeng Wang |