Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Welcome to my personal website!
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
professional
Conference Referee
I have been a reviewer for the following conferences:
- Int. Conf. on Computer Design (ICCD)
- AAAI Conf. on Artificial Intelligence (AAAI)
- Design Automation Conference (DAC)
- Int. Conf. on Computer-Aided Design (ICCAD)
- Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- Int. Conf. on Automated Software Engineering (ASE)
- Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
- Annual NASA Formal Methods Symposium (NFM)
- Int. Conf. on Software Engineering and Formal Methods (SEFM)
Journal Referee
I review for the following journals:
- IEEE Transactions on Computers
- International Journal on Software Tools for Technology Transfer, Springer
- ACM Transactions on Design Automation of Electronic Systems
- Formal Methods in System Design, Springer
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- IEEE Transactions on Very Large Scale Integration (VLSI) Systems
publications
Towards formal evaluation and verification of probabilistic design
Published in ICCAD, 2014
Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the International Conference on Computer-Aided Design, ICCAD, pages 340-347. IEEE, 2014. https://doi.org/10.1109/ICCAD.2014.7001372
Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits
Published in ICCAD, 2016
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. https://doi.org/10.1145/2966986.2967001
Solving stochastic Boolean satisfiability under random-exist quantification
Published in IJCAI, 2017
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. https://doi.org/10.24963/ijcai.2017/96
Sequential engineering change order under retiming and resynthesis
Published in ICCAD, 2017
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. https://doi.org/10.1109/ICCAD.2017.8203767
Efficient computation of ECO patch functions
Published in DAC, 2018
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. https://doi.org/10.1145/3195970.3196039
Solving exist-random quantified stochastic Boolean satisfiability via clause selection
Published in IJCAI, 2018
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. https://doi.org/10.24963/ijcai.2018/186
Towards formal evaluation and verification of probabilistic design
Published in IEEE Trans. Computers, 2018
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computers, 67(8):1202-1216, 2018. https://doi.org/10.1109/TC.2018.2807431
Canonicalization of threshold logic representation and its applications
Published in ICCAD, 2018
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. https://doi.org/10.1145/3240765.3240785
Towards a framework for the analysis of multi-product lines in the automotive domain
Published in VAMOS, 2019
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. https://doi.org/10.1145/3302333.3302345
Comprehensive search for ECO rectification using symbolic sampling
Published in DAC, 2019
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. https://doi.org/10.1145/3316781.3317790
Stability analysis for safety of automotive multi-product lines: A search-based approach
Published in GECCO, 2019
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. https://doi.org/10.1145/3321707.3321755
Searching parallel separating hyperplanes for effective compression of threshold logic networks
Published in ICCAD, 2019
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. https://doi.org/10.1109/ICCAD45719.2019.8942143
Engineering change order for combinational and sequential design rectification
Published in DATE, 2020
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. https://doi.org/10.23919/DATE48585.2020.9116504
Constraint solving for synthesis and verification of threshold logic circuits
Published in IEEE Trans. CAD, 2020
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(5):904-917, 2021. https://doi.org/10.1109/TCAD.2020.3015441
Dependency stochastic Boolean satisfiability: A logical formalism for NEXPTIME decision problems with uncertainty
Published in AAAI, 2021
Nian-Ze Lee and Jie-Hong R. Jiang. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI, pages 3877-3885. AAAI Press, 2021. https://doi.org/10.1609/aaai.v35i5.16506
Interpolation and SAT-based model checking revisited: Adoption to software verification
Published in Techical Report on arXiv, 2022
Dirk Beyer, Nian-Ze Lee, and Philipp Wendler. arXiv/CoRR, 2208(05046), 2022. https://doi.org/10.48550/arXiv.2208.05046
Bridging hardware and software analysis with Btor2C: A word-level-circuit-to-C translator
Published in TACAS, 2023
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. https://doi.org/10.1007/978-3-031-30820-8_12
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Introduction to Electronic Design Automation, Spring 2016
Undergraduate course, Department of Electrical Engineering, National Taiwan University, 2016
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, my duties include grading students’ homework solutions and answering their questions before exams.
Logic Synthesis and Verification, Fall 2018
Graduate course, Graduate Institute of Electronics Engineering, National Taiwan University, 2018
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, my duties include grading students’ homework solutions, answering their questions, and helping them with the course projects.
Logic Synthesis and Verification, Fall 2020
Graduate course, Graduate Institute of Electronics Engineering, National Taiwan University, 2020
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, I am in charge of the programming assignments, where students have to practice using a synthesis and verification tool ABC. I created a GitHub repository for students to learn modern approaches of software development, including version control and continuous integration. Students have to fork the repository and submit their solutions as pull requests. Their solutions will be tested automatically with GitHub Actions. It was our first time to implement this workflow for programming assignments, and most students gave positive feedbacks. I also wrote a tutorial for students to get their hands on ABC.
Software Verification, Winter 2021
Graduate course, Institute for Informatics, LMU Munich, 2021
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for preparing exercise sheets and answering questions from students.
Methods in Software Engineering, Summer 2022
Graduate course, Institute for Informatics, LMU Munich, 2022
This lecture is instructed by Prof. Gidon Ernst. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Software Verification, Summer 2023
Graduate course, Institute for Informatics, LMU Munich, 2023
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Algorithms for Model Checking, Winter 2023
Graduate seminar, Institute for Informatics, LMU Munich, 2023
I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.
Software Verification, Summer 2024
Graduate course, Institute for Informatics, LMU Munich, 2024
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Algorithms for Model Checking, Summer 2024
Graduate seminar, Institute for Informatics, LMU Munich, 2024
I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.