Venkatesan Guruswami, Bingkai Lin, Xuandi Ren, Yican Sun, Kewen Wu
(2024).
Parameterized Inapproximability Hypothesis under ETH.
The 56th Annual ACM Symposium on Theory of Computing (STOC'24, Best Paper Award).
Jinyi Wang$^*$, Yican Sun$^*$, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady
(2021).
Quantitative Analysis of Assertion Violations in Probabilistic Programs.
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI'21).