Towards formal evaluation and verification of probabilistic design
Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 340-347. IEEE, 2014.
CV
Education
- B.S. in GitHub, GitHub University, 2012
- M.S. in Jekyll, GitHub University, 2014
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
Work experience
- Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
- Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits
Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 5:1-5:8. ACM, 2016.
Solving stochastic Boolean satisfiability under random-exist quantification
Nian-Ze Lee, Yen-Shi Wang, and Jie-Hong R. Jiang. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI, pages 688-694. IJCAI Organization, 2017.
Sequential engineering change order under retiming and resynthesis
Nian-Ze Lee, Victor N. Kravets, and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 109-116. IEEE, 2017.
Efficient computation of ECO patch functions
Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, and Robert K. Brayton. In Proceedings of the Annual Design Automation Conference, DAC, pages 51:1-51:6. ACM, 2018.
Solving exist-random quantified stochastic Boolean satisfiability via clause selection
Nian-Ze Lee, Yen-Shi Wang, and Jie-Hong R. Jiang. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI, pages 1339-1345. IJCAI Organization, 2018.
Towards formal evaluation and verification of probabilistic design
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computers, 67(8):1202-1216, 2018.
Canonicalization of threshold logic representation and its applications
Siang-Yun Lee, Nian-Ze Lee, and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 85:1-85:8. ACM, 2018.
Towards a framework for the analysis of multi-product lines in the automotive domain
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, and Nian-Ze Lee. In Proceedings of the International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS, pages 12:1-12:6. ACM, 2019.
Comprehensive search for ECO rectification using symbolic sampling
Victor N. Kravets, Nian-Ze Lee, and Jie-Hong R. Jiang. In Proceedings of the Annual Design Automation Conference, DAC, pages 71:1-71:6. ACM, 2019.
Stability analysis for safety of automotive multi-product lines: A search-based approach
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, and Fuyuki Ishikawa. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO, pages 1241-1249. ACM, 2019.
Searching parallel separating hyperplanes for effective compression of threshold logic networks
Siang-Yun Lee, Nian-Ze Lee, and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 1-8. ACM, 2019.
Engineering change order for combinational and sequential design rectification
Jie-Hong R. Jiang, Victor N. Kravets, and Nian-Ze Lee. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, DATE, pages 726-731. IEEE, 2020.
Constraint solving for synthesis and verification of threshold logic circuits
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(5):904-917, 2021.
Dependency stochastic Boolean satisfiability: A logical formalism for NEXPTIME decision problems with uncertainty
Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI, pages 3877-3885. AAAI Press, 2021.
Interpolation and SAT-based model checking revisited: Adoption to software verification
Dirk Beyer, Nian-Ze Lee, and Philipp Wendler. arXiv/CoRR, 2208(05046), 2022.
Bridging hardware and software analysis with Btor2C: A word-level-circuit-to-C translator
Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Springer, 2023.
Talks
Talk 1 on Relevant Topic in Your Field
Talk at UC San Francisco, Department of Testing, San Francisco, California
Tutorial 1 on Relevant Topic in Your Field
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk 2 on Relevant Topic in Your Field
Talk at London School of Testing, London, UK
Conference Proceeding talk 3 on Relevant Topic in Your Field
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams