Posts by Collection

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

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

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

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

More information here

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

More information here

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.

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.