| 2026 |
— |
conf |
ASPLOS (1)
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
|
| 2025 |
J |
jnl |
CoRR
Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik
|
| 2025 |
A* |
conf |
ICLR
Ziyang Li, Saikat Dutta, Mayur Naik
|
| 2025 |
A* |
conf |
ICLR
Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim
|
| 2025 |
J |
jnl |
CoRR
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
|
| 2025 |
J |
jnl |
CoRR
Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
|
| 2025 |
J |
jnl |
CoRR
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik
|
| 2025 |
A |
conf |
ICST
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
|
| 2024 |
A* |
conf |
ICML
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
|
| 2024 |
A* |
conf |
NeurIPS
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Ziyang Li, Saikat Dutta, Mayur Naik
|
| 2024 |
J |
jnl |
Found. Trends Program. Lang.
Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik
|
| 2024 |
J |
jnl |
CoRR
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
|
| 2024 |
A* |
conf |
AAAI
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
|
| 2024 |
A* |
conf |
USENIX Security Symposium
Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
|
| 2023 |
— |
conf |
ACL (Findings)
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
|
| 2023 |
J |
jnl |
CoRR
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
|
| 2023 |
J |
jnl |
CoRR
Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim
|
| 2023 |
J |
jnl |
CoRR
Ziyang Li, Jiani Huang, Mayur Naik
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Ziyang Li, Jiani Huang, Mayur Naik
|
| 2023 |
J |
jnl |
CoRR
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
|
| 2021 |
A* |
conf |
SP
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
|
| 2021 |
A* |
conf |
NeurIPS
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
|
| 2020 |
A* |
conf |
ICLR
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
|