Lab Logo

  Advanced Computing and EDA (ACE) Lab at SJTU

HomePeopleResearchPublicationsTeachingActivitiesCodes & Links


Invited Talks (Selected)
  • Logic synthesis, scheduling, and applications for approximate computing and in-memory computing
    Hunan University, Changsha, China, 01/2025. Host: Prof. Jiliang Zhang

  • Approximate computing: From circuit synthesis, architecture, to applications
    Tsinghua University, Beijing, China, 01/2025. Host: Prof. Wenjian Yu
    Huazhong University of Science and Technology, Wuhan, China, 12/2024. Host: Prof. Xingsheng Wang
    University of Electronic Science and Technology of China, China, 01/2024. Host: Prof. Jienan Chen

  • Stochastic computing and in-memory computing: From circuit design, synthesis, to applications
    Beihang University, Beijing, China, 12/2024. Host: Prof. Lang Zeng

  • Logic synthesis and scheduling for approximate computing and digital in-memory computing
    Beijing University of Posts and Telecommunications, Beijing, China, 12/2024. Host: Prof. Kang Zhao

  • Optimized design and synthesis for stochastic computing circuits
    CCF Chips Conference, Shanghai, China, 07/2024

  • Open-source logic synthesis tools and algorithms for approximate circuits
    CCF Chips Conference, Shanghai, China, 07/2024

  • Logic synthesis for approximate computing
    Workshop on Advanced DTCO and EDA Technologies, Hangzhou, China, 06/2024
    2020 China Test Conference, Xi'an, China, 08/2020
    IEEE CEDA Shanghai Chapter Meeting, Shanghai, China, 11/2018
    Asian Test Symposium (ATS), Hefei, China, 10/2018
    Ningbo University, China, 07/2017. Host: Prof. Zhufei Chu
    China Semiconductor Technology International Conference (CSTIC), Shanghai, China, 03/2017

  • Logic synthesis for approximate circuits and its application
    EPFL, Switzerland, 03/2024. Host: Prof. Giovanni De Micheli
    Fuzhou University, China, 06/2023. Host: Prof. Genggeng Liu
    Hunan University, China, 05/2023. Host: Prof. Jiliang Zhang
    Technical Forum of Chinese Academy of Engineering, Shenzhen, China, 04/2023
    Online seminar of EDA Ecosystem Development Accelerator, China, 10/2022. Host: Prof. Hailong Yao
    Pengcheng Laboratory, China, 10/2022. Host: Dr. Xingquan Li
    Huawei Strategy and Technology Workshop, Shenzhen, China, 09/2022
    ECE Colloquium at the University of Louisiana at Lafayette, 03/2022. Host: Prof. M. Hassan Najafi
    Wireless Communication Forum at Huawei Technologies Co., Inc., Xi'an, China, 11/2021
    LEDA Technologies, Inc., Shanghai, China, 04/2021. Host: Dr. Jianli Chen

  • Efficient logic synthesis for approximate computing
    CCF Design Automation Conference, Beijing, China, 10/2023

  • Variation-aware global placement for improving timing-yield of carbon-nanotube field effect transistor circuit
    Workshop on Manufacturing and Design Automation for Carbon-Nanotube Field Effect Transistor Circuits, Taiyuan, China, 08/2023

  • Logic synthesis for approximate computing and compensation for RRAM-based neuromorphic computing
    Peking University, China, 03/2023. Host: Prof. Meng Li

  • Exact synthesis for emerging computing paradigms
    CCF Chips Conference, Nanjing, China, 07/2022

  • Deep neural network accelerator designs with approximate, stochastic, and neuromorphic computing
    ShanghaiTech University, 04/2021. Host: Prof. Pingqiang Zhou

  • ALSRAC: approximate logic synthesis by resubstitution with approximate care set
    2020 ChinaDA Conference, virtual event, 05/2020

  • Towards area-efficient and reliable processing-in-memory: A support from emerging computing paradigms
    Workshop on Device, Architecture, and Application of Processing-in-memory, Shanghai, China, 05/2020

  • Unary computing meets ReRAM crossbar: A novel solution for reliable ReRAM-based neuromorphic computing
    Workshop on Stochastic Computing for Neuromorphic Architectures, virtual event, 03/2020

  • Approximate logic synthesis for area and delay optimization
    2019 Design, Automation, and Test in Europe Conference (DATE) Friday Workshop "Quo Vadis, Logic Synthesis?", Florence, Italy, 03/2019

  • Optimizing stochastic number generators for stochastic computing
    ChinaDA Conference, Shanghai, China, 01/2019
    China Semiconductor Technology International Conference (CSTIC), Shanghai, China, 03/2018

  • Design and synthesis of approximate computing circuits
    China Test Conference, Xi'an, China, 08/2020
    Chinese University of Hong Kong, Hong Kong, 07/2018. Host: Prof. Qiang Xu

    Institute of Computing Technology, Chinese Academy of Sciences, China, 12/2017. Host: Prof. Yinhe Han
    Peking University, China, 12/2017. Host: Prof. Guojie Luo
    University of Notre Dame, U.S.A., 11/2017. Host: Prof. Yiyu Shi
    University of Michigan, U.S.A., 11/2017. Host: Prof. John P. Hayes
    Fudan University, China, 09/2017. Host: Prof. Xuan Zeng
    Southeast University, China, 08/2017. Horst: Prof. Chuan Zhang
    Meji University, Japan, 01/2017. Host: Prof. Tsutomu Sasao
    ShanghaiTech University, China, 12/2016: Host: Prof. Pingqiang Zhou
    Zhejiang
    University, China, 12/2016. Host: Prof. Cheng Zhuo

  • The promise and challenge of stochastic computing
    Peking University, China, 12/2017. Host: Prof. Runsheng Wang

  • Approximate computing: a novel energy-efficient design methodology for error-tolerant applications
    Advanced Computer Architecture Conference, Weihai, China, 08/2016

  • Approximate computing and approximate logic synthesis
    Synopsys, Inc., Shanghai, China, 11/2015. Host: Dr. Jove Pan

  • BDD-based synthesis of reconfigurable single-electron transistor arrays
    China Semiconductor Technology International Conference (CSTIC), Shanghai, China, 03/2015
    International Workshop on Emerging Technologies of Synthesis and Optimization (IWETSO),
    Shanghai, China, 12/2014

  • Digital design and synthesis for emerging computing paradigm and device technology
    Synopsys, Inc., Shanghai, China, 03/2015. Host: Dr. Jove Pan
    Cadence Design Systems, Inc., Shanghai, China, 11/2014. Host: Mr. Haobin Li

  • Digital computation on stochastic bit streams: a pseudo-analog approach
    International Workshop on Emerging Circuits and Systems, Shanghai, China, 08/2012

  • Digital yet deliberately random: synthesizing logical computation on stochastic bit streams
    Department of Electrical Engineering, University of California, Riverside, U.S.A., 03/2011. Host: Prof. Sheldon Tan
    Department of Electrical Engineering, University of Southern California, U.S.A., 02/2011. Host: Prof. Sandeep Gupta
    Cadence Design Systems, Inc.,
    U.S.A., 04/2011. Host: Dr. Inki Hong

  • The synthesis of combinational logic for probabilistic computation
    Department of Electrical Engineering, California Institute of Technology, U.S.A., 11/2009. Host: Prof. Jehoshua Bruck

  • Sequential optimization based on signal equivalence merging and its validation
    IBM T. J. Watson Research Center, U.S.A., 08/2008

Journal Associate Editor

Journal Special Issue Guest Editor

Conference and Workshop Chair and Organizer

Conference and Workshop Technical Program Committee Member

Paper Refereeing
  • IEEE Transactions on Computers
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • IEEE Transactions on Circuits and Systems I
  • IEEE Transactions on Circuits and Systems II
  • IEEE Transactions on Circuits and Systems for Video Technology
  • IEEE Transactions on Emerging Topics in Computing
  • IEEE Transactions on Information Theory
  • IEEE Transactions on Multimedia
  • IEEE Transactions on Nanotechnology
  • IEEE Transactions on Neural Networks and Learning Systems
  • IEEE Transactions on Sustainable Computing
  • IEEE Transactions on VLSI
  • IEEE Journal on Emerging and Selected Topics in Circuits and Systems
  • IEEE Embedded System Letters
  • IEEE Circuits and Systems Magazine
  • ACM Transactions on Design Automation of Electronic Systems
  • ACM Transactions on Embedded Computing Systems
  • ACM Journal on Emerging Technologies in Computing Systems
  • Electronics Letters
  • Microelectronics Journal
  • Microelectronics Reliability Journal
  • Integration, the VLSI Journal
  • International Journal of Approximate Reasoning
  • Journal of Computer Science and Technology
  • Journal of Signal Processing Systems
  • IET Computers and Digital Techniques
  • Science China Information Sciences
  • Chinese Journal of Computers
  • Journal of Fudan University (Natural Science)
  • IEEE/ACM Design Automation Conference (DAC)
  • Design, Automation, and Test in Europe (DATE)
  • IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
  • Asia and South Pacific Design Automation Conference (ASPDAC)
  • IEEE International Conference on Computer Design (ICCD)
  • ACM Great Lakes Symposium on VLSI (GLSVLSI)
  • IEEE International Symposium on Circuits and Systems (ISCAS)
  • International Symposium on Electronic Design Automation (ISEDA)
  • China Semiconductor Technology International Conference (CSTIC)
  • International Symposium on Physical Design (ISPD)
  • IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH)
  • International Workshop on Logic and Synthesis (IWLS)
  • IEEE International Workshop on Signal Processing Systems (SiPS)
  • International Symposium on Multiple-Valued Logic (ISMVL)
  • International Symposium on Integrated Circuits (ISIC)
  • International Conference on ASIC (ASICON)
  • International Conference on Solid-state and Integrated Circuit Technology (ICSICT)
  • International Conference on VLSI Design (VLSID)