• AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference
    21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), Tool Paper
    Zitong Zhou, Zixin Huang, Sasa Misailovic

  • ASTRA: Understanding the Practical Impact of Robustness for Probabilistic Programs
    39th Conference on Uncertainty in Artificial Intelligence (UAI 2023)
    Zixin Huang, Saikat Dutta, Sasa Misailovic

  • SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning
    25th International Conference on Fundamental Approaches to Software Engineering (FASE 2022)
    Saikat Dutta, Zixin Huang, Sasa Misailovic

  • Automated Quantized Inference for Probabilistic Programs with AQUA
    Innovations in Systems and Software Engineering: A NASA Journal
    Zixin Huang, Saikat Dutta, and Sasa Misailovic
    Extended version of our ATVA 2021 paper

  • Automated Quantized Inference for Probabilistic Programs
    19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
    Zixin Huang, Saikat Dutta, and Sasa Misailovic

  • Program Reduction for Testing and Debugging Probabilistic Programming Systems
    27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
    Saikat Dutta, Wenxian Zhang, Zixin Huang, and Sasa Misailovic

  • Testing Probabilistic Programming Systems
    26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
    Saikat Dutta, Owolabi Legunsen, Zixin Huang, and Sasa Misailovic

  • PSense: Automatic Sensitivity Analysis for Probabilistic Programs
    16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
    Zixin Huang, Zhenbang Wang, and Sasa Misailovic

  • Simultaneous Area and Latency Optimization for Stochastic Circuits by D Flip-flop Insertion
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
    Zhijing Li, Zhao Chen, Yili Zhang, Zixin Huang, and Weikang Qian

  • A High-accuracy Approximate Adder with Correct Sign Calculation
    Integration, the VLSI Journal
    Junjun Hu, Zhijing Li, Meng Yang, Zixin Huang, and Weikang Qian

  • Andrew and Shana Laursen Fellowship 2018, UIUC
  • Bronze Tablet Honor from Undergraduate Class of 2018, UIUC

CN 106070108 A     Intelligent fishing rod device with deflection warning and control method of intelligent fishing rod device