Welcome to ALCom Lab Website

2018-11-06	Paper on "A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving" accepted by the 33rd AAAI Conference on Artificial Intelligence (AAAI) 2019.
2018-08-17	Paper on "A Symbolic Model Checking Approach to the Analysis of String and Length Constraints" accepted by [the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2018]
2018-08-17	邱泰尹榮獲國立臺灣大學電子工程研究所105學年度最佳碩士論文獎
2018-08-17	施淳浤榮獲106年中國電機工程學會青年論文獎第三名
2018-07-15	Paper on "Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation" accepted by [IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2018]
2018-07-15	Paper on "Canonicalization of Threshold Logic Representation and Its Applications" accepted by [IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2018]
2018-07-15	ALCom Lab won the 1st place in the [IWLS 2018 Programming Contest: "All the Best!"] in the [27th International Workshop on Logic & Synthesis (IWLS) 2018]
2018-07-15	Paper on "Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection" accepted by [International Joint Conference on Artificial Intelligence (IJCAI) 2018]
2018-07-15	Paper on "Cost-Aware Patch Generation for Multi-Target Function Rectification in Engineering Change Order" accepted by [ACM/IEEE Design Automation Conference (DAC) 2018]
2018-07-15	ALCom Lab won the 2nd place in Problem A of the [2017 CAD Contest at ICCAD]
2017-09-17	Paper on "Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation" to appear in ACM/IEEE Design Automation Conference (DAC) 2017
2017-09-17	Paper on "Closing the Accuracy Gap of Static Performance Analysis of Asynchronous Circuits" to appear in ACM/IEEE Design Automation Conference (DAC) 2017
2017-09-17	Paper on "Solving Stochastic Boolean Satisfiability under Random-Exist Quantification" to appear in International Joint Conferences on Artificial Intelligence (IJCAI) 2017
2017-09-17	Paper on "Logic Synthesis of Recombinase-Based Genetic Circuits" to appear in Scientific Reports
2017-09-17	Paper on "Recombinase-Based Genetic Circuit Optimization" to appear in IEEE Biomedical Circuits and Systems Conference (BioCAS) 2017
2017-09-17	Paper on "Sequential Engineering Change Order under Retiming and Resynthesis" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2017
2016-11-07	杜冠樺、孫翊庭、茅耀文、江誠敏榮獲 CAD Contest at ICCAD 2016 國際競賽第三名
2016-11-07	杜冠樺、茅耀文榮獲2016 ICCAD CADathlon 國際程式競賽第二名
2016-10-01	王宏恩榮獲中國電機工程學會105 年度「青年論文獎」第三名
2016-09-01	Paper on "Analytic Approaches to the Collapse Operation and Equivalence Verification of Threshold Logic Circuits" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2016
2016-06-02	Paper on "String Analysis via Automata Manipulation with Logic Circuit Representation" to appear in International Conference on Computer Aided Verification (CAV) 2016
2016-06-01	Paper on "2QBF: Challenges and Solutions" to appear in International Conference on Computer Aided Verification (SAT) 2016
2016-05-01	Paper on "Design Partitioning for Large-Scale Equivalence Checking and Functional Correction" to appear and nominated as Best Paper Candidate in ACM/IEEE Design Automation Conference (DAC) 2016
2016-02-03	江庭瑋榮獲104年度臺灣積體電路設計學會博碩士論文獎
2015-11-05	江庭瑋榮獲台灣電機電子工程學會「最佳碩士論文優等獎」
2015-11-05	江庭瑋榮獲中國電機工程學會104 年度「青年論文獎」第三名
2015-11-02	孫翊庭、吳虹熠、方為、黃意堯榮獲 CAD Contest at ICCAD 2015 國際競賽第三名
2015-10-10	Paper on "A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10	Paper on "SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10	Paper on "Asynchronous QDI Circuit Synthesis from Signal Transition Protocols" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10	Paper on "Property-Directed Synthesis of Reactive Systems from Safety Specifications" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-09-15	Paper on "Reconfigurable Neuromorphic Computation in Biochemical Systems" published in the 37th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
2015-09-15	Paper on "Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications" to appear in PLOS ONE
2015-07-12	Paper on "Scalable Sequence-Constrained Retention Register Minimization in Power Gating Design" published in ACM/IEEE Design Automation Conference (DAC) 2015
2014-11-12	莊紀詮榮獲2014「資訊學會碩博士最佳論文獎」
2014-11-12	包偉力榮獲中技社１０３年度『科技獎學金』外籍研究生科技研究獎
2014-11-09	Paper on "Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs" to appear in the 29th AAAI Conference on Artificial Intelligence (AAAI-15)
2014-11-09	何欣諺、林碩紝、袁克倫榮獲 CAD Contest at ICCAD 2014 競賽第二名
2014-10-01	Paper on "Towards Formal Evaluation and Verification of Probabilistic Design" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2014
2014-10-01	何欣諺榮獲「台灣電機電子工程學會最佳碩士論文佳作獎」
2014-10-01	包偉力將於 IBM Research Lab in Haifa 實習(十月至十二月 2014)
2014-05-25	黃柏源榮獲2014年臺大電機系大學部「精專獎」首獎
2014-05-20	Paper on "Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits" to appear in ACM/IEEE Design Automation Conference (DAC) 2014
2013-11-09	杜冠樺榮獲102學年度臺灣積體電路製造股份有限公司贊助臺大電子所EDA組博士班研究生EDA/Design Methodology獎學金
2013-11-06	袁克倫榮獲台大電子所101學年度最佳碩士論文獎
2013-10-29	袁克倫、郭建言榮獲2013全研科技論文獎佳作
2013-10-25	何欣諺、林碩紝榮獲新思科技(Synopsys)APPs設計競賽特優獎
2013-10-19	Paper on "Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013
2013-10-19	Paper on "Encoding Multi-Valued Functions for Symmetry" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013
2013-03-27	Kuan-Hua Tu received the A. Richard Newton Young Fellow award of the 50th ACM/IEEE Design Automation Conference.
2013-02-27	Paper on "Synthesis of Feedback Decoders for Initialized Encoders" to appear in ACM/IEEE Design Automation Conference (DAC) 2013
2013-01-14	鍾逸亭榮獲台大電子所100學年度最佳碩士論文獎
2012-11-14	韓承駪榮獲2012年中華民國資訊學會最佳碩博士論文獎
2012-10-19	鍾逸亭榮獲「中國電機工程學會101年青年論文獎」第三名
2012-10-01	韓承駪榮獲「台灣電機電子工程學會最佳碩士論文優等獎」
2012-09-19	黃德安、黃瑞陽榮獲台大科林論文獎
2012-07-06	SimpSat, our SAT solver, ranked 6th and 4th for the Application and Hard Combinatorial tracks, respectively, among the single-engine solvers in SAT Challenge 2012.
2012-06-04	Paper on "Compiling Program Control Flows into Biochemical Reactions" is to appear in the International Conference on Computer-Aided Design 2012 (ICCAD’12)
2012-06-04	Paper on "Henkin Quantifiers and Boolean Formulae" is to appear in the International Conference on Theory and Applications of Satisfiability Testing 2012 (SAT’12)
2012-03-29	Paper on "Functional Timing Analysis Made Fast and General" is to be published in the Design Automation Conference 2012 (DAC’12)
2012-03-29	Paper on "When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way" is to be published in the International Conference on Computer Aided Verification 2012 (CAV’12)
2011-12-10	劉修源、周彥丞榮獲台大科林論文獎
2011-12-10	Paper on "Towards Completely Automatic Decoder Synthesis" is published in the International Conference on Computer Aided Design 2011 (ICCAD’11)
2011-06-01	劉修源、周彥丞榮獲台大電機系99學年度「大學部優良專題製作成果報告甄選」參獎
2011-06-01	林碩紝、袁克倫榮獲「九十九學年度大學校院積體電路電腦輔助設計(CAD)軟體製作競賽」優等
2011-04-01	Paper on "Resolution Proofs and Skolem Functions in QBF Evaluation and Applications" will be published in the International Conference on Computer Aided Verification 2011 (CAV’11)
2010-10-28	賴之凡榮獲「中國電機工程學會99年青年論文獎」
2010-10-28	賴之凡榮獲台大電子所98學年度最佳碩士論文獎
2010-09-02	Congratulations to Chih-Fan Lai for receiving the 2010 SpringSoft EDA Scholarship for publication in DAC 2010
2010-09-02	Congratulations to Chih-Fan Lai for receiving the 2010 SpringSoft EDA Scholarship for publication in ICCAD 2010
2010-09-02	Paper on "Boolean Matching of Function Vectors with Strengthened Learning" will be published in the International Conference on Computer Aided Design 2010 (ICCAD’10)
2010-03-10	Paper on "BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning" was accepted as a regular paper and nominated as a best paper candidate for the 47th Design Automation Conference (DAC 2010)
2009-12-08	林炫伯榮獲台大電子所97學年度最佳碩士論文獎
2009-12-08	"SAT based functional decomposition" was adopted as a programming contest problem in the ACM SIGDA’s CADathlon at ICCAD 2009
2009-10-14	林炫伯榮獲「中國電機工程學會98年青年論文獎」
2009-09-02	Paper on "Interpolating Functions from Large Boolean Relations" will be published in the International Conference on Computer Aided Design 2009 (ICCAD’09)
2009-09-02	Congratulations to Hsuan-Po Lin and Wei-Lun Hung for receiving the 2009 SpringSoft EDA Scholarship in recognition of their work on Boolean relation determinization.
2009-05-05	A new compositional approach to quantifier elimination will be published in the International Conference on Computer Aided Verification 2009 (CAV’09)
2008-08-14	Paper on "To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale" is accepted to ICCAD 2008.
2008-08-14	Paper on "A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping" is accepted to ICCD 2008.
2008-08-14	Congratulations to Hsuan-Po Lin for receiving the 2008 SpringSoft EDA Scholarship in recognition of his work on SAT-based Ashenhurst decomposition.
2008-08-14	Congratulations to Ruei-Rung Lee for receiving the 2008 SpringSoft EDA Scholarship in recognition of his work on SAT-based bi-decomposition.
2008-03-14	Paper on "Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving" is accepted to DAC .
2007-12-24	Press reports of ICCAD papers
2007-12-19	NTU researchers published 9 papers in the International Conference on Computer-Aided Design (ICCAD) this year, including 2 best paper candidates. 臺大團隊再創佳績 ICCAD以9篇論文領先產學界位居全球之冠
2007-09-29	Congratulations to Wei-Lun Hung for receiving the SpringSoft EDA Scholarship in recognition of his work on inductive equivalence checking under retiming and resynthesis.
2007-06-21	Paper on "Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving" is accepted to ICCAD.
2007-06-21	Paper on "Inductive Equivalence Checking under Retiming and Resynthesis" is accepted to ICCAD.
2007-06-13	Paper on "A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits" to appear in Proceedings PATMOS 2007 .
2007-02-06	A new formulation of quantum mechanical search using harmonic perturbation is available on the Los Alamos preprint archive.
2006-11-29	International joint project with Russian researchers gets 3-year financial support from National Science Council
2006-11-04	Article on Retiming and Resynthesis to appear in the Dec. 2006 issue of IEEE Transactions on Computer Aided Design
2006-10-29	Relocating to Ming-Dar Hall, the 4th EE Building, in Jan. 2007