Felix Chang's early background was on hardware systems and formal verification. He completed his M.Sc. in the University of British Columbia.

Felix Sheng-Ho Chang | IEEE Xplore Author Details. Felix Sheng-Ho Chang. Affiliation. Dcpartmcnt of Computer Science, University of British Columbia, Canada ...

Felix Sheng-Ho Chang's 4 research works with 203 citations, including: Finding Minimal Unsatisfiable Cores of Declarative Specifications.

Felix Sheng-Ho Chang · Most frequent co-Author · Most cited colleague · Most frequent Affiliation.

Apr 25, 2024 · Felix Sheng-Ho Chang: Generation of policy-rich websites from declarative models. Massachusetts Institute of Technology, Cambridge, MA, USA, ...

Person: Felix Sheng-Ho Chang. DBLP: Chang:Felix_Sheng=Ho. Contributed to: FM 2008 2008. ICSE 2006 2006. ISSTA 2006 2006. Wrote 3 papers: FM-2008-TorlakCJ ...

Title. High-level cycle-accurate specification of microprocessors ; Creator. Chang, Felix Sheng-Ho ; Publisher. University of British Columbia ; Date Issued. 2001.

This paper introduces a new specification style for processor microarchitectures. Our goal is to produce very simple, compact, but cycle-accurate ...

Felix Sheng-Ho Chang, PhD thesis, MIT, 2009. A Relational Framework for Bounded Program Verification. Greg Dennis, PhD thesis, MIT, 2009. Software ...